Autor:
Arias, Joaquín

Foto de perfil
E-mails conocidos
joaquin.arias@urjc.es
joaquin.arias@imdea.org
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Arias
Nombre de pila
Joaquín
Nombre
Nombres alternativos
Arias, Joaquin
Afiliaciones conocidas
Universidad Rey Juan Carlos, Spain
Universidad Politécnica de Madrid and IMDEA Software Institute, Spain
IMDEA Software Institute, Spain
Universidad Politécnica de Madrid e IMDEA Software
Páginas web conocidas
http://www.ia.urjc.es/gia/joaquin-arias/
Página completa del ítem
Notificar un error en este autor

Filtros

20191
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Miniatura
    Artículo
    Modeling and Reasoning in Event Calculus Using Constraint Answer Set Programming
    Arias, Joaquín; Carro, Manuel. Actas de las XIX Jornadas de Programación y Lenguajes (PROLE 2019), 2019-09-02.
    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 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 modeled in s(CASP) and how its expressiveness makes it pos- sible to perform deductive and abductive reasoning tasks in domains featuring, for example, constraints involving dense time and fluents.