Abstract
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In this framework, logic programs function as an agent’s beliefs and production rules function as the agent’s goals. The semantics and proof procedures are based on abductive logic programming, in which logic programs are integrated with integrity constraints that behave like production rules.
Similarly to production systems, the proof procedure is an operational semantics, which manipulates the current state of a database, which is modified by actions implemented by destructive assignment. The semantics can be viewed as generating a model, based on the sequence of database states and logic program, which makes the production rules true.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Alferes, J.J., Banti, F., Brogi, A.: An Event-Condition-Action Logic Programming Language. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 29–42. Springer, Heidelberg (2006)
Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving Logic Programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50–61. Springer, Heidelberg (2002)
Anderson, J., Bower, G.: Human Associative Memory. Winston, Washington (1973)
Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and Resource-bounded Practical Reasoning. Computational Intelligence 4, 349–355 (1988)
Caroprese, L., Greco, S., Sirangelo, C., Zumpano, E.: Declarative Semantics of Production Rules for Integrity Maintenance. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 26–40. Springer, Heidelberg (2006)
Ceri, S., Fraternali, P., Paraboschi, S., Tanca, L.: Automatic Generation of Production Rules for Integrity Maintenance. ACM Transactions on Database Systems (TODS) 19(3), 367–422 (1994)
Ceri, S., Widom, J.: Deriving production rules for constant maintenance. In: 16th International Conference on Very Large Data Bases, pp. 566–577 (1990)
Cheng, P.W., Holyoak, K.J.: Pragmatic Reasoning Schemas. Cognitive Psychology 17, 391–416 (1985)
Clark, K.: Negation as Failure. In: Readings in Nonmonotonic Reasoning, pp. 311–325. Morgan Kaufmann, San Francisco (1978)
Console, L., Theseider Dupre, D., Torasso, P.: On the Relationship Between Abduction and Deduction. Journal of Logic and Computation 1(5), 661–690 (1991)
Denecker, M., De Schreye, D.: SLDNFA: An Abductive Procedure for Normal Abductive Programs. J. Logic Programming 34(2), 111–167 (1998)
Dennis, L.A., Bordini, R.H., Farwer, B., Fisher, M.: A Common Semantic Basis for BDI Languages. In: Dastani, M.M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 124–139. Springer, Heidelberg (2008)
d’Inverno, M., Luck, M., Georgeff, M.P., Kinny, D., Wooldridge, M.: A Formal Specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS (LNAI), vol. 1365, pp. 155–176. Springer, Heidelberg (1998)
Dung, P.M., Mancarella, P.: Production Systems with Negation as Failure. IEEE Transactions on Knowledge and Data Engineering 14(2), 336–352 (2002)
Eshghi, K., Kowalski, R.: Abduction Compared with Negation by Failure. In: Levi, G., Martelli, M. (eds.) 6th International Conference on Logic Programming, pp. 234–254. MIT Press, Cambridge (1989)
Fernandes, A.A.A., Williams, M.H., Paton, N.: A Logic-Based Integration of Active and Deductive Databases. New Generation Computing 15(2), 205–244 (1997)
Fraternali, P., Tanca, L.: A Structured Approach for the Definition of the Semantics of Active Databases. ACM Transactions on Database Systems (TODS) 20(4), 414–471 (1995)
Fung, T.H., Kowalski, R.: The IFF Proof Procedure for Abductive Logic Programming. Journal of Logic Programming 33(2), 151–164 (1997)
Kakas, A., Kowalski, R., Toni, F.: The Role of Logic Programming in Abduction. In: Gabbay, D., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Programming, vol. 5, pp. 235–324. Oxford University Press, Oxford (1998)
Kakas, A.C., Mancarella, P.: Abduction and Abductive Logic Programming. In: 11th International Conference on Logic Programming, pp. 18–19 (1994)
Kakas, A., Mancarella, P., Sadri, S., Stathis, K., Toni, F.: Computational Logic Foundations of KGP Agents. Journal of Artificial Intelligence Research (2009)
Kowalski, R.: Using Metalogic to Reconcile Reactive with Rational Agents. In: Apt, K., Turini, F. (eds.) Meta-Logics and Logic Programming. MIT Press, Cambridge (1995)
Kowalski, R.: Artificial Intelligence and the Natural World. Cognitive Processing 4, 547–573 (2001)
Kowalski, R.: The Logical Way to be Artificially Intelligent. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 1–22. Springer, Heidelberg (2006)
Kowalski, R.: Reasoning with Conditionals in Artificial Intelligence. In: Oaksford, M. (ed.) The Psychology of Conditionals. Oxford University Press, Oxford (to appear, 2009)
Kowalski, R.: How to be Artificially Intelligence. Cambridge University Press, Cambridge (2010) (to be published), http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html
Kowalski, R., Sadri, F.: Towards a Unified Agent Architecture that Combines Rationality with Reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol. 1154, pp. 131–150. Springer, Heidelberg (1996)
Kowalski, R., Sadri, F.: From Logic Programming towards Multi-agent Systems. Annals of Mathematics and Artificial Intelligence 25, 391–419 (1999)
Kowalski, R., Sadri, F.: LPS - a Logic-Based Production System Framework. Department of Computing, Imperial College (2009)
Kowalski, R., Sadri, F., Soper, P.: Integrity Checking in Deductive Databases. In: 13th VLDB, pp. 61–69. Morgan Kaufmann, Los Altos (1987)
Kowalski, R., Sergot, M.: A Logic-based Calculus of Events. New Generation Computing 4(1), 67–95 (1986); also In: Mani, I., Pustejovsky, J., Gaizauskas, R. (eds.): The Language of Time: A Reader. Oxford University Press, Oxford (2005)
Kowalski, R., Toni, F., Wetzel, G.: Executing Suspended Logic Programs. Fundamenta Informatica 34(3), 1–22 (1998)
Kunen, K.: Negation in Logic Programming. Journal of Logic Programming 4(4), 289–308 (1987)
Laird, J.E., Newell, A., Rosenblum, P.S.: SOAR: an Architecture for General Intelligence. Artificial Intelligence 33(1), 1–64 (1987)
Lloyd, J.W., Topor, R.W.: A Basis for Deductive Database Systems. J. Logic Programming 2, 93–109 (1985)
Mancarella, P., Terreni, G., Sadri, F., Toni, F., Endriss, U.: The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments. Theory and Parctice of Logic Programming (to appear, 2009)
Nicolas, J.M., Gallaire, H.: Database: Theory vs. Interpretation. In: Gallaire, H., Minker, J. (eds.) Logic and Databases. Plenum, New York (1978)
Pereira, L.M., Anh, H.T.: Evolution Prospection. In: Nakamatsu, K., et al. (eds.) KES-IDT 2009. SCI, vol. 199, pp. 51–64. Springer, Heidelberg (2009)
Poole, D.: Probabilistic Horn Abduction and Bayesian Networks. Artificial Intelligence 64(1), 81–129 (1993)
Poole, D.: The Independent Choice Logic for Modeling Multiple Agents Under Uncertainty. Artificial Intelligence 94, 7–56 (1997)
Rao, A.S.: Agents Breaking Away. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038. Springer, Heidelberg (1996)
Rao, A.S., Georgeff, M.P.: Modeling Rational Agents with a BDI-Architecture. In: 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 473–484 (1991)
Reiter, R.: On Closed World Data Bases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 55–76. Plenum Press, New York (1978)
Reiter, R.: On Integrity Constraints. In: 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 97–111 (1988)
Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall, Upper Saddle River (2003)
Sadri, F.: A Theorem-Proving Approach to Database Integrity. PhD Thesis, Imperial College (1988)
Sadri, F., Kowalski, R.: A Theorem-Proving Approach to Database Integrity. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 313–362. Morgan Kaufmann, San Francisco (1988)
Simon, H.: Production Systems. In: Wilson, R., Keil, F. (eds.) The MIT Encyclopedia of the Cognitive Sciences, pp. 676–677. The MIT Press, Cambridge (1999)
Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008)
Thagard, P.: Mind: Introduction to Cognitive Science, 2nd edn. MIT Press, Cambridge (2005)
Wason, P.C.: Reasoning About a Rule. The Quarterly Journal of Experimental Psychology 20(3), 273–281 (1968)
Raschid, L.: A Semantics for a Class of Stratified Production System Programs. J. Log. Program. 21(1), 31–57 (1994)
Lausen, G., Ludäscher, B., May, W.: On Active Deductive Databases: The Statelog Approach. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol. 1472, pp. 69–106. Springer, Heidelberg (1998)
Zaniolo, C.: On the Unification of Active Databases and Deductive databases. In: Worboys, M.F., Grundy, A.F. (eds.) BNCOD 1993. LNCS, vol. 696, pp. 23–39. Springer, Heidelberg (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kowalski, R., Sadri, F. (2009). Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. In: Polleres, A., Swift, T. (eds) Web Reasoning and Rule Systems. RR 2009. Lecture Notes in Computer Science, vol 5837. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05082-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-05082-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05081-7
Online ISBN: 978-3-642-05082-4
eBook Packages: Computer ScienceComputer Science (R0)