Proceedings of Workshop on Validation and Verification of Knowledge Based Systems pages:1-10
Workshop on Validation and Verification of Knowledge Based Systems location:Trento, Italy
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 behaviors of the software (e.g. input and outputs). Using inductive logic programming, partial 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.