Verification within the KARO agent theory. (English) Zbl 0988.68180
Rash, James L. (ed.) et al., Formal approaches to agent-based systems. 1st international workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 1871, 33-47 (2001).
Summary: This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agents. We concentrate on a core logic within this framework, in particular, we describe two new methods for providing proof methods for this core logic, discuss some of the problems we have encountered in their design, and present an extended example of the use of the KARO framework and the two proof methods.
For the entire collection see [Zbl 0978.00039].
For the entire collection see [Zbl 0978.00039].
MSC:
| 68T27 | Logic in artificial intelligence |
| 68Q60 | Specification and verification (program logics, model checking, etc.) |
