Skip to main content Accessibility help
×
×
Home

Programming in logic without logic programming

  • ROBERT KOWALSKI (a1) and FARIBA SADRI (a1)
Abstract

In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial state, sequence of events, and the resulting sequence of subsequent states. In this model-theoretic semantics, reactive rules are the driving force, and logic programs play only a supporting role. In the canonical model, states, actions, and other events are represented with timestamps. But in the operational semantics (OS), for the sake of efficiency, timestamps are omitted and only the current state is maintained. State transitions are performed reactively by executing actions to make the consequents of rules true whenever the antecedents become true. This OS is sound, but incomplete. It cannot make reactive rules true by preventing their antecedents from becoming true, or by proactively making their consequents true before their antecedents become true. In this paper, we characterize the notion of reactive model, and prove that the OS can generate all and only such models. In order to focus on the main issues, we omit the logic programming component of the framework.

Copyright
References
Hide All
Abdennadher, S. and Schütz, H. 1998. CHR: A flexible query language. In Flexible Query Answering Systems, Andreasen, T., Christiansen, H. and Larsen, H., Eds. Springer, Berlin Heidelberg, 114.
Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P. and Torroni, P. 2008. Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Transactions on Computational Logic (TOCL) 9 (4), 691750.
Alferes, J. J., Banti, F. and Brogi, A. 2006. An event-condition-action logic programming language. In Logics in Artificial Intelligence. JELIA 06, vol. 4160, Fisher, M., van der Hoek, W., Konev, B. and Lisitsa, A., Eds. LNIA, Springer, Berlin Heidelberg, 2942.
Bailey, J., Georgeff, M., Kemp, D., Kinny, D. and Ramamohanarao, K. 1995. Active databases and agent systems—a comparison. In Rules in Database Systems, Sellis, T., Ed. Springer, Berlin Heidelberg, 342356.
Baral, C. and Lobo, J. 1995. Characterizing production systems using logic programming and situation calculus. http://www.cs.utep.edu/baral/papers/char-prod-systems.ps.
Barringer, H., Fisher, M., Gabbay, D., Owens, R. and Reynolds, M. 1996. The Imperative Future: Principles of Executable Temporal Logic. John Wiley & Sons, Inc, New York, NY.
Betz, H. and Frühwirth, T. 2005. A linear-logic semantics for constraint handling rules. In Principles and Practice of Constraint Programming - CP 2005, vol. 3709, van Beek, P., Ed. LINCS, Springer, Berlin Heidelberg, 137151.
Bonner, A. and Kifer, M. 1993. Transaction logic programming. In Proc. of the International Conference on Logic Programming, Warren, D. S., Ed. 257279.
Brogi, A., Leite, J. A. and Pereira, L. M. 2002. Evolving logic programs. In Proc. of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), Flesca, S., Greco, S., Leone, N. and Ianni, G., Eds. Lecture Notes in Computer Science, vol. 2424. Springer-Verlag, Berlin, 5061.
Calì, A., Gottlob, G. and Lukasiewicz, T. 2009. Datalog±: A unified approach to ontologies and integrity constraints. In Proc. of the 12th International Conference on Database Theory, Fagin, R., Ed. ACM, New York, NY, 1430.
Carriero, N. and Gelernter, D. 1989. Linda in context. Communications of the ACM 32 (4), 444458.
Costantini, S. and Tocchio, A. 2004. The DALI logic programming agent-oriented language. In Proc. of the JELIA 2004, Alferes, J. J. and Leite, J., Eds. Lecture Notes in Computer Science (LNAI), vol. 3229, Springer, Heidelberg, 685688.
Damásio, C. V., Alferes, J. J. and Leite, J. 2010. Declarative semantics for the rule interchange format production rule dialect. In Proc. of Semantic Web–ISWC 2010, Patel-Schneider, P., Ed. Springer, Berlin Heidelberg, 798813.
Eiter, T., Feier, C. and Fink, M. 2012. Simulating production rules using ACTHEX. In Correct Reasoning, Erdem, E., Ed. LINCS, vol. 7265, Springer, Berlin Heidelberg, 211228.
Fernandes, A. A. A., Williams, M. H. and Paton, N. 1997. A logic-based integration of active and deductive databases. New Generation Computing 15 (2), 205244.
Fikes, R. E. and Nilsson, N. J. 1972. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 (3), 189208.
Frühwirth, T. 1998. Theory and practice of constraint handling rules. The Journal of Logic Programming 37 (1–3), 95138.
Frühwirth, T. 2009. Constraint Handling Rules. Cambridge University Press, Cambridge, UK.
Fung, T. H. and Kowalski, R. 1997. The IFF proof procedure for abductive logic programming. The Journal of Logic Programming 33 (2), 151165.
Gavanelli, M., Lamma, E., Riguzzi, F., Bellodi, E., Zese, R. and Cota, G. 2015. Abductive logic programming for datalog± ontologies. In Proc. of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), De Vos, M., Eiter, T., Lierler, Y. and Toni, F., Eds. Vol. 1433, CEUR, ONLINE: http://ceur-ws.org/Vol-1433/.
Gebser, M., Grote, T., Kaminski, R. and Schaub, T. 2011. Reactive answer set programming. In Logic Programming and Nonmonotonic Reasoning, Delgrande, J. and Faber, W., Eds. LNAI, vol. 6645, Springer, Berlin, Heidelberg, 5466.
Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In ICLP/SLP, vol. 88, 1070–1080.
Gomes, A. S. and Alferes, J. J. 2014. Transaction Logic with (Complex) Events.arXiv preprint arXiv:1405.3790.
Governatori, G. and Rotolo, A. 2013. Computing temporal defeasible logic. RuleML 2013, 114–128.
Gurevich, Y. 2000. Sequential abstract-state machines capture sequential algorithms. ACM Transactions on Computational Logic (TOCL) 1 (1), 77111.
Harel, D. 1987. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231274.
Jaffar, J. and Lassez, J. L. 1987. Constraint logic programming. In Proc. of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, ACM, New York NY, 111119.
Kakas, A. C., Kowalski, R. and Toni, F. 1998. The role of logic programming in abduction. In Handbook of Logic in Artificial Intelligence and Programming, Vol. 5, Gabbay, D., Hogger, C. J. and Robinson, J. A., Eds. Oxford University Press, Oxford, 235324.
Kakas, A. C., Mancarella, P., Sadri, F., Stathis, K. and Toni, F. 2004. The KGP model of agency. In Proc. ECAI-2004.
Kowalski, R. 2011. Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge University Press, Cambridge, UK.
Kowalski, R. 2014. Logic for Problem Solving, Revisited. Frühwirth, Thom, Ed., Herstellung und Verlag, Books on Demand GmbH, Norderstedt.
Kowalski, R. and Sadri, F. 1999. From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence 25, 391419.
Kowalski, R. and Sadri, F. 2009. Integrating logic programming and production systems in abductive logic programming agents. In Proc. of the 3rd International Conference on Web Reasoning and Rule Systems, Polleres, A. and Swift, T., Eds. LNCS, vol. 5837, Springer, Berlin Heidelberg, 123.
Kowalski, R. and Sadri, F. 2010. An agent language with destructive assignment and model-theoretic semantics. In Proc. of the 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Dix, J., Leite, J., Governatori, G. and Jamroga, W., Eds. LNAI, vol. 6245, Springer, Berlin Heidelberg, 200218.
Kowalski, R. and Sadri, F. 2011. Abductive logic programming agents with destructive databases. Annals of Mathematics and Artificial Intelligence 62 (1), 129158 Cambridge, UK.
Kowalski, R. and Sadri, F. 2012. A logic-based framework for reactive systems. In Rules on the Web: Research and Applications, 2012 – RuleML 2012, vol. 7438, Bikakis, A. and Giurca, A., Eds. Lecture Notes in Computer Science, Springer-Verlag, Berlin, 115.
Kowalski, R. and Sadri, F. 2014. A logical characterization of a reactive system language. In RuleML 2014, vol. 8620, Bikakis, A. et al., Eds. RuleML 2014, Lecture Notes in Computer Science, Springer International Publishing, Switzerland, 2236
Kowalski, R. and Sadri, F. 2015. Model-theoretic and operational semantics for reactive computing. New Generation Computing 33 (1), 3367.
Kowalski, R. and Sergot, M. 1986. A logic-based calculus of events. New Generation Computing 4 (1), 6795.
Lausen, G., Ludäscher, B. and May, W. 1998. On active deductive databases: The statelog approach. In Proc. of the Transactions and Change in Logic Databases, Decker, H., Freitag, B., Kifer, M. and Voronkov, A., Eds. LNCS, vol. 1472, Springer, Berlin Heidelberg, 69106.
Maier, D., Mendelzon, A. and Sagiv, Y. 1979. Testing implications of data dependencies. ACM Transactions on Database Systems 4 (4), 455469.
Mancarella, P., Terreni, G., Sadri, F., Toni, F. and Endriss, U. 2009. The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. Theory and Practice of Logic Programming 9 (06), 691750.
Manthey, R. and Bry, F. 1988. January. SATCHMO: A theorem prover implemented in prolog. In Proc. of the Conference on Automated Deduction, LNCS, vol. 310, Lusk, E. and Overbeek, R., Eds. Springer, Berlin Heidelberg, 415434.
Paschke, A., Boley, H., Zhao, Z., Teymourian, K. and Athan, T. 2012. Reaction RuleML 1.0: Standardized semantic reaction rules. In Rules on the Web: Research and Applications, Bikakis, A. and A. Eds. LNCS, vol. 7438, Springer, Berlin Heidelberg, 100119.
Rao, A. S. and Georgeff, M. P. 1995. BDI agents: From theory to practice. In Proc. of the International Conference on Multiagent Systems - ICMAS, Lesser, V. and Gasser, L., Eds. The MIT Press, Cambridge, MA, 312319.
Rao, A. 1996. AgentSpeak (L): BDI agents speak out in a logical computable language. In Agents Breaking Away, 42–55.
Raschid, L. 1994. A semantics for a class of stratified production system programs. The Journal of Logic Programming 21 (1), 3157.
Rezk, M. and Kifer, M. 2012. Formalizing production systems with rule-based ontologies. In Foundations of Information and Knowledge Systems, Lukasiewicz, T. and Sali, A., Eds. LNCS, vol. 7153, Springer, Berlin Heidelberg, 332351.
Shanahan, M. 1997. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge, MA and London, England.
Shapiro, E. (1989). The family of concurrent logic programming languages. ACM Computing Surveys (CSUR) 21 (3), 413510.
Thielscher, M. 2005. FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming 5 (4–5), 533565.
Van Gelder, A., Ross, K. A. and Schlipf, J. S. 1991. The well-founded semantics for general logic programs. Journal of the ACM (JACM) 38 (3), 619649.
Wang, J., Topor, R. and Maher, M. 2001. Reasoning with disjunctive constrained tuple-generating dependencies. In Database and Expert Systems Applications, Mayr, H., Lazansky, J., Quirchmayr, G. and Vogel, P., Eds. LNCS, vol. 2113, Springer, Berlin Heidelberg, 963973
Zaniolo, C. 1993. On the unification of active databases and deductive databases. In Advances in Databases, Worboys, M. and Grundy, A., Eds. LNCS, Springer, Berlin Heidelberg, 2339.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

Type Description Title
PDF
Supplementary materials

Kowalski and Sadri supplementary material
Appendix

 PDF (95 KB)
95 KB

Metrics

Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed