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
uri: http://hdl.handle.net/1721.1/6876
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

Item sets: AI Technical Reports (1964 - 2004)