système logiquela logique, qui apparaît dans la Grèce Antique avec l’étude des syllogismes, s’intéresse à la formalisation du raisonnement. La lo- gique moderne, qui se développe à partir du XIXe siècle, a conduit à la formalisation d’un véritable calcul déductif à partir de formules logiques formées... More* permettant de raisonner sur la connaissancedans l’acception spécifique de ce mot, les connaissances ont en principe un caractère générique, souvent sous forme de règles (par exemple, « les hommes sont mortels », « les oiseaux volent »...). Elles sont en général recueillies auprès d’experts (voir aussi ontologies*), ou obtenues à... More. Ce raisonnement peut porter sur les faits du monde, mais aussi sur les connaissances* d’un autre agent, sur les connaissances de celui-ci au sujet d’un agent tiers, etc. De tels raisonnements sont fondamentaux en interaction sociale.
De quoi s'agit-il vraiment ?