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.

Reported by

UNIVERSITY OF CYPRUS
KALLIPOLEOS STREET 75
20537 NICOSIA
Cyprus
See on map
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top