-
[in Japanese]
Article type: Preface
1989 Volume 4 Issue 1 Pages
1
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Cover article
1989 Volume 4 Issue 1 Pages
2-4
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Masahiko YACHIDA
Article type: Special issue
1989 Volume 4 Issue 1 Pages
5-12
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Kokichi SUGIHARA, Ken-ichi KANATANI
Article type: Special issue
1989 Volume 4 Issue 1 Pages
13-20
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Takashi MATSUYAMA
Article type: Special issue
1989 Volume 4 Issue 1 Pages
21-29
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Katsusi IKEUCHI
Article type: Special issue
1989 Volume 4 Issue 1 Pages
30-42
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Hiroshi SAKOU, Masakazu EJIRI
Article type: Special issue
1989 Volume 4 Issue 1 Pages
43-51
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Kotaro NAKAMURA, Shigenobu KOBAYASHI
Article type: Technical paper
1989 Volume 4 Issue 1 Pages
52-61
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
Consultation systems based on goal-driven reasoning such as MYCIN, tend to impose redundant and tiresome interactions on the user. For practical use, it is necessary to realize flexible reasoning mechanisms and mixed-initiative interactions between the user and the system. This paper presents a fault diagnosis system with parallel reasoning and interaction. To realize a flexible reasoning, the following functions are necessary: (a) to run multiple goal-driven reasoning processes in parallel, (b) to control the reasoning processes dynamically in the user-initiative mode or the system-initiative one, (c) to monitor the degree of attainment of each diagnosis goal and the degree of contribution of each query for goal attainment and to use them in the reasoning control. Multiple queries are shown simultaneously in the query window. The user may select and answer only important queries ralated to his current focus. An application of this system against the operating system driving the rotary cutting machine has showed that the system is effective in supporting the diagnosis. The user can alter the diagnosis strategy voluntarily and dynamically according to the stage reached in the diagnosis session.
View full abstract
-
Yoshiko KUNO, Yasushi KUNO
Article type: Technical paper
1989 Volume 4 Issue 1 Pages
62-69
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
Truth Maintenance System (TMS), proposed by Doyle, is a database system which incorporates default logic and non-monotonic reasoning. Major facilities of TMS are (1) Truth Maintenance (TM) which propagate changes introduced into the database, and (2) Dependency Directed Backtracking (DDB) which resolves a contradiction by inverting appropriate assumptions within the database. However, TMS is written in conventional procedural language (Lisp), and its function cannot be extended or modified easily. So the authors have developed a system which is functionally equivalent to TMS, using concurrent object-oriented programming language ABCL/1. The system is a collection of ABCL/1 object definitions, and the system can be easily extended by adding necessary object classes. Moreover, TM/DDB algorithms are totally revised to make full use of parallelism inherent in the TM/DDB process. The TM algorithm allows multiple truth maintenance process to run concurrently, with effective elimination of duplicate processing between them. The DDB algorithm uses parallel search to locate appropriate invertible assumption set, and allows choices between various search strategies, in user-modifiable manner. As a whole, use of object-oriented concurrent programming language led to simple, readable and natural description of the system. The authors are planning to use the system as a basis for future research of truth maintenance algorithms and development of actual knowledge-based applications.
View full abstract
-
Hitoshi MATSUBARA, Kazuhiko YAMAMOTO
Article type: Technical paper
1989 Volume 4 Issue 1 Pages
70-76
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
This paper develops some considerations on the frame problem and the Yale Shooting Problem. The following are our assertions. (1) The attempt to solve the Yale Shooting Problem has no direct relations with the frame problem. (2) The existence of the Yale Shooting Problem does not mean that formal logic is inferior as the framework of knowledge representation. (3) The attempt to solve the Yale Shooting Problem is regarded as one of the attempts to represent the specific knowledge with the specific framework efficiently. (4) The fact that all the solutions to the Yale Shooting Problem are ad-hoc suggests that we can not represent complex knowledge with the existent frameworks by non ad-hoc ways. (5) The fact that such a trivial case as the Yale Shooting Problem still exists in the non-monotonic world now is a circumstantial evidence of unsolvability of the frame problem.
View full abstract
-
Takeshi CHUSHO, Shooichi MASUI, Hirohide HAGA, Hiroshi YOSHIURA
Article type: Technical paper
1989 Volume 4 Issue 1 Pages
77-87
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
A language supporting multiparadigms is required for development of expert systems because various models of inference processes and various representation of knowledge are necessary to describe expertise as naturally as experts use. In the language design, however, it is difficult to amalgamate conflicting concepts among paradigms without metamorphosing pure semantics of these paradigms. This paper presents a solution of this problem. First, a two-layer model is lntroduced for describing expertise. In the upper layer, a global structure of a system is described in an object-oriented paradigm. In the lower layer, expertise is modularized and represented in such paradigms as frame, production system and predicate logic. This two-layer model is effective to keep pure semantics of each paradigm. Secondly, conflicting concepts between an object-oriented paradigm and other paradigms are amalgamated as follows: (1) For introducing a frame paradigm, slots and methods are equalized. They become visible and are inherited to descendant objects only by declaring as public. (2) For introducing a production system paradigm, a cooperative inference system with a data-driven model and a message-driven model is built while limiting data-driven inference to a virtual sub-world called a meeting room. (3) For introducing a predicate logic paradigm, closed world assumption is kept by inheriting a group of methods written in Prolog as a closed Prolog database. This language was developed as an expert system building tool (ES/X90) and runs on Hitachi workstation 2050. It has already been applied to development of several expert systems.
View full abstract
-
[in Japanese]
Article type: Other
1989 Volume 4 Issue 1 Pages
88
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Other
1989 Volume 4 Issue 1 Pages
89
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1989 Volume 4 Issue 1 Pages
90-91
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1989 Volume 4 Issue 1 Pages
92-94
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1989 Volume 4 Issue 1 Pages
94-95
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1989 Volume 4 Issue 1 Pages
95-97
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1989 Volume 4 Issue 1 Pages
98
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1989 Volume 4 Issue 1 Pages
99-100
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese], [in Japanese]
Article type: Corner article
1989 Volume 4 Issue 1 Pages
101-102
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Other
1989 Volume 4 Issue 1 Pages
103
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 1 Pages
104-107
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 1 Pages
108-112
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 1 Pages
113-115
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 1 Pages
116-117
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1989 Volume 4 Issue 1 Pages
b001-b011
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Cover page
1989 Volume 4 Issue 1 Pages
c001
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Cover page
1989 Volume 4 Issue 1 Pages
c001_2
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Table of contents
1989 Volume 4 Issue 1 Pages
i001
Published: January 20, 1989
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS