Loterre: IA: logique

méthode de l'intelligence artificielle > logique

logique

la logique, qui apparaît dans la Grèce antique avec l’étude des syllogismes, s’intéresse à la formalisation du raisonnement. La logique 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 en combinant des « propositions atomiques » avec des connecteurs logiques (et, ou, négation, implication…) ; on parle alors de logique propositionnelle. Les formules de la logique du premier ordre permettent également l’utilisation de quantificateurs existentiels (« il existe ») ou universels (« pour tous »), comme dans l’exemple de la section 1.1. Ces logiques classiques, développées en liaison avec des questions touchant au fondement des mathématiques, sont largement utilisées en représentation des connaissances, même si d’autres logiques se sont révélées nécessaires pour prendre en compte les exceptions, l’incertain ou l’incohérence notamment. (Source : https://ia.gdria.fr/Glossaire/logique-2/ )

http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1

RDF/XML TURTLE JSON-LD última modificación 5/6/25

Thésaurus de l'intelligence artificielle