Title: Inductive verification and validation of multi agents systems
Authors: Jacobs, Nico
Driessens, Kurt
De Raedt, Luc #
Issue Date: 1998
Host Document: Proceedings of Workshop on Validation and Verification of Knowledge Based Systems pages:1-10
Conference: Workshop on Validation and Verification of Knowledge Based Systems location:Trento, Italy
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 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.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:
File Status SizeFormat
1998_ewvv_jacobs.pdf Submitted 385KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.