Bogdan Stroe
ABSTRACT
Eiter et. al. (1999) have developed a semantics for agents built on top of legacy code bases. In this paper, we study positive agents in their setting. Their semantics are given in terms of "ground" status atoms. In this paper, we argue that the requirement of being ground poses a huge computational overhead. We propose a non-ground semantics for heterogeneous agents in which the semantical structures proposed by Eiter et. al. can be succinctly represented. We use this representation to efficiently compute the nonground representations. We describe our algorithms as well as a prototype experimental implementation using which we validate the efficiency gains realized with our new implementation.
- Barringer, H., M. Fisher, D. Gabbay, G. Gough, and R. Owens (1989, June). MetateM: A framework for programming in temporal logic. In Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Lecture Notes in Computer Science 430. Springer-Verlag. Google Scholar
Digital Library
- J. Dix and M. Müller. Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties, Proc. LPNMR '93, (eds. L.-M. Pereira and A. Nerode), pp 43--59, 1993. Google ScholarDigital Library
- T. Eiter, G. Gottlob, J. Lu and V.S. Subrahmanian. Computing Non-Ground Representations of Stable Models, Proc. 1997 Intl. Conf. on Logic Programming and Non-Monotonic Reasoning, MIT Press, Lexington, KY, 1997. Google ScholarDigital Library
- Thomas Eiter, V. S. Subrahmanian, and George Pick. Heterogeneous Active Agents, I: Semantics. Artifical Intelligence, 108(1-2):179--255, 1999. Google ScholarDigital Library
- M. Gabbrielli, G. Levi. Modeling Answer Constraints in Constraint Logic Programs, Proc. ICLP, 1991, pp.238--251.Google Scholar
- N.J. Nilsson. Principles of Artificial Intelligence (1980). Google ScholarDigital Library
- S. Rosenschein. Formal Theories of Knowledge in AI and Robotics. New Generation Computing, 3(4):345--357, 1985. Google ScholarDigital Library
- S. Rosenschein and L. Kaelbling. A Situated View of Representation and Control. Artificial Intelligence, 73:149--173, 1995. Google ScholarDigital Library
- H. Samet. The Design and Analysis of Spatial Data Sructures, 1989, Addison-Wesley. Google ScholarDigital Library
- Y. Shoham. Agent Oriented Programming. Artificial Intelligence, 60:51--92, 1993. Google ScholarDigital Library
- A Customizable Coordination Service for Autonomous Agents. In Wooldridge and Jennings wool-jenn-97, pages 86--99.Google Scholar
- V.S. Subrahmanian, P. Bonatti, J.Dix, T. Eiter, F. Ozcan and R. Ross. Heterogeneous Agent Systems, MIT Press. Google ScholarDigital Library
- D. Turi. Extending S-Models to Logic Programs with Negation, Proc. Eight Intl. Conf. on Logic Programming (ed. K. Furukawa), pp 397--411, 1991.Google Scholar
- M.J. Wooldridge. Reasoning about Rational Agents, MIT Press.Google Scholar
- M. Wooldridge and N. Jennings. (1997) Formalizing the Cooperative Problem Solving Process, In M. Huhns and M. Singh (Eds.), Readings in Agents, pp. 430--440. Morgan Kaufmann Press. Google ScholarDigital Library
Index Terms
- First order heterogeneous agent computations
Recommendations
Towards First-Order Nonmonotonic Reasoning
LPNMR '99: Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic ReasoningWe investigate the problem of reasoning in nonmonotonic extensions of first-order logic. In particular, we study reasoning in first-order MKNF, the modal logic of minimal knowledge and negation as failure introduced by Lifschitz. MKNF can be considered ...
First-Order Intuitionistic Epistemic Logic
Logic, Rationality, and InteractionAbstractIntuitionistic epistemic logic (IEL), introduced by Artemov and Protopopescu (2016), accepts the co-reflection axiom: “” in terms of Brouwer-Heyting-Kolmogorov interpretation. There are two variants for IEL, one of which has the axiom “”, while ...
Comments