Title :
A unified model of acting and inference
Author_Institution :
Dept. of Comput. Sci., State Univ. of New York, Buffalo, NY, USA
Abstract :
A unified model of acting and inference (called rational engine) for an intelligent architecture is presented. The integrated architecture uses propositional semantic network representations of beliefs, goals, acts, plans, and deduction rules. A message passing scheme implements the underlying logic, and has forward, backward, and bidirectional inference capabilities. It also incorporates the notions of truth maintenance, spreading activation, and a unified representational formalism for acting and inference called transformers
Keywords :
inference mechanisms; knowledge based systems; semantic networks; truth maintenance; acting; beliefs; deduction rules; inference; intelligent architecture; message passing scheme; propositional semantic network representations; rational engine; spreading activation; transformers; truth maintenance; Artificial intelligence; Bridges; Computational modeling; Computer architecture; Computer science; Engines; Logic; Message passing; Natural languages; Ontologies;
Conference_Titel :
System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on
Print_ISBN :
0-8186-3230-5
DOI :
10.1109/HICSS.1993.284348
