06.03.2013 Views

Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

The restriction of hypotheses can be implemented by adding a conjunct<br />

to the previous hypothesis. The preferential ordering among the hypotheses<br />

can be made by a heuristic evaluation function that excludes some objects<br />

from the target concept. The hypothesis that is not supported by the excluded<br />

class is preferred to the hypothesis that is supported by it .<br />

The C<strong>and</strong>idate Elimination Algorithm<br />

The c<strong>and</strong>idate elimination algorithm is employed to reduce the concept<br />

(version) space from both general to specific <strong>and</strong> from specific to general<br />

form. It, thus, is a bi-directional search. Positive instances are used for<br />

generalization <strong>and</strong> negative instances are utilized to prevent the algorithm<br />

from over-generalization. The learned concept will, therefore, be general<br />

enough to include all positive instances <strong>and</strong> exclude all negative instances.<br />

We now present the procedure c<strong>and</strong>idate-elimination [5], [9].<br />

Procedure C<strong>and</strong>idate-Elimination<br />

Begin<br />

Initialize G to be the most general concept in the space;<br />

Initialize S to be the first positive training instance;<br />

For each new positive instance p do<br />

Begin<br />

Eliminate the members of G that do not match with p;<br />

for all s ∈ S, if s does not match with p, replace s with its most<br />

specific generalization that match with p;<br />

Eliminate from S any hypothesis that is more general than some<br />

other in S;<br />

Eliminate from S any hypothesis, which is no more specific than<br />

some hypothesis in G;<br />

End For ;<br />

For each negative instance n do<br />

Begin<br />

Eliminate all members of S that match with n;<br />

for each g ∈ G that matches with n, replace g by its most general<br />

specialization that does not match with n;<br />

Eliminate from G any hypothesis, which is more specific in some<br />

other hypothesis in G;<br />

Eliminate from G any hypothesis, which is more specific than<br />

some other hypothesis in S;<br />

End For<br />

If G=∅ <strong>and</strong> S=∅ Then report “no concept supports all positive <strong>and</strong><br />

refutes all negative instances”;

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!