Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS


SOCS Sintesi della relazione

Project ID: IST-2001-32530
Finanziato nell'ambito di: FP5-IST
Paese: Cyprus

Temporal reasoning with Incomplete and partial information via a variant of the abductive event calculus

This work has developed a framework for temporal reasoning of an agent allowing it to draw conclusions about properties of its world from known events and observations, as it perceives them.

This framework is based on an extended version of the Abductive Event Calculus drawn from the Language E. A computational model for this is developed based on the standard computational model of abduction in Abductive Logic Programming and can be implemented by any sound and complete proof procedure for ALP theories.


Antonis KAKAS
Tel.: +357-2-2892706
Fax: +357-2-2892701