STRONG AI

Dal laboratorio di Intelligenza Artificiale della Entheos  

L'ipotesi centrale delle scienze cognitive è che il pensiero può essere meglio compreso in termini di strutture rappresentazionali nella mente e di procedure computazionali che operano su tali strutture. La maggior parte del lavoro nelle scienze cognitive presuppone che la mente abbia rappresentazioni mentali analoghe alle strutture dati del computer e procedure computazionali simili agli algoritmi computazionali.
La ricerca principale sull'apprendimento automatico sulle reti neurali artificiali profonde può persino essere definita comportamentistica. Al contrario, varie fonti di evidenza provenienti dalle scienze cognitive suggeriscono che il cervello umano si impegna nello sviluppo attivo di modelli predittivi generativi compositivi a partire dalle loro esperienze sensomotorie autogenerate. Guidati da pregiudizi di apprendimento induttivo e di elaborazione delle informazioni di natura evoluzionistica, mostrano la tendenza a organizzare le esperienze raccolte in codifiche predittive degli eventi. Nel frattempo, deducono e ottimizzano il comportamento e l'attenzione per mezzo di pulsioni orientate sia all'epistemica che all'omeostasi.
La rappresentazione della conoscenza, fortemente connessa al problema dell'elaborazione della conoscenza, del ragionamento e del "trarre inferenze", è uno degli argomenti principali dell'intelligenza artificiale. Rivedendo le tecniche di rappresentazione della conoscenza utilizzate dagli esseri umani saremo consapevoli dell'importanza del linguaggio. La parte predominante dell'industria IT e delle applicazioni utente si basa su alcuni sottolinguaggi dello standard (estensionale) FOL (First Order Logic) con la semantica di Tarski basata (solo) sulla verità; il mio sforzo è quello di passare ad un'evoluzione più potente del FOL in grado di supportare anche il significato della conoscenza, sostituendo il FOL standard e la sua teoria e pratica DB nel business IT. Tutto questo lavoro è riassunto ed esteso anche alle applicazioni AI di logiche multivalore nel mio recente libro.
Gli ultimi 15 anni del mio lavoro nell'intelligenza artificiale sono stati principalmente dedicati allo sviluppo di una nuova FOL intensionale, integrando gli approcci di Montague e algebrico di Bealer, con una semantica conservativa di Tarski della FOL standard. Il risultato fondamentale è stata la pubblicazione dell'estensione conservativa della semantica di Tarski alla FOL intensionale, e della semantica intensionale in due passaggi, che ha garantito un'estensione conservativa dell'attuale RDB, ma con una tecnologia vecchia di più di 50 anni, verso il nuovo IRDB (RDB intensionale). Infatti, nel mio Manifesto dell'IRDB si parla di una nuova piattaforma (compatibile con tutte le applicazioni RDB sviluppate in precedenza), in grado anche di supportare NewSQL per Big Data. e pronto per altri miglioramenti dell'IA.
Questo documento è dedicato a mostrare come questo IFOL definito in possa essere utilizzato per una nuova generazione di robot intelligenti, in grado di comunicare con gli esseri umani con questo FOL intensionale che supporta il significato delle parole e le loro composizioni linguistiche.  Possiamo considerare tre livelli del linguaggio naturale: la sintassi di una particolare lingua naturale (francese, inglese, ecc.) la sua struttura logica semantica (trasformazione di parti delle frasi linguistiche in predicati logici e definizione del corrispondente FOL formule) e la sua corrispondente struttura concettuale, che a differenza dello strato semantico che rappresenta solo la semantica della logica, rappresenta il significato composto delle formule FOL basate sulla messa a terra di concetti di PRP intensionali.

Ing. ​Zoran Majkic