Books Online
Not logged in
- Login
Not Signed In
You are here: Skip Navigation Links

Frontiers in Artificial Intelligence and Applications
Volume 183, 2008
Formal Ontology in Information Systems - Proceedings of the Fifth International Conference (FOIS 2008)
Edited by Carola Eschenbach, Michael Grüninger
ISBN 978-1-58603-923-3

On the Syntax and Semantics of Effect Axioms 223 - 236


Abstract

Effect axioms constitute the cornerstone of formal theories of action in AI. They drive standard reasoning tasks, especially prediction. These tasks need not be coupled with actual acting; the reasoning agent is, thus, typically given an ex post acto narrative of what actions took place. An acting agent, however, has no access to such knowledge; it needs to face what we call the event categorization problem, and figure out what actions it did. Until this is achieved, effect axioms will be useless. A careful review of the literature on effect axioms reveals that their syntax, semantics, and ontological commitments are so deeply entrenched in the armchair reasoning about action paradigm, that they cannot be used in resolving the event categorization problem. By enriching the ontology of action theories, we propose a different approach for representing effects of actions that unifies the two views. The enriched ontology is independently motivated by linguistic concerns.


  Full Text PDF
Navigation
  Home
  Back
  Forward

Article
  Full Text PDF

$20.00 / € 15,00