In C. Rouff, M. Hinchey, J. Rash, W. Truszkowski, and D. Gordon-Spears,
editors,
Agent Technology from a Formal Perspective,
NASA Monographs in Systems and Software Engineering Series,
Springer.
BiBTeX,
PDF.
This chapter 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: 11 Jan 06
Copyright © 2005-6
Renate A. Schmidt,
School of Computer Science, Man Univ, schmidt@cs.man.ac.uk