Abstract FR:

Apres avoir analyse les insuffisances de la semantique des mondes possibles et plus particulierement le probleme de l'omniscience logique, nous suggerons une modelisation plus realiste des croyances et des connaissances, et elaborons un cadre logico-informatique (un systeme multi-agent) ou etudier a la fois la communication et la cooperation d'agents ayant des capacites diverses, mais limitees. Nous prenons donc le contre-pied des approches traditionnelles qui assimilent la connaissance et la croyance vraie, et nous definissons croyances et connaissances en termes de capacite: capacite a argumenter ou a prouver ce qui est avance. Cela nous conduit a distinguer divers types de connaissances et de croyances (implicites, explicites, statiques, dynamiques) et a introduire les concepts d'agent collectif et de communaute epistemique pour mettre en lumiere la dimension sociale et le caractere relatif des connaissances. Ensuite, nous jugeons de l'adequation de ce cadre formel pour rendre compte de certains aspects de la semantique des langues naturelles. Nous nous interessons en particulier aux phenomenes d'opacite referentielle, et montrons qu'ils s'etendent au-dela de l'interpretation des descriptions definies dans les contextes d'attitudes propositionnelles. Nous etudions aussi les problemes lies a la projection des presuppositions. Il nous semble que ces questions gagnent a etre envisagees dans un cadre multi-agent, et surtout qu'elles ne sont pas totalement independantes, mais doivent etre etudiees de front, et reformulees en terme de prise en charge