Logica si inteligenta artificiala

CUVANT INAINTE

Dezvoltarea si implementarea noilor tehnologii deschide aria de aplicabilitate a inteligentei artificiale in diverse domenii, dintre care deosebit de important este contextul mecatronicii si roboticii care presupune integrarea sinergetica a acestei capabilitati in dezvoltarea de noi sisteme si produse tehnice si tehnologice de mare complexitate, cu determinarea cadrului integrat al inteligentei artificiale mecatronice si robotice (IAMR).

Din aceasta perspectiva, cartea propune o serie de cercetari aplicative privind aspecte specifice ale inteligentei artificiale orientate spre rationamentul logic.

In acest sens au fost analizate formalizarea si dezvoltarea limbajelor simbolice logice, consecintele logice in perceptie, dezvoltarea si extinderea sferelor de cunoastere, precum si mecanismele logice de rationare pentru entitatile de inteligenta artificiala si a celor de inteligenta artificiala mecatronica si robotica (EIA / EIAMR), intr-un cadru aplicativ orientat pe proiectare, urmarindu-se crearea unei viziuni de principiu a dezvoltarii si simularii inteligentei artificiale. Se constituie astfel un fundament pentru cercetari ulterioare in domeniile software si hardware conexe.

Prin problematica tratata, lucrarea se adreseaza mediilor de proiectare, cercetare si dezvoltare in inteligenta artificiala, mecatronica si robotica, precum si domeniului universitar tehnic si tehnologic.

CUPRINS

Contents IX

1. Proiectarea multimilor de definitie in dezvoltarea entitatilor de inteligenta artificiala (EIA) 1

2. Temporalitate in proiectarea multimilor de definitie 7

3. Proiectarea universurilor si subuniversurilor prin relationari spatiale intre obiecte 11

4. Analiza regulilor stratificate pe baza intelegerii prin adevar 19
4.1. Analiza semantica regulilor 20
4.2. Analiza regulii K prin rezolutie 28

5. Utilizarea regulilor logice implicative in inteligenta artificiala 31

6. Consecintele perceptiei si informatiei in inteligenta artificiala. Contextul logicii propozitiilor 37
6.1. Analiza posibilitatilor de actiune in contextul consecintelor logice 41
6.2. Determinarea si analiza posibilitatilor de actiune prin inferenta si rationare in logica propozitiilor 43
6.2.1. Identificarea posibilitatilor de actiune prin metoda rezolutiei 44
6.2.2. Identificarea posibilitatilor de actiune prin argumentatie logica 45
6.2.3. Identificarea posibilitatilor de actiune prin deducere cu reguli de productie 46

7. Consecintele perceptiei si informatiei in contextul logicii predicatelor 47
7.1. Identificarea posibilitatilor de actiune prin metoda rezolutiei 51
7.2. Identificarea posibilitatilor de actiune prin argumentatie logica 52
7.3. Identificarea posibilitatilor de actiune prin deducere cu reguli de productie 54
7.4. Aspecte specifice privind cunoasterea si inferenta in logica predicatelor 55

8. Robot asistent pentru livrare de piese intr-o incinta de lucru 59
8.1. Elementele fundamentale ale reprezentarii contextului de lucru 60
8.2. Proiectarea sferei de cunoastere nucleu a robotului asistent pentru livrare de piese 65
8.3. Procesul de rationare al robotului asistent pentru livrare de piese 67
9. Invatarea reflexiva in contextul unui mediu flexibil de fabricatie 99

9.1. Procesul de invatare reflexiva pentru +?cerere(W) 105
9.2. Procesul de invatare reflexiva pentru transfer 110
9.3. Procesul de invatare reflexiva pentru depunere 122

10. Planificarea prin rezolutie. Testarea si dezvoltarea sferei de cunoastere 131
10.1. Rezolvare solicitare H1 137
10.2. Rezolvare solicitare H2 140
10.3. Rezolvare solicitare H3 146
10.4. Testarea flexibilitatii sferei de cunoastere nucleu 151
10.5. Dezvoltarea flexibilitatii EIAMR asupra obiectelor mediului 155

Bibliografie 163

DESPRE AUTOARE

Prof. univ. dr. ing. Ioana Armas, absolventa a Universitatii Politehnica din Bucuresti, Facultatea de Mecanica, sectia de Mecanica fina. Doctor in stiinte tehnice, specialitatea Fiabilitate, cu teza „Fiabilitatea sistemelor mecatronice”. Este cadru didactic la Facultatea de Electronica, Automatica si Informatica Aplicata a Universitatii Hyperion din Bucuresti.

Principalele domenii de cercetare, in care a publicat numeroase carti, articole si comunicari stiintifice la conferinte nationale si internationale, sunt: fiabilitatea, mecatronica si robotica.

Prof. univ. dr. ing. Ioana Armas a fost distinsa de catre Academia de Stiinte Tehnice din Romania cu premiul A.S.T.R. 2022 „Gheorghe Manea”, pentru lucrarea „Modelarea sistemelor cu aplicatii in mecatronica”, publicata la Editura A.G.I.R. in anul 2020.