Snadewall, E. (1993). Nonmonotonic Temporal Logics and Autonomous Agensta: each Contributes to the Rigorous Basic for the other. Technical Report LiTH-IDA-R-93-30, Department of Computer and Information Science, Linköping University, Sweden. Accepted to 17. Fachtagung f\x9f r K\x9f nstliche Intelligenz (invited paper) Berlin, Germany, September 13-16, 1993. (bibtex),
Abstract: There is a mutual relationship between the software architecture of an intellgent autonomous agent and a logic for reasoning about action and change. The logic can be used as a formal basis for the software, and at the same time the design of the agent defines the reality that the logic is supposed to describe.In the work reported here we have defined the relationship between the software architecture and the logic in a formal fashion, and used it for the formal analysis of several proposed logics. The same software architecture has also been used as the guiding principle for an implementation project. On this basis it has been possible to identify upper as well as lower bounds on the range of applicability for several of the logics which have previously been described in the literature.
CS Dept TR Overview