Extending Logic Programming with Labelled Variables : Model and Semantics

• Autorzy: Calegari R. , Denti E. , Dovier A. , Omicini A.

Identyfikatory

DOI

10.3233/FI-2018-1695

• Konferencja: Italian Conference on Computational Logic (Convegno Italiano di Logica Computazionale, CILC 2016) (31; 20-22.07.2016; Università degli Studi di Milano-Bicocca, Italy)
• Języki publikacji: EN

Abstrakty

EN

In order to enable logic programming to deal with the diversity of pervasive systems, where many heterogeneous, domain-specific computational models could benefit from the power of symbolic computation, we explore the expressive power of labelled systems. To this end, we define a new notion of truth for logic programs extended with labelled variables interpreted in non-Herbrand domains-where, however, terms maintain their usual Herbrand interpretations. First, a model for labelled variables in logic programming is defined. Then, the fixpoint and the operational semantics are presented and their equivalence is formally proved. A meta-interpreter implementing the operational semantics is also introduced, followed by some case studies aimed at showing the effectiveness of our approach in selected scenarios.

Słowa kluczowe

EN

formal semantics; labelled systems; labelled variables; logic programming; metainterpretation; situated intelligence

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2018
• Tom: Vol. 161, nr 1/2
• Strony: 53--74
• Opis fizyczny: Bibliogr. 51 poz., rys., tab.

Twórcy

autor

Calegari R.

• Alma Mater Studiorum–Università di Bologna, viale Risorgimento 2, 40136, Bologna, Italy

autor

Denti E.

• Alma Mater Studiorum–Università di Bologna, viale Risorgimento 2, 40136, Bologna, Italy

autor

Dovier A.

• Università degli Studi di Udine, via delle Scienze 206, 33100, Udine, Italy

autor

Omicini A.

• Alma Mater Studiorum–Università di Bologna, via Sacchi 3, 47521, Cesena, Italy

Bibliografia

