lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)

Authors Beidi Li, Mehul Bhatt, Carl Schultz



PDF
Thumbnail PDF

File

LIPIcs.COSIT.2019.26.pdf
  • Filesize: 2.42 MB
  • 8 pages

Document Identifiers

Author Details

Beidi Li
  • Department of Engineering, Aarhus University, DK
Mehul Bhatt
  • School of Science and Technology, Örebro University, Sweden
Carl Schultz
  • DIGIT, Aarhus University, DK

Cite AsGet BibTex

Beidi Li, Mehul Bhatt, and Carl Schultz. lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper). In 14th International Conference on Spatial Information Theory (COSIT 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 142, pp. 26:1-26:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.COSIT.2019.26

Abstract

We present a framework and proof-of-concept implementation for functional spatial reasoning within high-order logic programming. The developed approach extends lambdaProlog to support reasoning over spatial variables via Constraint Handling Rules. We implement our approach within Embeddable lambdaProlog Interpreter (ELPI) and demonstrate key features from combined reasoning over spatial functions and relations. The reported research is an ongoing development of the declarative spatial reasoning paradigm.

Subject Classification

ACM Subject Classification
  • Computing methodologies → Spatial and physical reasoning
Keywords
  • Spatial reasoning
  • Functional logic programming
  • Lambda-Prolog

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Marco Aiello, Ian E. Pratt-Hartmann, and Johan F.A.K. van Benthem. Handbook of Spatial Logics. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2007. Google Scholar
  2. Mehul Bhatt. Reasoning about Space, Actions and Change: A Paradigm for Applications of Spatial Reasoning. In Qualitative Spatial Representation and Reasoning: Trends and Future Directions. IGI Global, USA, 2012. Google Scholar
  3. Mehul Bhatt, Jae Hee Lee, and Carl Schultz. CLP(QS): a declarative spatial reasoning framework. In International Conference on Spatial Information Theory, pages 210-230. Springer, 2011. Google Scholar
  4. Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, and Enrico Tassi. ELPI: Fast, Embeddable, lambda-Prolog Interpreter. In Logic for Programming, Artificial Intelligence, and Reasoning, pages 460-468. Springer, 2015. Google Scholar
  5. Thom Frühwirth. Constraint handling rules. In French School on Theoretical Computer Science, pages 90-107. Springer, 1994. Google Scholar
  6. Deepak Kapur and Joseph L. Mundy, editors. Geometric Reasoning. MIT Press, Cambridge, MA, USA, 1988. Google Scholar
  7. Javier Leach, Susana Nieva, and Mario Rodríguez-Artalejo. Constraint logic programming with hereditary Harrop formulas. Theory and Practice of Logic Programming, 1(4):409-445, 2001. Google Scholar
  8. Gérard Ligozat. Qualitative Spatial and Temporal Reasoning. Wiley-ISTE, 2011. Google Scholar
  9. Gopalan Nadathur and Dale Miller. An overview of Lambda-PROLOG. University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-88-40, 1988. Google Scholar
  10. Jakob Suchan and Mehul Bhatt. Semantic Question-Answering with Video and Eye-Tracking Data: AI Foundations for Human Visual Perception Driven Cognitive Film Studies. In IJCAI, pages 2633-2639, 2016. Google Scholar
  11. Jakob Suchan, Mehul Bhatt, and Carl P. L. Schultz. Deeply Semantic Inductive Spatio-Temporal Learning. In James Cussens and Alessandra Russo, editors, Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), London, UK, 2016., volume 1865 of CEUR Workshop Proceedings, pages 73-80. CEUR-WS.org, 2016. URL: http://ceur-ws.org/Vol-1865/paper-12.pdf.
  12. Jakob Suchan, Mehul Bhatt, Przemysław Wałega, and Carl Schultz. Visual explanation by high-level abduction: On answer-set programming driven reasoning about moving objects. In Thirty-Second AAAI Conference on Artificial Intelligence, 2018. Google Scholar
  13. Allen Van Gelder, Kenneth A Ross, and John S Schlipf. The well-founded semantics for general logic programs. Journal of the ACM (JACM), 38(3):619-649, 1991. Google Scholar
  14. Przemysław Andrzej Wałęga, Mehul Bhatt, and Carl Schultz. ASPMT(QS): non-monotonic spatial reasoning with answer set programming modulo theories. In International Conference on Logic Programming and Nonmonotonic Reasoning, pages 488-501. Springer, 2015. Google Scholar
  15. Przemysław Andrzej Wałęga, Carl Schultz, and Mehul Bhatt. Non-monotonic spatial reasoning with answer set programming modulo theories. Theory and Practice of Logic Programming, 17(2):205-225, 2017. Google Scholar
  16. Diedrich Wolter and Jan Oliver Wallgrün. Qualitative spatial reasoning for applications: New challenges and the SparQ toolbox. In Geographic Information Systems: Concepts, Methodologies, Tools, and Applications, pages 1639-1664. IGI Global, 2013. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail