The Event Calculus Explained Export

@article{shanahan99event, abstract = {This article presents the event calculus, a logic-based formalism for representing actions and their effects. A circumscriptive solution to the frame problem is deployed which reduces to monotonic predicate completion. Using a number of benchmark examples from the literature, the formalism is shown to apply to a variety of domains, including those featuring actions with indirect effects, actions with non-deterministic effects, concurrent actions, and continuous change. Introduction...}, author = {Shanahan, Murray}, citeulike-article-id = {349698}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.3267}, journal = {Lecture Notes in Computer Science}, keywords = {ai, circumscription, depth, event\_calculus, frame\_problem, logic, narratives, reasoning\_about\_action}, pages = {409--??}, posted-at = {2005-10-13 06:59:17}, priority = {0}, title = {The Event Calculus Explained}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.3267}, volume = {1600}, year = {1999} }

TY - JOUR ID - shanahan99event L3 - citeulike-article-id:349698 N2 - This article presents the event calculus, a logic-based formalism for representing actions and their effects. A circumscriptive solution to the frame problem is deployed which reduces to monotonic predicate completion. Using a number of benchmark examples from the literature, the formalism is shown to apply to a variety of domains, including those featuring actions with indirect effects, actions with non-deterministic effects, concurrent actions, and continuous change. Introduction... JF - Lecture Notes in Computer Science EP - ?? TI - The Event Calculus Explained VL - 1600 SP - 409 KW - ai KW - circumscription KW - depth KW - event_calculus KW - frame_problem KW - logic KW - narratives KW - reasoning_about_action AU - Shanahan, Murray PY - 1999/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.3267 ER -