Community Research and Development Information Service - CORDIS

FP5

SOCS Report Summary

Project ID: IST-2001-32530
Funded under: FP5-IST
Country: 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.

Contact

Antonis KAKAS
Tel.: +357-2-2892706
Fax: +357-2-2892701
E-mail
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top