- Abstract:
-
Giving an account of agents acting in the world sensing, planning, communicating, doing requires a coordinated account of, at least, three different kinds of action: ontic, epistemic, and communicative, which focus, respectively, on fact, knowledge and communication.
In this note we are concerned primarily with ontic actions. The motivating example is the STRIPS approach to the frame problem, where actions are restricted to change only specified fluents.
We present an algebraic setting for ontic actions modeled as relations describing controlled state change. We start from a standard model that encodes STRIPS updates to address the frame problem in logical terms. This model is a system, in the sense of Resende and Baltag.
We describe a structure that introduces a notion of local perspective or experiment. This provides a novel treatment of causal relations (which are closely related to integrity constraints and domain axioms in the AI-planning literature).
We show how this local structure reflects the semantic structure of the set of possible states, and suggest that it may also help in modeling agents with different perspectives.
- Copyright:
- 2007 by Michael P. Fourman and the University of Edinburgh. All Rights Reserved
- Links To Paper
- No links available
- Bibtex format
- @InProceedings{EDI-INF-RR-1138,
- author = {
Michael Fourman
},
- title = {Local Perspectives on Action},
- book title = {A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007},
- publisher = {College Publications, London},
- year = 2007,
- month = {Aug},
- pages = {145-157},
- }
|
