Towards a conditional logic of actions and causation
نویسندگان
چکیده
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implication. This makes it possible to formalize in a uniform way causal dependencies between actions and their immediate and indirect effects. Furthermore, this new approach provides a natural formalization of concurrent actions and causal dependencies between actions. An abductive semantics is adopted for dealing with the frame problem.
منابع مشابه
Conditional logic of actions and causation
In this paper we present a new approach to reasoning about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implication. This makes it possible to formalize in a uniform way causal dependencies between actions and their immediate and indirect effects. The proposed approach also provides a natural formalization of concurrent action...
متن کاملA Critical Examination of Ibn-Sina’s Theory of the Conditional Syllogism
This paper will examine Ibn Sina’s theory of the Conditional Syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later Islamic tradition. As a preliminary discussion, this paper briefly examines I...
متن کاملOn the Intended Interpretations of Actions
In this paper we address the problem of commonsense reasoning about action by appealing to Occam’s razor—we should accept the simplest hypothesis explaining the observed phenomena—to generalise the commonsense law of inertia. In particular, we identify the intended interpretation of an action as the simplest transformation induced by an action on a world to produce a possible successor. We form...
متن کاملProbabilities, Causation, and Logic Programming in Conditional Reasoning: Reply to Stenning and Van Lambalgen
Oaksford and Chater (2014) critiqued the logic programming (LP) approach to nonmonotonicity and proposed that a Bayesian probabilistic approach to conditional reasoning provided a more empirically adequate theory. The current paper is a reply to Stenning and van Lambalgen’s (in press) rejoinder to this earlier paper. It is argued that causation is basic in human cognition and that explaining ho...
متن کاملThe concept of logic entropy on D-posets
In this paper, a new invariant called {it logic entropy} for dynamical systems on a D-poset is introduced. Also, the {it conditional logical entropy} is defined and then some of its properties are studied. The invariance of the {it logic entropy} of a system under isomorphism is proved. At the end, the notion of an $ m $-generator of a dynamical system is introduced and a version of the Kolm...
متن کامل