Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS


SOCS Streszczenie raportu

Project ID: IST-2001-32530
Źródło dofinansowania: FP5-IST
Kraj: 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
Faks: +357-2-2892701
Adres e-mail
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę