Title: Using ILP systems for verification and validation of multi agent systems
Authors: Jacobs, Nico
Driessens, Kurt
De Raedt, Luc #
Issue Date: 1998
Publisher: Springer
Host Document: Lecture notes in computer science vol:1446 pages:145-154
Conference: Inductive Logic Programming edition:8 location:Madison, Wisconsin, USA date:22-24 July 1998
Abstract: Most applications of inductive logic programming focus on prediction or the discovery of new knowledge. We describe a less common application of ILP namely verification and validation of knowledge based systems and multi-agent systems. Using inductive logic programming, partial declarative specifications of the software can be induced from the behaviour of the software. 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.
ISBN: 978-3-540-64738-6
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:
File Status SizeFormat
1998_ilp_jacobs.pdf Published 164KbAdobe PDFView/Open


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