Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

06/28/2021
by   Joaquín Arias, et al.
0

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.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

09/10/2021

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

We consider requirements for cyber-physical systems represented in const...
03/21/2022

PACS: A Dataset for Physical Audiovisual CommonSense Reasoning

In order for AI to be safely deployed in real-world scenarios such as ho...
03/31/2021

Online Learning Probabilistic Event Calculus Theories in Answer Set Programming

Complex Event Recognition (CER) systems detect event occurrences in stre...
04/30/2018

Constraint Answer Set Programming without Grounding

Extending ASP with constraints (CASP) enhances its expressiveness and pe...
10/17/2021

AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning

Driving an automobile involves the tasks of observing surroundings, then...
07/21/2014

Representing and Reasoning about Game Strategies

As a contribution to the challenge of building game-playing AI systems, ...
07/28/2013

Reasoning for Moving Blocks Problem: Formal Representation and Implementation

The combined approach of the Qualitative Reasoning and Probabilistic Fun...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.