A unified model of acting and inference

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.<
>