Inductive verification and validation of multi agents systems

Nico Jacobs, Kurt Driessens, and Luc De Raedt. In Workshop on Validation and Verification of Knowledge Based Systems, pages 10--18, August 1998.

Abstract

Most verification and validation (V\&V) methods employ deductive reasoning to verify whether an implementation is in agreement with a specification. We present a novel approach to verification and validation of complex systems that is based on inductive reasoning. Induction allows to derive general rules from specific behaviours of the software (e.g. the inputs and outputs). Using inductive logic programming, partial \em declarative specifications of the software can be induced. These rules can be readily interpreted by the designers or users of the software, and can in turn result in changes to the software. The approach outlined was tested in the domain of multi-agent systems, more in particular, the RoboCup domain.

BibTeX entry.

Other publications

N Jacobs, nico@cs.kuleuven.ac.be,

K Driessens, kurtd@cs.kuleuven.ac.be,