Using ILP-Systems for Verification and Validation of Multi-agent Systems.
Nico JacobsKurt DriessensLuc De RaedtPublished in: ILP (1998)
Keyphrases
- multi agent systems
- inductive logic programming
- ilp systems
- relational learning
- background knowledge
- search space
- model checking
- accurate models
- logic programs
- first order logic
- relational data
- learning scheme
- rule learning
- statistical relational learning
- prior knowledge
- metaheuristic
- preprocessing
- machine learning systems
- knowledge base