Reasoning Modeled as a Society of Communicating Experts
Item
-
Title
-
en_US
Reasoning Modeled as a Society of Communicating Experts
-
Creator
-
en_US
Steels, Luc
-
Date
-
2004-10-20T20:03:54Z
-
Date Available
-
2004-10-20T20:03:54Z
-
Date Issued
-
en_US
1979-06-01
-
Identifier
-
en_US
AITR-542
-
Abstract
-
en_US
This report describes a domain independent reasoning system. The system uses a frame-based knowledge representation language and various reasoning techniques including constraint propagation, progressive refinement, natural deduction and explicit control of reasoning. A computational architecture based on active objects which operate by exchanging messages is developed and it is shown how this architecture supports reasoning activity. The user interacts with the system by specifying frames and by giving descriptions defining the problem situation. The system uses its reasoning capacity to build up a model of the problem situation from which a solution can interactively be extracted. Examples are discussed from a variety of domains, including electronic circuits, mechanical devices and music. The main thesis is that a reasoning system is best viewed as a parallel system whose control and data are distributed over a large network of processors that interact by exchanging messages. Such a system will be metaphorically described as a society of communicating experts.
-
Extent
-
en_US
154 p.
-
12687784 bytes
-
10003985 bytes
-
Format
-
application/postscript
-
application/pdf
-
Language
-
en_US
-
Relation
-
en_US
AITR-542