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

DOI10.1007/978-3-030-45260-5_9zbMATH Open1502.68282arXiv2106.14566OpenAlexW3020620556MaRDI QIDQ5097632FDOQ5097632

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)

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.

Full work available at URL: https://arxiv.org/abs/2106.14566

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

zbMATH Keywords

constraintsevent calculusgoal-directedASP

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• 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
• CHICA, An Abductive Planning System Based on Event Calculus

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)