Algoritmi genetici pentru rezolvarea problemelor prin - Sorin ...

[galbena, verde]), distanta(x1, x2, [2, 3, 4]), mai_mare(x1,x2) si inalt(x1) este definita
de expresiile:
membru( culoare(x1), K );
membru( | pozitie(x1)–pozitie(x2) |, K );
marime(x1)>marime(x2);
inaltime(x1)>6.
Atunci, predicatul culoare(x1, [galbena, verde]) va fi adevarat cand
variabila x1 va fi legata de obiectul o2 si va fi fals pentru orice alta alegere a
legaturii (termenul K este legat la [galbena, verde]). Asemanator, distanta(x1, x2,
[2, 3, 4]) este adevarat doar cand x1 este legat de o3 si x2 de o1 (termenul K este
legat la [2, 3, 4]), mai_mare(x1, x2) este adevarat pentru trei alegeri ale legaturilor
,, si inalt(x1) este mereu fals.
In cele ce urmeaza se va prezenta modul in care descrierea conceptelor in
limbajul L poate fi reprezentata pe un sir de biti de lungime fixa.
5.1. Ajustarea procesului de inductie folosind sabloane de limbaj
Totii algoritmii de invatare folosesc intr-un fel sau altul constrangeri, fie
ele implicite sau explicite. O metoda larg raspandita in sisteme care integreaza
inductia si deductia in structuri bazate pe logica predicatelor de ordinul I consta
in folosirea unor constructii metasemantice pentru definirea unui set de formule
admisibile ce urmeaza a fi explorate. Algoritmul propus limiteaza spatiul
ipotezelor folosind un sablon de limbaj. Neformal, un sablon de limbaj este o
formula Λ apartinand limbajului L, astfel incat fiecare descriere de concept
conjunctiva admisibila poate fi obtinuta din Λ prin stergerea unor constante din
disjunctiile interne care apar in ea.
Inainte de a da o definitie formala a lui Λ, sa reamintim cateva notiuni
logice introduse mai sus, pentru a defini conceptul de forma completa pentru un
termen disjunctiv si pentru un predicat. Dandu-se o formula ϕ(x1, x2,.., xn), a
evalua valoarea de adevar a formulei intr-un univers U inseamna sa se caute o
legatura intre variabilele x1, x2,.., xn si niste constante a1, a2,.., an, definite in U,
astfel incat ϕ(a1, a2,.., an) sa fie adevarat. De notat faptul ca in invatarea
supervizata a conceptelor fiecare instanta de invatare constituie un univers
specific. Putem da urmatoarea definitie:
14