Dual Choice and Iteration in an Abstract Algebra of Action |
| |
Authors: | Kim Solin |
| |
Institution: | 1. Dept. of Philosophy, Uppsala University, P.O. Box 627, Uppsala, Sweden
|
| |
Abstract: | This paper presents an abstract-algebraic formulation of action facilitating reasoning about two opposing agents. Two dual nondeterministic choice operators are formulated abstract-algebraically: angelic (or user) choice and demonic (or system) choice. Iteration operators are also defined. As an application, Hoare-style correctness rules are established by means of the algebra. A negation operator is also discussed. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|