Reflective agents in metalogic programming
We introduce a representation of agents by means of theories, and a communication among agents based on reflection, within the metalogic programming paradigm. The semantics of these features is shown to be the classical semantics of Horn clauses. The primitives for agents representation and inter-agent communication are very simple, and non-committal w.r.t. any predefined cognitive model or linguistic modality. Yet, it is shown by means of examples that they have enough expressive power for reasoning in non-trivial multi-agent domains, like the three wise men problem, especially when embedded in a powerful language, such as Reflective Prolog that we have previously developed. By integrating agents into Reflective Prolog we get a metalogic language equipped with higher-order-like features, metalevel negation, and theories, all of which rely on logical reflection for a uniform semantics and support each other for greater expressive and problem-solving power.
KeywordsLogic Program Reflective Model Naming Relation Extend Resolution Theory Symbol
Unable to display preview. Download preview PDF.
- [ANS88]Aiello L., Nardi D. and Schaerf M., Reasoning about Knowledge and Ignorance, in: Proceedings of FGCS, 1988.Google Scholar
- [BK82]Bowen K. and Kowalski R., Amalgamating Language and Metalanguage in Logic Programming, in: Clark K.L. and Tarnlund S.-A. (eds.), Logic Programming, Academic Press, 1982.Google Scholar
- [Br90]Bruynooghe M. (ed.), Proceedings of the Second Workshop on Metaprogramming in Logic (Meta90), Leuven, April 4–6, 1990.Google Scholar
- [CL89]Costantini S. and Lanzarone G.A., A Metalogic Programming Language, in: Levi G. and Martelli M. (eds.), Logic Programming, Proceedings of the Sixth International Conference, MIT Press, 1989.Google Scholar
- [CL91]Costantini S. and Lanzarone G.A., Metalevel Negation and Non-Monotonic Reasoning, to appear on the Journal on Methods of Logic in Computer Science, abstract in: Proceedings of the Workshop on Non-Monotonic Reasoning and Logic Programming, Austin, TX, November 1–2, 1990.Google Scholar
- [CL92]Costantini S. and Lanzarone G.A., On Procedural Semantics of Metalevel Negation, in: Proceedings of the 2nd Russian Conference on Logic Programming (San Petersburg, September 1991), Lecture Notes in Artificial Intelligence, Springer-Verlag, 1992.Google Scholar
- [Co90]Costantini S., Semantics of a Metalogic Programming Language, International Journal of Foundations of Computer Science, Vol. 1, N. 3, Sept. 1990 (draft version in [Br90]).Google Scholar
- [Fe62]Feferman S., Transfinite Recursive Progressions of Axiomatic Theories, Journal of Symbolic Logic 27, 1962.Google Scholar
- [KK90]Kim J.S. and Kowalski R., An Application of Amalgamated Logic to Multi-Agent Belief, in [Br90].Google Scholar
- [Ko82]Konolige K., A First-Order Formalization of Knowledge and Action for a Multiagent Planning System, Machine Intelligence 10,Hayes J.E., Michie D., and Pao J.H. (eds.), Ellis Horwood, 1982.Google Scholar
- [L187]Lloyd J.W., Foundations of Logic Programming, (Second, Extended Edition), Springer-Verlag, Berlin, 1987.Google Scholar