SCSC2003 Abstract S11504
Specifying and Simulation of Reactive Knowledge Based Systems
Specifying and Simulation of Reactive Knowledge Based Systems
Submitting Author: Prof. Claudia Frydman
Abstract:
Methodologies for specifying and designing knowledge based systems obviously cover both structural and behavioral aspects of the system. However, they can only be used for transformational systems, whose behavior can always be described by sequencing autonomous tasks.
We provide the experts with a language for describing knowledge based system behavior, which is suitable for reactive systems too. This language integrates concepts for representing explicitly time and for describing the reactions of the system to extern events.
We show how the behavioral description expressed with this language can be automatically translated in a well-known discrete event specification formalism that makes possible the specification to be validated by simulation.
Keys words
Common-KADS, DEVS
Back to SCSC2003 Abstracts