Causal theories of action and change

Authors:
Norman McCain;Hudson Turner
Affiliations:
Department of Computer Sciences, University of Texas at Austin, TX;Department of Computer Sciences, University of Texas at Austin, TX
Venue:
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Year:
1997

Citing 8
Cited 80

Embracing causality in fault reasoning

Artificial Intelligence
Reasoning about action II: the qualification problem

Artificial Intelligence
Frames in the space of situations (research note)

Artificial Intelligence
Planning as satisfiability

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
A causal theory of ramifications and qualifications

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions

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

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

An action language based on causal explanation: preliminary report

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Alternative essences of intelligence

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
OBDD-based planning with real-valued variables in non-deterministic environments

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Introduction to logic-based artificial intelligence

Logic-based artificial intelligence
Getting to the airport: the oldest planning problem in AI

Logic-based artificial intelligence
Answer set programming and plan generation

Artificial Intelligence
Complexity results for structure-based causality

Artificial Intelligence
An A-Prolog Decision Support System for the Space Shuttle

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Representing Knowledge in A-Prolog

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Modal Formulation of McCain and Turner's Theory of Causal Reasoning

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Polynomial-Length Planning Spans the Polynomial Hierarchy

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Towards a Conditional Logic of Actions and Causation

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The USA-Advisor: A Case Study in Answer Set Programming

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Answer Set Planning (Abstract)

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Representing Transition Systems by Logic Programs

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Transformations of Logic Programs Related to Causality and Planning

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach

PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Wire Routing and Satisfiability Planning

CL '00 Proceedings of the First International Conference on Computational Logic
A Theory for Causal Reasoning

KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
A logic programming approach to knowledge-state planning, II: the DLVk system

Artificial Intelligence
SAT-based planning in complex domains: concurrency, constraints and nondeterminism

Artificial Intelligence - special issue on planning with uncertainty and incomplete information
A logic programming approach to knowledge-state planning: Semantics and complexity

ACM Transactions on Computational Logic (TOCL)
Complexity results for explanations in the structural-model approach

Artificial Intelligence
Diagnostic reasoning with A-Prolog

Theory and Practice of Logic Programming
Strong equivalence made easy: nested expressions and weight constraints

Theory and Practice of Logic Programming
Knowledge and the action description language 𝒜

Theory and Practice of Logic Programming
Nonmonotonic causal theories

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
An attempt to formalise a non-trivial benchmark problem in common sense reasoning

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
ASSAT: computing answer sets of a logic program by SAT solvers

Artificial Intelligence - Special issue on nonmonotonic reasoning
Conditional logic of actions and causation

Artificial Intelligence - Special issue on nonmonotonic reasoning
Abductive logic programs with penalization: semantics, complexity and implementation

Theory and Practice of Logic Programming
Causes and explanations in the structural-model approach: tractable cases

Artificial Intelligence
Loop formulas for circumscription

Artificial Intelligence
A causal approach to nonmonotonic reasoning

Artificial Intelligence
Deriving qualitative rules from neural networks – a case study for ozone forecasting

AI Communications
Inductive situation calculus

Artificial Intelligence
Default logic generalized and simplified

Annals of Mathematics and Artificial Intelligence
Loop formulas for circumscription

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
A modular action description language

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
The semantics of variables in action descriptions

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Answer set planning under action costs

Journal of Artificial Intelligence Research
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 program characterization of causal theories

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A new perspective on stable models

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
An extension to conformant planning using logic programming

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Cp-logic: A language of causal probabilistic events and its relation to logic programming

Theory and Practice of Logic Programming
A logic for causal reasoning

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Weak conditional logics of normality

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Causal theories of action: a computational core

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Causality and minimal change demystified

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
EPDL: a logic for causal reasoning

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Propositional argumentation and causal reasoning

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Loop formulas for circumscription

Artificial Intelligence
Causes and explanations in the structural-model approach: Tractable cases

Artificial Intelligence
A causal approach to nonmonotonic reasoning

Artificial Intelligence
The cog project: building a humanoid robot

Computation for metaphors, analogy, and agents
Review:

The Knowledge Engineering Review
A tool for ramification reasoning over temporal OWL knowledge bases

International Journal of Knowledge-based and Intelligent Engineering Systems
Translating first-order causal theories into answer set programming

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Logic programs with propositional connectives and aggregates

ACM Transactions on Computational Logic (TOCL)
Causal reasoning for planning and coordination of multiple housekeeping robots

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
A dynamic logic of institutional actions

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Causes and explanations in the structural-model approach

UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints

Journal of Computer and System Sciences
An approximation of action theories of AL and its application to conformant planning

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Game-theoretic reasoning about actions in nonmonotonic causal theories

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Representing causal information about a probabilistic process

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Probabilistic reasoning about actions in nonmonotonic causal theories

UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Structure-based causes and explanations in the independent choice logic

UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
The ramification problem in temporal databases: an approach with conflicting constraints

Journal of Intelligent Information Systems
To vladimir lifschitz on his 65th birthday

Correct Reasoning
Causal logic programming

Correct Reasoning
Applications of action languages in cognitive robotics

Correct Reasoning
From turner's logic of universal causation to the logic of GK

Correct Reasoning
Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution

Intelligent Service Robotics
Modeling actions based on a situative space model for recognizing human activities

AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
Propositional Update Operators Based on Formula/Literal Dependence

ACM Transactions on Computational Logic (TOCL)
Action language BC: preliminary report

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Handling open knowledge for service robots

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

For many commonsense reasoning tasks associated with action domains, only a relatively simple kind of causal knowledge (previously studied by Geffner and Lin) is required. We define a mathematically simple language for expressing knowledge of this kind and describe a general approach to formalizing action domains in it. The language can be used to express ramification and qualification constraints, explicit definitions, concurrency, nondeterminism, and dynamic domains in which things change by themselves.