The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms

Rieger, Chuck; Grinberg, Maurice

The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms

Download BibTeX Cite

Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Representation of Knowledge. Pages 250-255.

Abstract

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, or procedural, form can then be used to perform a discrete cause-effect aimulation of the device. The delcarative to procedural translation, including a simulation trace, is shown for the furnace. Topics of nechanista abstraction and mechanism inven!iion are discussed, and the entire "Mechanisms Laboratory' is placed in tne larger perspective of our research into human problem solving.

Chuck Rieger, and Maurice Grinberg. 1977. The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. IJCAI, 250–255. https://ijcai.org/proceedings/1977/55

@inproceedings{ijcai1977p55,
  title     = {The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms},
  author    = {Rieger, Chuck and Grinberg, Maurice},
  booktitle = {Proceedings of the Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-77}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Raj Reddy},
  pages     = {250--255},
  year      = {1977},
  note      = {Representation of Knowledge},
  url       = {https://ijcai.org/proceedings/1977/55},
}

TY  - CPAPER
TI  - The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms
AU  - Rieger, Chuck
AU  - Grinberg, Maurice
T2  - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1977
SP  - 250
EP  - 255
UR  - https://ijcai.org/proceedings/1977/55
ER  -