Explicitly biased generalization
Computational Intelligence
Genetic programming: on the programming of computers by means of natural selection
Genetic programming: on the programming of computers by means of natural selection
Sub-unification: a tool for efficient induction of recursive programs
ML92 Proceedings of the ninth international workshop on Machine learning
Interactive Concept-Learning and Constructive Induction by Analogy
Machine Learning
SLX—a top-down derivation procedure for programs with explicit negation
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Strategies in Combined Learning via Logic Programs
Machine Learning - Special issue on multistrategy learning
Reasoning with Logic Programming
Reasoning with Logic Programming
Inductive Logic Programming: Techniques and Applications
Inductive Logic Programming: Techniques and Applications
Learning Logical Definitions from Relations
Machine Learning
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Default Negated Conclusions: Why Not?
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Belief revision via Lamarckian evolution
New Generation Computing
Towards friendly concept-learners
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Learning extended logic programs
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Induction of concepts in the predicate calculus
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Approved models for normal logic programs
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Revised stable models – a semantics for logic programs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Hi-index | 0.00 |
Using explicit affirmation and explicit negation, whilst allowing for a third logic value of undefinedness, can be useful in situations where decisions have to be taken on the basis of scarce, ambiguous, or downright contradictory information. In a three-valued setting, we consider an agent that learns a definition for both the target concept and its opposite, considering positive and negative examples as instances of two disjoint classes. Explicit negation is used to represent the opposite concept, while default negation is used to ensure consistency and to handle exceptions to general rules. Exceptions are represented by examples covered by the definition for a concept that belong to the training set for the opposite concept. One single agent exploring an environment may gather only so much information about it and that may not suffice to find the right explanations. In such case, a cooperative multi-agent strategy, where each agent explores a part of the environment and shares with the others its findings, might provide better results. We describe one such framework based on a distributed genetic algorithm enhanced by a Lamarckian operator for belief revision. The agents communicate their candidate explanations -- coded as chromosomes of beliefs -- by sharing them in a common pool. Another way of interpreting this communication is in the context of argumentation. In the process of taking all the arguments and trying to find a common ground or consensus we might have to change, or review, some of assumptions of each argument. The resulting framework we present is a collaborative perspective of argumentation where arguments are put together at work in order to find the possible 2-valued consensus of opposing positions of learnt concepts in an evolutionary pool in order to find the "best" explanation to the observations.