Belief Revision by Lamarckian Evolution

We propose a multi-agent genetic algorithm to accomplish belief revision. The algorithm implements a new evolutionary strategy resulting from a combination of Darwinian and Lamarckian approaches. Besides encompassing the Darwinian operators of selection, mutation and crossover, it comprises a Lamarckian operator that mutates the genes in a chromosome that code for the believed assumptions. These self mutations are performed as a consequence of the chromosome phenotype's experience obtained while solving a belief revision problem. They are directed by a belief revision procedure which relies on tracing the logical derivations leading to inconsistency of belief, so as to remove the latter's support on the gene coded assumptions, by mutating the genes.

[1]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[2]  José Júlio Alferes,et al.  Well Founded Semantics for Logic Programs with Explicit Negation , 1992, ECAI.

[3]  William E. Hart,et al.  Optimization with genetic algorithm hybrids that use local searches , 1996 .

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

[5]  S. Hansson.  Belief base dynamics , 1991 .

[6]  Thomas G. Dietterich.  Approximate Statistical Tests for Comparing Supervised Classification Learning Algorithms , 1998, Neural Computation.

[7]  John J. Grefenstette,et al.  A Coevolutionary Approach to Learning Sequential Decision Rules , 1995, ICGA.

[8]  Paolo Giorgini,et al.  Revising Beliefs Received from Multiple Sources , 2001 .

[9]  Rino Falcone,et al.  Bayesian Cognitive Diagnosis in Believable Multiagent Systems , 2001 .

[10]  José Júlio Alferes,et al.  Diagnosis and Debugging as Contradiction Removal , 1993, LPNMR.

[11]  J. Baldwin.  A New Factor in Evolution , 1896, The American Naturalist.

[12]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[13]  Luís Moniz Pereira,et al.  REVISE: Logic Programming and Diagnosis , 1997, LPNMR.

[14]  José Júlio Alferes,et al.  Reasoning with Logic Programming , 1996, Lecture Notes in Computer Science.

[15]  John J. Grefenstette,et al.  Lamarckian Learning in Multi-Agent Environments , 1991, ICGA.

[16]  Kay Chen Tan,et al.  Global Structure Evolution and Local Parameter Learning for Control System Model Reductions , 1997 .

[17]  Erick Cantú-Paz,et al.  A Survey of Parallel Genetic Algorithms , 2000 .

[18]  André Fuhrmann,et al.  The Logic of Theory Change , 1991, Lecture Notes in Computer Science.

[19]  Kenneth A. De Jong,et al.  A Cooperative Coevolutionary Approach to Function Optimization , 1994, PPSN.

[20]  Yun Li,et al.  Model reduction in control systems by means of global structure evolution and local parameter learning , 1997 .