Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
Año:2019
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
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.
Internacional
Si
JCR del ISI
No
Título de la revista
Lecture Notes in Computer Science
ISSN
0302-9743
Factor de impacto JCR
Información de impacto
Volumen
12042
DOI
10.1007/978-3-030-45260-5_9
Número de revista
Desde la página
139
Hasta la página
155
Mes
SIN MES
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Joaquín Arias (IMDEA Software)
  • Autor: Zhuo Chen
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: Gopal Gupta
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2022 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)