Modeling and reasoning in Event Calculus using goal-directed Constraint Answer Set Programming

Arias Herrero, Joaquín and Chen, Zhuo and Carro Liñares, Manuel and Gupta, Gopal (2019). Modeling and reasoning in Event Calculus using goal-directed Constraint Answer Set Programming. In: "LOPSTR 2019: Logic-Based Program Synthesis and Transformation", 8-10 Oct 2019, Porto, Portugal. ISBN 978-3-030-45259-9. pp. 139-155. https://doi.org/10.1007/978-3-030-45260-5_9.

Description

Title: Modeling and reasoning in Event Calculus using goal-directed Constraint Answer Set Programming
Author/s:
  • Arias Herrero, Joaquín
  • Chen, Zhuo
  • Carro Liñares, Manuel
  • Gupta, Gopal
Item Type: Presentation at Congress or Conference (Article)
Event Title: LOPSTR 2019: Logic-Based Program Synthesis and Transformation
Event Dates: 8-10 Oct 2019
Event Location: Porto, Portugal
Title of Book: Logic-Based Program Synthesis and Transformation
Date: 2019
ISBN: 978-3-030-45259-9
ISSN: 0302-9743
Subjects:
Freetext Keywords: ASP; Goal-directed; Event Calculus; Constraints
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (287kB) | Preview

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 its expressiveness makes it possible to perform deductive and abductive reasoning tasks in domains featuring, for example, constraints involving both dense time and dense fluents.

Funding Projects

TypeCodeAcronymLeaderTitle
Government of SpainTIN2015-67522-C3-1-RTRACESFundación IMDEA SoftwareTecnologías y herramientas para el desarrollo de software consciente de los recursos, correcto y eficiente (IMDEA)
Madrid Regional GovernmentS2018/TCS-4339BLOQUES-CMUnspecifiedContratos inteligentes y blockchains escalables y seguros mediante verificación y análisis

More information

Item ID: 63685
DC Identifier: http://oa.upm.es/63685/
OAI Identifier: oai:oa.upm.es:63685
DOI: 10.1007/978-3-030-45260-5_9
Official URL: https://link.springer.com/chapter/10.1007/978-3-030-45260-5_9
Deposited by: Memoria Investigacion
Deposited on: 28 Oct 2020 09:00
Last Modified: 28 Oct 2020 09:45
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM