Output details
11 - Computer Science and Informatics
University of Edinburgh
Output title
Cartesian Situations and Knowledge Decomposition in the Situation Calculus
Type
E - Conference contribution
DOI
-
Name of conference/published proceedings
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-2008)
Volume number
-
Issue number
-
First page of article
629
ISSN of proceedings
-
Year of publication
2008
Number of additional authors
0
Additional information
<22> Originality: The first paper to formally define the notion of a Cartesian situation and its properties in the situation calculus, and to identify classes of theories that preserve these properties through action.
Significance: Provides the theoretical basis for a more tractable reasoning method, compared with standard accounts of knowledge and action in the situation calculus, with applications to related techniques in knowledge representation, cognitive robotics, and automated planning.
Rigour: A logical characterisation with formal proofs of key properties is provided. Published at the top international conference on knowledge representation and reasoning.
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Institute for Language, Cognition & Computation
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
