
(Kismet, un robot cu abilități sociale rudimentare. )
Inteligența artificială (IA) este disciplina informaticii dedicată dezvoltării de programe care permit computerelor să afișeze comportamente care pot fi (în linii mari) caracterizate ca inteligente. Obiectivul pe termen lung este de a construi agenți în general inteligenți, autonomi.
IA a atras asupra atenția multor metodologii de cercetare, prin dezbateri asupra valorii și importanței formalismelor logice. Logica are un rol important în IA, cu conexiuni în logica filosofică.
Informatica în sine a evoluat din logică și matematică. Teoriile logice din IA sunt independente de implementări. Acestea pot fi utilizate pentru a oferi perspective asupra problemei raționamentului fără a informa direct despre implementare. Robert C. Moore distinge trei utilizări ale logicii în AI; ca instrument de analiză, ca bază pentru reprezentarea cunoașterii și ca limbaj de programare.
Un subdomeniu al IA, cunoscut sub numele de reprezentare a cunoașterii, a apărut în anii 1980. Reprezentarea cunoașterii se referă în primul rând la provocările reprezentării și raționamentului acestei componente separate.
Rudolf Carnap a încercat să clarifice analizele intensionale ale sensului lingvistic și să justifice din punct de vedere metodologic, imaginând modul în care analiza ar putea fi aplicată utilizării lingvistice a unui robot ipotetic. A sperat că dacă ne-am putea imagina structura internă a robotului am putea să facem ca știința empirică a semanticii să fie mai plauzibilă. Această speranță sa dovedit a fi nejustificată; această problemă filosofică rămâne controversată până în ziua de azi și experimentele de gândire cu roboții nu s-au dovedit a fi prea utile. Dar roboții reali oferă un laborator revoluționar pentru logică
Cea mai influentă figură în IA logică este John McCarthy. McCarthy a fost unul dintre fondatorii IA și a susținut în mod constant o metodologie de cercetare care utilizează tehnici logice pentru a formaliza problemele de raționament pe care IA trebuie să le rezolve.
Teoriile actuale rezultate din metodologia lui McCarthy sunt influențate cel mai puternic de logica filosofică, iar tradiția de cercetare în AI logică reprezintă o dezvoltare mai mult sau mai puțin directă a acestui domeniu.
Lasă un răspuns