Modeling and reasoning in event calculus using goal-directed constraint answer set programming

DOI10.1007/978-3-030-45260-5_9MaRDI QIDQ5097632zbMATH OpenOpenAlexFDO

Authors Joaquin Arias, Zhuo Chen, M. Carro, Gopal Gupta

Publication date 25 August 2022

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2106.14566, http://oa.upm.es/63685/

zbMATH Keywords

constraintsevent calculusgoal-directedASP

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Abstract: Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model commonsense reasoning with a sound, logical basis. Previous attempts to mechanize reasoning using EC faced difficulties in the treatment of the continuous change in dense domains (e.g., time and other physical quantities), constraints among variables, default negation, and the uniform application of different inference methods, among others. We propose the use of s(CASP), a query-driven, top-down execution model for Predicate Answer Set Programming with Constraints, to model and reason using EC. We show how EC scenarios can be naturally and directly encoded in s(CASP) and how it enables deductive and abductive reasoning tasks in domains featuring constraints involving both dense time and dense fluents.

Recommendations

• Integrating nonmonotonic and temporal constraint reasoning
• Logical formalizations of commonsense reasoning: a survey
• Prioritized logic programming and its application to commonsense reasoning
• An approach to human-level commonsense reasoning
• Logic Programming and Nonmonotonic Reasoning

Cites work

• An abductive event calculus planner
• Circumscription - a form of non-monotonic reasoning
• Coinductive Logic Programming and Its Applications
• Constraint answer set programming without grounding
• Integrating answer set programming and constraint logic programming
• Multi-shot ASP solving with clingo
• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• Representing action and change by logic programs
• System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers

Cited in

(4)

• CHICA, An Abductive Planning System Based on Event Calculus
• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• Constraint logic programming for reasoning about discrete event processes
• Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

This page was built for publication: Modeling and reasoning in event calculus using goal-directed constraint answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5097632)