@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://data.loterre.fr/ark:/67375/23L-FHXJ5XDQ-G>
  skos:prefLabel "logique propositionnelle"@fr, "propositional logic"@en ;
  a skos:Concept ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> .

<http://data.loterre.fr/ark:/67375/23L-H24TSF40-W>
  skos:prefLabel "method of artificial intelligence"@en, "méthode de l'intelligence artificielle"@fr ;
  a skos:Concept ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> .

<http://data.loterre.fr/ark:/67375/23L> a skos:ConceptScheme .
<http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1>
  skos:prefLabel "logic"@en, "logique"@fr ;
  skos:definition "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  <a href=\"https://ia.gdria.fr/Glossaire/logique-2/\">https://ia.gdria.fr/Glossaire/logique-2/</a> )"@en, "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 :  <a href=\"https://ia.gdria.fr/Glossaire/logique-2/\">https://ia.gdria.fr/Glossaire/logique-2/</a> )"@fr ;
  skos:exactMatch <https://www.wikidata.org/wiki/Q8078>, <https://en.wikipedia.org/wiki/Logic>, <https://fr.wikipedia.org/wiki/Logique> ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-VQ6MHSGG-R>, <http://data.loterre.fr/ark:/67375/23L-P9ZBG9VC-N>, <http://data.loterre.fr/ark:/67375/23L-VK8CS6BV-Q>, <http://data.loterre.fr/ark:/67375/23L-B5R12LGV-7>, <http://data.loterre.fr/ark:/67375/23L-FJ0J8D48-F>, <http://data.loterre.fr/ark:/67375/23L-MRXHHMWN-W>, <http://data.loterre.fr/ark:/67375/23L-CV5TVP45-Q>, <http://data.loterre.fr/ark:/67375/23L-FHXJ5XDQ-G> ;
  a skos:Concept ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-H24TSF40-W> ;
  skos:inScheme <http://data.loterre.fr/ark:/67375/23L> ;
  dc:modified "2025-06-05T11:27:26"^^xsd:dateTime .

<http://data.loterre.fr/ark:/67375/23L-VK8CS6BV-Q>
  skos:prefLabel "nonmonotonic logic"@en, "logique non monotone"@fr ;
  a skos:Concept ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> .

<http://data.loterre.fr/ark:/67375/23L-B5R12LGV-7>
  skos:prefLabel "logique modale"@fr, "modal logic"@en ;
  a skos:Concept ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> .

<http://data.loterre.fr/ark:/67375/23L-MRXHHMWN-W>
  skos:prefLabel "logique de premier ordre"@fr, "first-order logic"@en ;
  a skos:Concept ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> .

<http://data.loterre.fr/ark:/67375/23L-CV5TVP45-Q>
  skos:prefLabel "logique paraconsistante"@fr, "paraconsistent logic"@en ;
  a skos:Concept ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> .

<http://data.loterre.fr/ark:/67375/23L-P9ZBG9VC-N>
  skos:prefLabel "logique épistémique"@fr, "epistemic logic"@en ;
  a skos:Concept ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> .

<http://data.loterre.fr/ark:/67375/23L-VQ6MHSGG-R>
  skos:prefLabel "fuzzy logic"@en, "logique floue"@fr ;
  a skos:Concept ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> .

<http://data.loterre.fr/ark:/67375/23L-FJ0J8D48-F>
  skos:prefLabel "multiple-valued logic"@en, "logique multi-valuée"@fr ;
  a skos:Concept ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-BDC0T8RT-1> .