In most research on reasoning about actions and reasoning about narratives one either reasons about hypothetical execution of actions, or about actions that actually occurred. In this paper we first develop a high level language that allows the expression of intended or planned action sequences. Unlike observed action occurrences, planned or intended action occurrences may not actually take pla...

In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permits the representation of concurrent activity. Suppose we have a set of abstract actions defined by Horn clauses from a set of basic actions. Let us assume that an abstract action ψ has occurred, and ask whether a given ...

We analyse the philosopher Davidson’s semantics of actions, using a strongly typed logic with contexts given by sets of partial equations between the outcomes of actions. This provides a perspicuous and elegant treatment of reasoning about action, analogous to Reiter’s work on artificial intelligence. We define a sequent calculus for this logic, prove cut elimination, and give a semantics based...

Action Theories are versatile and well-studied knowledge representation formalisms for modelling dynamic domains. However, traditional action theories allow only the specification of definite world knowledge, that is, universal rules for which there are no exceptions. When modelling a complex domain for which no complete knowledge can be obtained, axiomatisers face an unpleasant choice: either ...

We consider a strategic situation in which each player may not know the probability distribution governing the information structures of his opponents, and consequently his beliefs about opponents' action choices are represented by a set of probability measures. Suppose that beliefs of all the players are common knowledge. Then for any subset of players, the marginal beliefs of those players (a...

I here present some doubts about whether Mandik's (2010) proposed intermediacy and recurrence constraints are necessary and sufficient for agentive experience. I also argue that in order to vindicate the conclusion that agentive experience is an exclusively perceptual phenomenon (Prinz, 2007), it is not enough to show that the predictions produced by forward models of planned motor actions are ...

This review examines dopamine (DA) and glutamate receptor interactions in the neostriatum (NS) primarily from a neurophysiological perspective. Historically, a clear understanding of the function of DA in the NS has been difficult because it was considered a classical neurotransmitter with either excitatory or inhibitory actions and because many of the data were obtained by use of varying metho...