El concepte de conseqüència lògica i les teories del raonament a IA i psicologia cognitiva

Els objectius del projecte són: a) formular un concepte d'inferència correcta que modifiqui i ampliï d'alguna manera el concepte semàntic estàndard basat en el concepte lògic d'estructura o model; previsiblement, això es farà en dues direccions: per una banda, desvinculant el concepte de la fixació d'un sistema lingüístic de representació; per altra banda, tractant de recollir la idea de quines transicions en una inferència resulten ser "obligades"; b) argumentar la vinculació correcta entre semàntica i lògica, per un costat, i el sistemes d'IA basats en coneixement (que simulen raonament comú amb interferències per defecte i no monotòniques) i els models d'inferència explícita o de comprensió de textos de la psicologia cognitiva, per l'altre. Per això caldrà, en particular, avaluar críticament, des d'un punt de vista més aviat conceptual que tècnic, les propostes sobre el mode de conceb