Loading...
Please wait, while we are loading the content...
Similar Documents
Marek A. Bednarczyk Explicit Substitution into Action a Non-monotone Logic for Reasoning about Actions and Change Nr 942
| Content Provider | Semantic Scholar |
|---|---|
| Author | Bednarczyk, Marek A. |
| Copyright Year | 2002 |
| Abstract | A logic LP σ for reasoning about change is presented. The logic, an extension of the logic of predicates with equalitu, is based on the idea that explicit substitutions can be seen as atomic formulae describing basic change of the state of a system. The logic is substructural: non-monotone and non-commutative. Its Platonic, i.e., predicate part is governed by the additive connectives, while the identity substitution and the composition of substitutions are multiplicative truth and conjunction, respectively. Potential applications of the logic are also discussed in connection to the “Frame Problem”. In particular, a logical framework is presented in which the judgments relate actions with their effects—the latter described by formulae of LP σ . |
| File Format | PDF HTM / HTML |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
