Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Artificial Intelligence
Exploiting constraints in design synthesis
Exploiting constraints in design synthesis
Embracing causality in fault reasoning
Artificial Intelligence
Reasoning about action II: the qualification problem
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
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
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Logic Programming Updating - A Guided Approach
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Dynamic Knowledge Representation and Its Applications
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Causal Propagation Semantics - A Study
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
A Trajectory Approach to Causality
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Specifying Active Rules for Database Maintenance
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Towards a Conditional Logic of Actions and Causation
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
LUPS - A Language for Updating Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
From Causal Theories to Logic Programs (Sometimes)
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Ramification in the Normative Method of Causality
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Consistency of Action Descriptions
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
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
Alternating Fixpoint Theory for Logic Programs with Priority
CL '00 Proceedings of the First International Conference on Computational Logic
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Reasoning about Actions in a Multiagent Domain
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Causal Simulation and Diagnosis of Dynamic Systems
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
The PMA and Relativizing Minimal Change for Action Update
Fundamenta Informaticae
Integrating Action Calculi and Description Logics
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Qualitative Spatial Scene Modeling for Ambient Intelligence Environments
ICIRA '08 Proceedings of the First International Conference on Intelligent Robotics and Applications: Part I
An Imperative Account of Actions
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Knowledge Qualification through Argumentation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Causal theories of action: a computational core
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
EPDL: a logic for causal reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Cohesion, coupling and the meta-theory of actions
IJCAI'05 Proceedings of the 19th international joint 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
Loop formulas for circumscription
Artificial Intelligence
A causal approach to nonmonotonic reasoning
Artificial Intelligence
Artificial Intelligence
Challenges for action theories
Challenges for action theories
The Knowledge Engineering Review
Representing actions and state constraints in model-based diagnosis
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A tool for ramification reasoning over temporal OWL knowledge bases
International Journal of Knowledge-based and Intelligent Engineering Systems
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Embracing causality in specifying the indeterminate effects of actions
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence
Artificial Intelligence
Approximation of action theories and its application to conformant planning
Artificial Intelligence
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and 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: a structural-model approach: part i: causes
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
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
Representing action domains with numeric-valued fluents
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Reasoning about actions using description logics with general TBoxes
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A causal perspective to qualitative spatial reasoning in the situation calculus
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Induction of the indirect effects of actions by monotonic methods
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Correct Reasoning
Extending action language C+ by formalizing composite actions
Correct Reasoning
From turner's logic of universal causation to the logic of GK
Correct Reasoning
The PMA and Relativizing Minimal Change for Action Update
Fundamenta Informaticae
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
This paper considers the problem of specifying the effects of actions in the situation calculus using domain constraints. We argue that normal state constraints that refer to only the truth values of fluents are not strong enough for this purpose, and that a notion of causation needs to be employed explicitly. Technically, we introduce a new ternary predicate Caused into the situation calculus: Caused (p,v,s) if the proposition p is caused (by something unspecified) to have the truth value v in the state s. Using this predicate, we can represent not only action-triggered causal statements such as that the action load causes the gun to be loaded, but also fluent-triggered ones such as that the fact that the switch is in the up position causes the lamp to be on. The former is convenient for representing the direct effects of actions, and the latter the indirect effects.