Sisteme expert * Test II * 10 decembrie 2013

1. Formalizat i urm atoarea armat ie, construind predicatele necesare: Orice om independent si care are simt de r aspundere are o mam a perseverent a si un tat a harnic. R. Armat ia din enunt este de fapt o interpretare a formulei c autate, in care variabilele parcurg universul discursului X =mult imea oamenilor, si in care propriet a tile si relat iile sunt realizate de predicatele: i(x) = x este independent; r(x) = x are simt de r aspundere; p(x) = x este perseverent; h(x) = x este harnic; t(x, y ) = tat al lui x este y ; m(x, y ) = mama lui x este y . Atunci amat ia se formalizeaz a astfel: = x[i(x) r(x)] {[y (m(x, y ) p(y )] [z (t(x, z ) h(z )]}. 2. Obt inet i forma normalizat a Prenex pentru formula: = [x(p(x) q (x))] [(xp(x)) (xq (x))]. R. Formula se rescrie succesiv, aplic and pa sii algoritmului care determin a forma normalizat a Prenex: = [x(p(x) q (x))] [(xp(x)) (xq (x))] = [x(p(x) q (x))] [(xp(x)) (xq (x))] = [x( p(x) q (x))] [(yp(y )) (zq (z ))] = xy z [( p(x) q (x)) p(y ) q (z )]. 3. Construit i n domeniul literar interpret ari care falsic a si interpret ari care valideaz a formulele: 1 = xp(x) xq (x) 2 = x[( p(x) q (x) ). R. Construim dou a interpret ari Iy si In , construite pe mult imea X =mult imea scriitorilor consacrat i, care valideaz a, respectiv falsic a formulele date. Iy : In : p(x) = x este romancier q (x) = x este poet p(x) = x are cel put in o lucrare publicat a q (x) = p (x) = x nu are nici o lucrare publicat a.

Observ am c a, renot and a doua variabil a legat a din formula 1 , aceasta se rescrie 1 = xp(x) yq (y ). Obt inem: 1y = exist a un romancier x consacrat si exist a un poet y consacrat. Armat ia este adev arat a: pentru x0 = Mihail Sadoveanu X si pentru y0 = Mihail Eminescu X , ambele formule nchise xp(x) si yq (y ) sunt adev arate (Sadoveanu este un exemplu de romancier consacrat iar Eminescu este un exemplu de poet I consacrat), deci 1y = 1 1 = 1.
I

In 1 = exist a un scriitor consacrat care are cel put in o lucrare publicat a si exist a un scriitor consacrat care nu are nici o lucrare publicat a. Se observ a c a prima armat ie din conjunct ie (formula xp(x)=exist a un scriitor consacrat care are cel put in o lucrare publicat a) este adev arat a. Pe de alt a parte, a doua armat ie (formula yq (y )=exist a un scriitor consacrat care nu are lucr ari publicate) este fals a. Intr-adev ar, se presupune c a orice scriitor consacrat are cel put in o lucrare publicat a, deci yp(y ) = 1 yp(y ) = 0 yq (y ) = 0. In Atunci 1 = 1 0 = 0.

De asemenea, pentru formula 2 obt inem: 2y = exist a un scriitor consacrat care este romancier si poet. Armat ia este adev arat a: pentru x0 = Rudyard Kipling X , ambele armat ii p(x0 ) si q (x0 ) (deci si conjunct ia lor) sunt adev arate, si deci I 2y = 1.
In 2 = exist a un scriitor consacrat care are cel put in o lucrare publicat a dar n acela si timp nu a publicat nimic. Se observ a c a pentru orice x X , armat iile p(x) si q (x) au valori de adev ar opuse (prima este adev arat a iar a doua este fals a), deci conjunct ia lor este fals a. Deci un asemenea scriitor consacrat nu In exist a, armat ia 2 este fals a si prin urmare, 2 = 0. I