Verification within the KARO Agent Theory

Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J.-J. and van der Hoek, W. (2001)

In Rash, J. L., Rouff, C. A., Truszkowski, W., Gordon, D. and Hinchey, M. G. (eds), Formal Approaches to Agent-Based Systems. Lecture Notes in Artificial Intelligence 1871, Springer, 33-47. BiBTeX. (Copyright © Springer).

This paper proposes two new methods for realising automated reasoning within agent-based systems. We concentrate on a core of the KARO framework, which is a specification framework for modelling intelligent agent behaviour. We discuss the advantages of each approach and suggest ways to extend each variant to cover more of the KARO framework.

Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 01 Mar 04
Copyright © 2000 Renate A. Schmidt, School of Computer Science, Man Univ,