skip to main content

Artificial Intelligence Thesaurus

Choisissez le vocabulaire dans lequel chercher

Langue des données

| español English
Aide à la recherche

Concept information

method of artificial intelligence > logic

TERME PRÉFÉRENTIEL

logic  

DÉFINITION(S)

  • logic, which emerged in ancient Greece with the study of syllogisms, is concerned with the formalisation of reasoning. Modern logic, which developed from the 19th century onwards, led to the formalisation of a genuine deductive calculus based on logical formulas formed by combining "atomic propositions" with logical connectors (and, or, negation, implication, etc.); this is known as propositional logic. The formulas of first-order logic also allow the use of existential quantifiers ("it exists") or universal quantifiers ("for all"), as in the example in section 1.1. These classical logics, developed in connection with questions relating to the foundations of mathematics, are widely used in knowledge representation, even if other logics have proved necessary to take account of exceptions, uncertainty or incoherence in particular. (Source: translated from https://ia.gdria.fr/Glossaire/logique-2/ )

CONCEPT(S) GÉNÉRIQUE(S)

CONCEPT(S) SPÉCIFIQUE(S)

TRADUCTIONS

URI

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

Télécharger ce concept:

RDF/XML TURTLE JSON-LD Dernière modif. 05/06/2025