A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Distributed AI. Pages 318-323.
Abstract
The study of situated systems that are capable of reactive and goal-directed behaviour has received increased attention in recent years. One approach to the design of such systems is based upon agent-oriented architectures. This approach has led to the development of expressive, but computationally intractable, logics for describing or specifying the behaviours of agent-oriented systems. In this paper, we present three propositional variants of such logics, with different expressive power, and analyze the computational complexity of verifying if a given property is satisfied by a given abstract agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the practical use of such logics for verifying agent-oriented systems.
@inproceedings{ijcai1993p45,
title = {A Model-Theoretic Approach to the Verification of Situated Reasoning Systems},
author = {Rao, Anand S. and Georgeff, Michael P.},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {318--323},
year = {1993},
note = {Distributed AI},
url = {https://ijcai.org/proceedings/1993/45},
}
TY - CPAPER TI - A Model-Theoretic Approach to the Verification of Situated Reasoning Systems AU - Rao, Anand S. AU - Georgeff, Michael P. T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 318 EP - 323 UR - https://ijcai.org/proceedings/1993/45 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
