Mario Borillo and Bruno Gaume. An extension to Kowalski and Sergot's event calculus. In Proceedings ECAI 90, pages 99--104, August 1990.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....for the representation of, and the reasoning about, time [Kowalski and Sergot 86] It was originally used as a mechanism for updating databases and understanding natural language. Since then, event calculus has been presented in a variety of other ways [Sadri 87, Shanahan 89, Shanahan 90, Borillo and Gaume 90, Sripada 91, Missiaen 91b] The event calculus is based on events which initiate and terminate properties. For example, the event taking a shower would make the property one s hair is wet true. Events are assumed to be atomic; no other events can happen during the execution of an event. The ....

Mario Borillo and Bruno Gaume. An extension to Kowalski and Sergot's event calculus. In Proceedings ECAI 90, pages 99--104, August 1990.

....using belief functions, Dutta [19] 20] who has more recently modeled the lack of knowledge about events by means of fuzzy sets of time intervals, and Dean and Kanazawa [8] who use a probabilistic model for representing the propensity of a formula to persist in being true. Also, Borillo and Gaume [6] allow for a non graded treatment of incomplete information in a calculus of events. This situation seems to be mainly due to the fact that the handling of time and the management of uncertainty are two distinct important issues, each of them raising its own specific problems whose solutions ....

Borillo M., Gaume B. An extension to Kowalski and Sergot's event calculus. Proc. 9th Europ. Conf. on Artificial Intelligence (ECAI-90), 99-104, 1990.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC