Decidability of stit theory with a single agent and Refref equivalence (Q1327485)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decidability of stit theory with a single agent and Refref equivalence |
scientific article |
Statements
Decidability of stit theory with a single agent and Refref equivalence (English)
0 references
12 December 1994
0 references
The paper provides an axiomatisation for the stit theory of \textit{N. Belnap} and \textit{M. Perloff} [``Seeing to it that: a canonical form for agentives'', in: H. E. Kyburg jun., R. P. Loui and G. N. Carlson (eds.), Knowledge representation and defeasible reasoning (1990; Zbl 0743.68024)]. The axiomatisation includes the Refref principle (refraining from refraining is the same as doing). The theory is shown to have the finite model property with respect to the class of models in which there are no busy choice sequences (infinitely many non-vacuous choices in a finite time). The completeness of the axiomatisation with respect to this class of models, and the decidability of the theory, follow in the usual way.
0 references
stit theory
0 references
Refref principle
0 references
busy choice sequences
0 references
axiomatisation
0 references
decidability
0 references