• [1] Mariani S, Omicini A. Coordinating activities and change: An event-driven architecture for situated MAS. Engineering Applications of Artificial Intelligence. 2015 May;41:298-309. doi:10.1016/j.engappai.2014.10.006.
• [2] Maes P. Situated agents can have goals. Robotics and Autonomous Systems. 1990;6(1):49-70. doi:10.1016/S0921-8890(05)80028-4.
• [3] Gabbay DM. Labelled Deductive Systems, Volume 1. vol. 33 of Oxford Logic Guides. Clarendon Press; 1996. Available from: http://global.oup.com/academic/product/labelled-deductive-systems-9780198538332.
• [4] Holzbaur C. Metastructures vs. attributed variables in the context of extensible unification. In: Bruynooghe M, Wirsing M, editors. Programming Language Implementation and Logic Programming. vol. 631 of Lecture Notes in Computer Science. Springer; 1992. p. 260-268. doi:10.1007/3-540-55844-6_141.
• [5] Calegari R, Denti E, Dovier A, Omicini A. Labelled Variables in Logic Programming: Foundations. In: Fiorentini C, Momigliano A, editors. CILC 2016 - Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic. vol. 1645 of CEUR Workshop Proceedings. Milano, Italy; 2016. p. 5-20. Available from: http://ceur-ws.org/Vol-1645/paper_7.pdf.
• [6] Alsinet T, Chesñevar CI, Godo L, Simari GR. A logic programming framework for possibilistic argumentation: formalization and logical properties. Fuzzy Sets and Systems. 2008;159(10):1208-1228. doi:10.1016/j.fss.2007.12.013.
• [7] Barany V, ten Cate B, Kimelfeld B, Olteanu D, Vagena Z. Declarative Probabilistic Programming with Datalog. In: Martens W, Zeume T, editors. 19th International Conference on Database Theory (ICDT 2016). vol. 48 of Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik; 2016. p. 7:1-7:19. doi:10.4230/LIPIcs.ICDT.2016.7.
• [8] Russo A. Generalising Propositional Modal Logic Using Labelled Deductive Systems. In: Baader F, Schulz KU, editors. Frontiers of Combining Systems. vol. 3 of Applied Logic Series. Springer; 1996. p. 57-73. doi:10.1007/978-94-009-0349-4_2.
• [9] Skarlatidis A, Artikis A, Filippou J, Paliouras G. A Probabilistic Logic Programming Event Calculus. Theory and Practice of Logic Programming. 2015 Mar;15(2):213-245. Special Issue on Probability, Logic and Learning. doi:10.1017/S1471068413000690.
• [10] Hofstedt P. Multiparadigm Constraint Programming Languages. Cognitive Technologies. Springer; 2011. doi:10.1007/978-3-642-17330-1.
• [11] Kifer M, Subrahmanian VS. Theory of generalized annotated logic programming and its applications. The Journal of Logic Programming. 1992 Apr;12(4):335-367. doi:10.1016/0743-1066(92)90007-P.
• [12] Kowalski R. Logic Programming. In: Mason REA, editor. Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23. North-Holland/IFIP; 1983. p. 133-145.
• [13] Bramer M. Logic Programming with Prolog. 2nd ed. Springer; 2013. doi:10.1007/978-1-4471-5487-7.
• [14] Castelfranchi C. Modelling social action for AI agents. Artificial Intelligence. 1998 Aug;103(1-2):157-182. doi:10.1016/S0004-3702(98)00056-3.
• [15] Gubbi J, Buyya R, Marusic S, Palaniswami M. Internet of Things (IoT): A vision, architectural elements, and future directions. Future Generation Computer Systems. 2013 Sep;29(7):1645-1660. doi:10.1016/j.future.2013.01.010.
• [16] Atzori L, Iera A, Morabito G. The Internet of Things: A survey. Computer Networks. 2010 Oct;54(15):2787-2805. doi:10.1016/j.comnet.2010.05.010.
• [17] Fortino G, Guerrieri A, Russo W, Savaglio C. Integration of agent-based and Cloud Computing for the smart objects-oriented IoT. In: IEEE 18th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2014). Hsinchu, Taiwan: IEEE; 2014. p. 493-498. doi:10.1109/CSCWD.2014.6846894.
• [18] Lippi M, Mamei M, Mariani S, Zambonelli F. Coordinating Distributed Speaking Objects. In: 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017). Atlanta, GA, USA: IEEE Computer Society; 2017. p. 1949-1960. doi:10.1109/ICDCS.2017.282.
• [19] Arsénio A, Serra H, Francisco R, Nabais F, Andrade J, Serrano E. Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks. In: Inter-cooperative Collective Intelligence: Techniques and Applications. vol. 495 of Studies in Computational Intelligence. Springer; 2014. p. 1-37. doi:10.1007/978-3-642-35016-0_1.
• [20] Denti E, Omicini A, Calegari R. tuProlog: Making Prolog Ubiquitous. ALP Newsletter. 2013;Oct. Available from: http://www.cs.nmsu.edu/ALP/2013/10/tuprolog-making-prolog-ubiquitous/.
• [21] Robinson JA. A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM. 1965 Jan;12(1):23-41. doi:10.1145/321250.321253.
• [22] Fellbaum C. WordNet(s). In: Brown K, editor. Encyclopedia of Language and Linguistics. vol. 13. 2nd ed. Elsevier; 2006. p. 665-670.
• [23] Cohen J. Constraint Logic Programming Languages. Communications of the ACM. 1990 Jul;33(7):52-68. doi:10.1145/79204.79209.
• [24] Imbert JL, Cohen J, Weeger MD. An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP. The Journal of Logic Programming. 1993;16(3):235-253. doi:10.1016/0743-1066(93)90044-H.
• [25] Jaffar J, Maher MJ. Constraint logic programming: a survey. The Journal of Logic Programming. 1994 May-Jul;19-20, Supplement 1:503-581. Special Issue: Ten Years of Logic Programming. doi:10.1016/0743-1066(94)90033-7.
• [26] Colmerauer A. An Introduction to Prolog III. In: Lloyd JW, editor. Computational Logic. Symposium Proceedings, Brussels, November 13/14, 1990. ESPRIT Basic Research Series. Springer; 1990. p. 37-79. doi:10.1007/978-3-642-76274-1_2.
• [27] Denti E, Omicini A, Ricci A. Multi-paradigm Java-Prolog Integration in tuProlog. Science of Computer Programming. 2005 Aug;57(2):217-250. doi:10.1016/j.scico.2005.02.001.
• [28] Sterling L, Shapiro EY, Warren DHD. The Art of Prolog. Advanced Programming Techniques. vol. 1994. MIT Press; 1986. Available from: http://mitpress.mit.edu/books/art-prolog.
• [29] Calegari R, Denti E, Omicini A. Labelled Variables in Logic Programming: A First Prototype in tuProlog. In: Bellodi E, Bonfietti A, editors. AI*IA 2015 DC Proceedings. vol. 1485 of CEUR Workshop Proceedings. Ferrara, Italy: AI*IA; 2015. p. 25-30. Available from: http://ceur-ws.org/Vol-1485/paper5.pdf.
• [30] tuProlog. Home Page [Web Site]. Università di Bologna, Italy; 2017. Available from: http://tuprolog.unibo.it.
• [31] Parker LE. Distributed Intelligence: Overview of the Field and its application in Multi-robot Systems. Journal of Physical Agents. 2008;2(1):5-14. doi:10.14198/JoPha.2008.2.1.02.
• [32] Chen H, Finin T, Joshi A. An Ontology for Context-Aware Pervasive Computing Environments. The Knowledge Engineering Review. 2003 Sep;18(3):197-207. doi:10.1017/S0269888904000025.
• [33] Smart P. Situating Machine Intelligence Within the Cognitive Ecology of the Internet. Minds and Machines. 2017 Jun;27(2):357-380. doi:10.1007/s11023-016-9416-z.
• [34] Oliya M, Pung HK. Towards Incremental Reasoning for Context Aware Systems. In: Abraham A, Lloret Mauri J, Buford JF, Suzuki J, Thampi SM, editors. Advances in Computing and Communications: First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part I. vol. 190 of Communications in Computer and Information Science. Springer; 2011. p. 232-241. doi:10.1007/978-3-642-22709-7_24.
• [35] Niezen G. Ontologies for interaction: Enabling serendipitous interoperability in smart environments. Journal of Ambient Intelligence and Smart Environments. 2013 Jan;5(1):135-137. doi:10.3233/AIS-120194.
• [36] Feijó B, Bento J. A logic-based environment for reactive agents in intelligent CAD systems. Advances in Engineering Software. 1998;29(10):825-832. doi:10.1016/S0965-9978(97)00066-5.
• [37] Endriss U, Mancarella P, Sadri F, Terreni G, Toni F. Abductive Logic Programming with CIFF: System Description. In: Alferes JJ, Leite J, editors. Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings. vol. 3229 of Lecture Notes in Computer Science. Springer; 2004. p. 680-684. doi:10.1007/978-3-540-30227-8_56.
• [38] Fung TH, Kowalski R. The IFF proof procedure for abductive logic programming. The Journal of Logic Programming. 1997;33(2):151-165. doi:10.1016/S0743-1066(97)00026-5.
• [39] Ranganathan A, Campbell RH. An Infrastructure for Context-awareness Based on First Order Logic. Personal and Ubiquitous Computing. 2003 Dec;7(6):353-364. doi:10.1007/s00779-003-0251-x.
• [40] Katsiri E, Mycroft A. Knowledge-Representation and Scalable Abstract Reasoning for Sentient Computing using First-Order Logic. In: Colton S, Gow J, Sorge V, Walsh T, editors. 1st Workshop on Challenges and Novel Applications for Automated Reasoning. CADE-19, Miami, FL, USA; 2003. p. 73-87.
• [41] Henricksen K, Indulska J, Rakotonirainy A. Modeling Context Information in Pervasive Computing Systems. In: Pervasive Computing. vol. 2414 of Lecture Notes in Computer Science. Springer; 2002. p.167-180. doi:10.1007/3-540-45866-2_14.
• [42] Loke SW. Representing and reasoning with situations for context-aware pervasive computing: a logic programming perspective. The Knowledge Engineering Review. 2004 Sep;19(3):213-233. doi:10.1017/S0269888905000263.
• [43] Sympson AK. The Proof Theory and Semantics of Intuitionistic Modal Logics [PhD Thesis]. University of Edinburgh, UK; 1994.
• [44] Broda K, Finger M, Russo A. Labelled natural deduction for substructural logics. Logic Journal of the IGPL. 1999;7(3):283-318. doi:10.1093/jigpal/7.3.283.
• [45] D’Agostino M, Gabbay DM, Broda K. Tableau Methods for Substructural Logics. In: D’Agostino M, Gabbay DM, Hähnle R, Posegga J, editors. Handbook of Tableau Methods. Dordrecht: Springer Netherlands; 1999. p. 397-467. doi:10.1007/978-94-017-1754-0_7.
• [46] Artosi A, Governatori G, Rotolo A. Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations. Journal of Logic and Computation. 2002 Dec;12(6):1027-1060. doi:10.1093/logcom/12.6.1027.
• [47] Blackburn P. Internalizing labelled deduction. Journal of Logic and Computation. 2000;10(1):137-168. doi:10.1093/logcom/10.1.137.
• [48] Russo AM. Modal Labelled Deductive Systems [PhD Thesis]. Department of Computing, Imperial College London, UK; 1996.
• [49] Broda K, Gabbay DM, Lamb LC, Russo A. Labelled Natural Deduction for Conditional Logics of Normality. Logic Journal of the IGPL. 2002;10(2):123-163. doi:10.1093/jigpal/10.2.123.
• [50] Dovier A, Pontelli E. Present and Future Challenges for ASP Systems. In: Erdem E, Lin F, Schaub T, editors. Logic Programming and Nonmonotonic Reasoning. 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. vol. 5753 of Lecture Notes in Computer Science. Springer; 2009. p. 622-624. doi:10.1007/978-3-642-04238-6_70.
• [51] Dovier A, Formisano A, Pontelli E. Autonomous Agents Coordination: Action Languages Meet CLP(FD) and Linda. Theory and Practice of Logic Programming. 2013 Sep;13(2):149-173. doi:10.1017/S1471068411000615.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).