Collaborative Inductive Logic Programming for Path Planning

In distributed systems, learning does not necessarily involve the participation of agents directly in the inductive process itself. Instead, many systems frequently employ multiple instances of induction separately. In this paper, we develop and evaluate a new approach for learning in distributed systems that tightly integrates processes of induction between agents, based on inductive logic programming techniques. The paper's main contribution is the integration of an epistemic approach to reasoning about knowledge with inverse entailment during induction. The new approach facilitates a systematic approach to the sharing of knowledge and invention of predicates only when required. We illustrate the approach using the well-known path planning problem and compare results empirically to (multiple instances of) single agent-based induction over varying distributions of data. Given a chosen path planning algorithm, our algorithm enables agents to combine their local knowledge in an effective way to avoid central control while significantly reducing communication costs.

[1]  Thomas G. Dietterich What is machine learning? , 2020, Archives of Disease in Childhood.

[2]  R. Lathe Phd by thesis , 1988, Nature.

[3]  Ashwin Srinivasan,et al.  Extracting Context-Sensitive Models in Inductive Logic Programming , 2001, Machine Learning.

[4]  Ronald Fagin,et al.  Knowledge-based programs , 1995, PODC '95.

[5]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[6]  Antonis C. Kakas,et al.  Computational Logic: Logic Programming and Beyond , 2002, Lecture Notes in Computer Science.

[7]  Koichi Furukawa,et al.  Special issue on inductive logic programming , 2009, New Generation Computing.

[8]  Manuela M. Veloso,et al.  Multiagent Systems: A Survey from a Machine Learning Perspective , 2000, Auton. Robots.

[9]  Jian Huang,et al.  Toward Inductive Logic Programming for Collaborative Problem Solving , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[10]  Winton Davies,et al.  ANIMALS - A Distributed, Heterogeneous Multi-Agent Machine Learning System , 1999 .

[11]  Daniel Kudenko,et al.  Machine Learning and Inductive Logic Programming for Multi-agent Systems , 2001, EASSS.

[12]  Ming Li,et al.  Inductive Reasoning and Kolmogorov Complexity , 1992, J. Comput. Syst. Sci..

[13]  Stephen Muggleton,et al.  Inverse entailment and progol , 1995, New Generation Computing.

[14]  Wiebe van der Hoek,et al.  Logical Foundations of Agent-Based Computing , 2001, EASSS.

[15]  Antonis C. Kakas,et al.  Abduction in Logic Programming , 2002, Computational Logic: Logic Programming and Beyond.

[16]  Jian Huang,et al.  Distributed Interactive Learning in Multi-Agent Systems , 2006, AAAI.

[17]  Nicolas Lachiche Abduction and Induction from a Non-Monotonic Reasoning Perspective , 2000 .

[18]  Michael Luck,et al.  Multi-Agent Systems and Applications , 2001, Lecture Notes in Computer Science.