Micro-Planner Reference Manual
Micro-Planner Reference Manual
TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
Towards automating explanations
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Control and integration of diverse knowledge in a diagnostic expert system
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Temporal extensions to defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Issues in knowledge representation for project management
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
A general expert system design for diagnostic problem solving
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
On the co-operation between abductive and temporal reasoning in medical diagnosis
Artificial Intelligence in Medicine
Hi-index | 0.00 |
A theory of cause-effect representation is used to describe man-made mechanisms and natural laws. The representation, consisting of 10 link types that interconnect events into large declarative patterns, is illustrated on a relatively sophisticated device, the home gas forced air furnace, Next, a procedure and framework for translating the declarative description of a mechanism into a population of associatively triggerable computation units is described. The associative, of procedural, form can then be used to perform a discrete cause-effect simulation of the device. The declarative to procedural translation, including a simulation trace, is shown for the furnace. Topics of mechanism abstraction and mechanism invention are discussed, and the entire "Mechanisms Laboratory" is placed in the larger perspective of our research into human problem solving.