L'analyse formelle du raisonnement
sur la connaissance a attiré beaucoup d'attention.
La logique épistémique a été inventée au
début des années 60 par des philosophes comme outil pour décrire
formellement des concepts épistémiques tels que la connaissance
et la croyance.
Au début, l'intérêt principal était de trouver les
propriétés inhérentes de la connaissance (et des concepts
qui s'y rattachent) et d'appliquer l'analyse à l'épistémologie.
Plus récemment, les chercheurs d'autres disciplines telles que la linguistique,
les sciences économiques, la théorie des jeux, et l'informatique
sont devenus de plus en plus intéressés pour raisonner au sujet
de la connaissance.
En plus des sujets plus traditionnels, beaucoup d'autres questions sont devenues
appropriées pour ceux qui sont plus intéressées par les
applications, par exemple, questions au sujet des complexités informatiques
ou du rapport entre et la connaissance d'un agent et son action.[1]
Les premières formalisations de la connaissance et de l'action dans l'intelligence artificielle ont été effectuées vers la fin des années 70 et le début des années 80. L'intérêt primaire était d'étudier la connaissance comme condition préalable à l’exécution des plans.[2]
Les différents " modèliseurs ":
Robert C. Moore.[a4]
Philip R. Cohen et Hector J. Levesque.[a5]
Anand S. Rao et Michael P. Georgeff.[a6]
John-Jules Ch. Meyer.[a7]
Yoav Shoham.[a8]
Le modèle d'agent fourni par la logique épistémique modale ne s'accorde pas avec des faits généralement convenus sur la nature des agents intelligents, en particulier avec le fait qu'ils sont limités dans la quantité et la complexité d'information qu'ils peuvent manipuler.[2]
L’architecture BDI tire son inspiration de la théorie philosophique de Bratman (87)[l1] , qui explique que les intentions jouent un rôle important et distinct dans le raisonnement pratique et ne peuvent donc être réduites aux seuls désirs et croyances.
références:
[1] http://www.informatik.uni-leipzig.de/~duc/Thesis/node2.html
[2] http://www.informatik.uni-leipzig.de/~duc/Thesis/node14.html