Embracing causality in specifying the indeterminate effects of actions

Authors:
Fangzhen Lin
Affiliations:
Department of Computer Science, University of Toronto, Toronto, Canada
Venue:
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Year:
1996

Citing 4
Cited 17

The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Computing circumscription

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Embracing causality in specifying the indirect effects of actions

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Reasoning about actions: non-deterministic effects, constraints, and qualification

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

Complexity results for structure-based causality

Artificial Intelligence
Reasoning about actions in a probabilistic setting

Eighteenth national conference on Artificial intelligence
Nonmonotonic causal theories

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
A causal approach to nonmonotonic reasoning

Artificial Intelligence
Metatheory of actions: Beyond consistency

Artificial Intelligence
Integrating description logics and action formalisms: first results

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Reasoning by regression: pre-and postdiction procedures for logics of action and change with nondeterminism

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Reasoning with incomplete initial information and nondeterminism in situation calculus

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Compiling causal theories to successor state axioms and STRIPS-like systems

Journal of Artificial Intelligence Research
Reasoning about action: an argumentation-theoretic approach

Journal of Artificial Intelligence Research
A logic for causal reasoning

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A unifying action calculus

Artificial Intelligence
Foundations of instance level updates in expressive description logics

Artificial Intelligence
Executability in the situation calculus

AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
A core ontology on events for representing occurrences in the real world

Multimedia Tools and Applications
The PMA and Relativizing Minimal Change for Action Update

Fundamenta Informaticae
A classification of first-order progressable action theories in situation calculus

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper makes the following two contributions to formal theories of actions: Showing that a causal minimization framework can be used effectively to specify the effects of indeterminate actions; and showing that for certain classes of such actions, regression, an effective computational mechanism, can be used to reason about them.