Loading...
Please wait, while we are loading the content...
Similar Documents
Using ILP-systems for Verification and Validation of Multi-Agent Systems (1998)
| Content Provider | CiteSeerX |
|---|---|
| Author | Kurt, Nico Jacobs Driessens, Kurt Raedt, Luc De |
| Description | . 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 behavior 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. 1 |
| File Format | |
| Language | English |
| Publisher | Springer-Verlag |
| Publisher Date | 1998-01-01 |
| Publisher Institution | In ILP ’98: Proceedings of the 8th International Workshop on Inductive Logic Programming |
| Access Restriction | Open |
| Subject Keyword | Turn Result Multi-agent System Robocup Domain Inductive Logic Programming Focus Partial Declarative Specification Inductive Logic Programming New Knowledge Common Application |
| Content Type | Text |
| Resource Type | Article |
