A Study on a Contradiction-Free Proof for User Interface and its Visualization
| Project/Area Number |
13680447
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | OKAYAMA UNIVERSITY |
|---|
Principal Investigator |
SASAKURA Mariko OKAYAMA UNIVERSITY, Graduate School of Natural Science and Technology, Department of Intelligence Computing and System, Assistant Professor, 大学院・自然科学研究科, 助手 (30284087)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
YAMASAKI Susumu OKAYAMA UNIVERSITY, Graduate School of Natural Science and Technology, Department of Intelligence Computing and System, Professor, 大学院・自然科学研究科, 教授 (10026354)
|
|---|
| Project Period (FY) |
2001 – 2003
|
| Project Status |
Completed (Fiscal Year 2003)
|
| Budget Amount *help |
¥3,600,000 (Direct Cost: ¥3,600,000)
Fiscal Year 2003: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2002: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2001: ¥1,800,000 (Direct Cost: ¥1,800,000)
|
|---|
| Keywords | Reasoning / Visualization / A Contradiction-Free Proof Procedure / User Interface / Distributed Logic Programs / Euler Diagrams |
|---|
| Research Abstract |
Nowadays, we can get enormous data through computer networks. However, most of them are useless for a user, because they are not what he wants.
We study the environment for finding out the data what a user wants. We regard the environment as a process of reasoning causes from a goal with some situations and knowledge. It can decide factors of achieving goals (that is what the user wants) from the enormous data : We developed the environment as a consultant system.
The concrete results are the following :
1. Studies on a contradiction-free proof procedure
We construct a mechanism which removes contradictions in situations and knowledge, and establish a contradiction-free proof procedure which is the basis of our consultant system. The procedure is established on general logic programs. And we apply it to extended logic programs. We also study applications for the procedure.
2. Studies on visualization and human interfaces for consultant systems
We establish a visualization method for a contradiction-free proof procedure as a human interface of consultant systems. We propose a method that visualizes a logic program by inclusions of circles. The idea comes from the Euler diagrams. We also propose a method that visualizes a process of the procedure by inclusions of circles and a three-dimensional tree.
3. Studies on consultant systems in a distributed environment
We establish an architecture for distribution of the contradiction-free proof procedure. We also investigate a visualization method for the distributed procedure. As an application of the distributed procedure, we show an assist system for a parallelizing compiler. We also investigate other applications for the procedure.
|
Report
(4 results)
Research Products
(12 results)
