Abstract
In this paper we present an agent language that combines agent functionality with a state transition theory and model-theoretic semantics. The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive updates to manipulate a database, which represents the current state of the environment. The language builds upon the ALP combination of logic programs, to represent an agent’s beliefs, and integrity constraints, to represent the agent’s goals. Logic programs are used to define macro-actions, intensional predicates, and plans to reduce goals to sub-goals including actions. Integrity constraints are used to represent reactive rules, which are triggered by the current state of the database and recent agent actions and external events. The execution of actions and the assimilation of observations generate a sequence of database states. In the case of the successful solution of all goals, this sequence, taken as a whole, determines a model that makes the agent’s goals and beliefs all true.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alferes, J., Leite, J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45(1–3), 43–70 (2000)
Bonner, Kifer, M.: Transaction logic programming. In: Warren, D.S. (ed.) Logic Programming: Proc. of the 10th International Conf., pp. 257–279 (1993)
Costantini, S., Tocchio, A.: In: Baldoni, M., et al. (eds.) About Declarative Semantics of Logic-Based Agent Languages, Dalt 2005, LNAI 3904, pp. 106–123 (2006)
Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: In: Dastani, M., et al. (eds.) A Common Semantics Basis for BDI Languages, ProMAS, LNAI 4908, pp. 124–139. Springer, Berlin (2008)
van Emden, M., Kowalski, R.: The semantics of predicate logic as a programming language. JACM 23(4), 733–742 (1976)
Fisher, M.: A Survey of Concurrent METATEM—The Language and its Applications. Lecture Notes in Computer Science, p. 827. Springer, Berlin (1994)
Flesca, S., Greco, S.: Declarative semantics for active rules. Theor. Pract. Logic. Program. 1(1), 43–69 (2001)
Fung, T.H., Kowalski, R.: The IFF proof procedure for abductive logic programming. J. Log. Program. 33(2), 151–165 (1997)
Kakas, T., Kowalski, R., Toni, F.: The role of logic programming in abduction. Handbook of Logic in Artificial Intelligence and Programming 5, pp. 235–324. Oxford University Press (1998)
Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Computational logic foundations of KGP agents. J. Artif. Intell. Res. 33, 285–348 (2008)
Kowalski, R.: Predicate logic as programming language. In: Proceedings IFIP Congress, pp. 569–574. North Holland, Stockholm (1974)
Kowalski, R., Sadri, F.: From logic programming towards multi-agent systems. Ann. Math. Artif. Intell. 25, 391–419 (1999)
Kowalski, R., Sadri, F.: Integrating logic programming and production systems in abductive logic programming agents. In: Proceedings of the Third International Conference on Web Reasoning and Rule Systems. Chantilly, Virginia, USA (2009)
Reiter, R.: Knowledge in Action. MIT Press (2001)
Thielscher, M.: FLUX: a logic programming method for reasoning agents. Theor. Pract. Logic. Program. 5(4–5), 533–565 (2005)
Zaniolo, C.: A unified semantics for active and deductive databases. In: Procs. 1993 Workshop on Rules in Database Systems. RIDS’93, pp. 271–287. Springer (1993)
Thielscher, M.: Integrating action calculi and agent speak. In: Lin, F., Sattler, U. (eds.) Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Toronto (2010)
Hayashi, H., Tokura, S., Ozaki, F., Doi, M.: Background sensing control for planning agents working in the real world. In: International Journal of Intelligent Information and Database Systems, vol. 3(4), pp. 483–501. Inderscience Publishers (2009)
Rao, Anand S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Proceedings of Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-96) (1996)
Kowalski, R., Sergot, M.: A logic-based calculus of events. In new generation computing, vol. 4, no.1, pp. 67–95 (1986). Also in the language of time: a reader. In: Inderjeet Mani, Pustejovsky J., Gaizauskas R. (eds.) Oxford University Press (2005)
Kowalski, R., Sadri, F.: An agent language with destructive assignment and model-theoretic semantics. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) Proc. of the 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), pp. 200–218 (2010)
Kowalski, R.: Computational logic and human thinking: how to be artificially intelligent. To be published by Cambridge University Press
Wooldridge, M.: An Introduction to Multiagent Systems. Wiley (2009)
Nau, D., Cao, Y., Lotem, A., Munoz-Avila, H.: SHOP: simple hierarchical ordered planner. In: Proc. of the 16th International Joint Conference on Artificial Intelligence (IJCAI), pp. 968–973 (1999)
Kowalski, R., Sadri, F.: The situation calculus and event calculus compared. In: Proc. of International Logic Programming Symposium (ILPS) 94, MIT Press, pp. 539–553 (1994)
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 473–484 (1991)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kowalski, R., Sadri, F. Abductive logic programming agents with destructive databases. Ann Math Artif Intell 62, 129–158 (2011). https://doi.org/10.1007/s10472-011-9253-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-011-9253-y