Architectures for Intelligent Theory-Based Agents
Papers from the AAAI Spring Symposium
Marcello Balduccini and Chitta Baral, Cochairs
The focus of the Architectures for Intelligent Theory-Based Agents symposium is the definition of architectures for intelligent theory-based agents. These architectures typically comprise languages, knowledge representation methodologies, reasoning algorithms, and control loops.
The motivation of the symposium is the consideration that a number of reasonably rigorous architectures have been designed, but not implemented, that allow one to prove important properties about the agents and their behavior, while other reasonably rigorous architectures have been implemented without attendant proofs about their agents. Unfortunately, there has not yet been much interaction among the groups working on these two classes of architectures. The lack of communication contributes to slowing the development of an otherwise interesting and potentially very important area.