Context-Based Commonsense Reasoning in the DALI Logic Programming Language
In this paper we will discuss the context management features of the new logic programming language DALI, aimed at defining agents and multi-agent systems. In particular, a DALI agent, which is capable of reactive and proactive behaviour, builds step-by-step her context. Context update is modelled by the novel concept of “evolutionary semantics”, where each context manipulation is interpreted as a program transformation step. We show that this kind of context-based agent language is well-suited for representing many significant commonsense reasoning examples.
KeywordsPast Event Belief Revision Past Action Event Atom Internal Event
Unable to display preview. Download preview PDF.
- [Co99]S. Costantini. Towards active logic programming. In A. Brogi and P. Hill, (eds.), Proc. of 2nd International Works. on Component-based Software Development in Computational Logic (COCL’99), PLI’99, Paris, France, September 1999. http://www.di.unipi.it/brogi/ResearchActivity/COCL99/proceedings/index.html.
- [CGT02]S. Costantini, S. Gentile, A. Tocchio. DALI home page: http://gentile.dm.univaq.it/dali/dali.htm.
- [CT02]S. Costantini, A. Tocchio. A Logic Programming Language for Multi-agent Systems. In S. Flesca, S. Greco, N. Leone, G. Ianni (eds.), Logics in Artificial Intelligence, Proc. of the 8th Europ. Conf., JELIA 2002, Cosenza, Italy, September 2002, LNAI 2424, Springer-Verlag, Berlin, 2002CrossRefGoogle Scholar
- [DST99]P. Dell’Acqua, F. Sadri, and F. Toni. Communicating agents. In Proc. International Works. on Multi-Agent Systems in Logic Progr., in conjunction with ICLP’99, Las Cruces, New Mexico, 1999.Google Scholar
- [PP90]Przymusinska, H., and Przymusinski, T. C., Semantic Issues in Deductive Databases and Logic Programs. R.B. Banerji (ed.) Formal Techniques in Artificial Intelligence, a Sourcebook, Elsevier Sc. Publ. B.V. (North Holland), 1990.Google Scholar
- [Ra96]A. S. Rao. AgentSpeak(L): BDI Agents speak out in a logical computable language. In W. Van De Velde and J. W. Perram, editors, Agents Breaking Away: Proc. of the Seventh European Works. on Modelling Autonomous Agents in a Multi-Agent World, LNAI, pages 42–55, Berlin, 1996. Springer Verlag.Google Scholar
- [Ra91]A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proc. of Knowledge Representation and Reasoning (KR&R-91), pages 473–484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991.Google Scholar
- [SPDEK00]V.S. Subrahmanian, Piero Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Özcan, and Robert Ross. Heterogenous Active Agents. MIT-Press, 2000.Google Scholar