« Logique » : différence entre les versions


Aucun résumé des modifications
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(2 versions intermédiaires par le même utilisateur non affichées)
Ligne 3 : Ligne 3 :
La logique est la science du raisonnement à la base de la pensée rationnelle (induction, déduction, hypothèse), de l’informatique et de l’intelligence artificielle.  
La logique est la science du raisonnement à la base de la pensée rationnelle (induction, déduction, hypothèse), de l’informatique et de l’intelligence artificielle.  


En philosophie, la logique est l’étude formelle des normes de la vérité. La logique s'appuie essentiellement sur la tradition des syllogismes et sur les raisonnements formels par des règles.
En philosophie, la logique est l’étude formelle des normes de la vérité. La logique s’appuie essentiellement sur la tradition des syllogismes et sur les raisonnements formels par des règles.


Le traitement mathématique et informatique de la logique a entraîné la formalisation de la logique et l'apparition de logiques formelles.
Le traitement mathématique et informatique de la logique a entraîné la formalisation de la logique et l’apparition de logiques formelles.


==Compléments==
==Compléments==
Ligne 13 : Ligne 13 :
Il existe plusieurs types de logiques formelles que l'on distingue par leur « ordre » qui qualifie leur niveau d'abstraction. Donc plus l'ordre d'une logique est élevé, plus la logique est abstraite.  
Il existe plusieurs types de logiques formelles que l'on distingue par leur « ordre » qui qualifie leur niveau d'abstraction. Donc plus l'ordre d'une logique est élevé, plus la logique est abstraite.  


* La logique propositionnelle ou [https://datafranca.org/wiki/Logique_des_propositions logique des propositions]
*La logique propositionnelle ou [https://datafranca.org/wiki/Logique_des_propositions logique des propositions]


La logique des propositions s'exprime par des propositions ou formules propositionnelles construites à partir de connecteurs logiques (ET, OU, NON, IMPLIQUE, ÉQUIVALENT À, etc.) et de variables propositionnelles (P, Q, etc). Une formule bien formée possède une valeur de vérité (vrai ou faux).  
La logique des propositions s'exprime par des propositions ou formules propositionnelles construites à partir de connecteurs logiques (ET, OU, NON, IMPLIQUE, ÉQUIVALENT À, etc.) et de variables propositionnelles (P, Q, etc). Une formule bien formée possède une valeur de vérité (vrai ou faux).  
Ligne 19 : Ligne 19 :
Par exemple, NON (P ET Q) ÉQUIVALENT À (NON P OU NON B) est une proposition vraie.  
Par exemple, NON (P ET Q) ÉQUIVALENT À (NON P OU NON B) est une proposition vraie.  


* La [https://datafranca.org/wiki/Logique_du_premier_ordre logique de premier ordre]ou [https://datafranca.org/wiki/Calcul_des_pr%C3%A9dicats calcul des prédicats]étend la logique propositionnelle avec les prédicats (attribut, propriété, relation) et la quantification (POUR TOUT, IL EXISTE, etc.).  
*La [https://datafranca.org/wiki/Logique_du_premier_ordre logique de premier ordre]ou [https://datafranca.org/wiki/Calcul_des_pr%C3%A9dicats calcul des prédicats]étend la logique propositionnelle avec les prédicats (attribut, propriété, relation) et la quantification (POUR TOUT, IL EXISTE, etc.).


Par exemple, la phrase « Tout homme est mortel. » se traduit en logique premier ordre POUR TOUT x, homme(x) IMPLIQUE est_mortel(x) comporte le quantificateur POUR TOUT et les prédicats est_mortel(x) et homme(x).  
Par exemple, la phrase « Tout homme est mortel. » se traduit en logique premier ordre POUR TOUT x, homme(x) IMPLIQUE est_mortel(x) comporte le quantificateur POUR TOUT et les prédicats est_mortel(x) et homme(x).  


* Il existe des logiques d'ordre supérieur (higher-order logic) qui étendent la logique de premier ordre en permettant d'utiliser des fonctions et de les combiner avec d'autres fonctions et des prédicats. De même, les fonctions font l'objet d'une formalisation appelée lambda-calcul pour décrire, transformer et simplifier les fonctions.  
*Il existe des logiques d'ordre supérieur (higher-order logic) qui étendent la logique de premier ordre en permettant d'utiliser des fonctions et de les combiner avec d'autres fonctions et des prédicats. De même, les fonctions font l'objet d'une formalisation appelée lambda-calcul pour décrire, transformer et simplifier les fonctions.


==Français==
==Français==
Ligne 39 : Ligne 39 :
[https://fr.wikipedia.org/wiki/Logique_d%27ordre_sup%C3%A9rieur Wikipédia - Logique d'ordre supérieur]
[https://fr.wikipedia.org/wiki/Logique_d%27ordre_sup%C3%A9rieur Wikipédia - Logique d'ordre supérieur]


<small>
</small><br> <div style="border:2px solid #336699; background: #f6f6f6; padding: 1em; margin-bottom:1em; width: 90%;"><html><a href="https://datafranca.org/wiki/Cat%C3%A9gorie:101"><img src="https://datafranca.org/images/icone-101-mots.png" width="250"></a></html>
<br></div><br><br>


==Sources==
<br> {{Modèle:101}}<br>


[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[Catégorie:101]]
[[Catégorie:101]]

Dernière version du 28 janvier 2024 à 11:04

Définition

La logique est la science du raisonnement à la base de la pensée rationnelle (induction, déduction, hypothèse), de l’informatique et de l’intelligence artificielle.

En philosophie, la logique est l’étude formelle des normes de la vérité. La logique s’appuie essentiellement sur la tradition des syllogismes et sur les raisonnements formels par des règles.

Le traitement mathématique et informatique de la logique a entraîné la formalisation de la logique et l’apparition de logiques formelles.

Compléments

Avec la représentation et le raisonnement (ou inférence), la logique constitue le troisième élément du triptyque de la capacité de déduction d'un système d'intelligence artificielle.

Il existe plusieurs types de logiques formelles que l'on distingue par leur « ordre » qui qualifie leur niveau d'abstraction. Donc plus l'ordre d'une logique est élevé, plus la logique est abstraite.

La logique des propositions s'exprime par des propositions ou formules propositionnelles construites à partir de connecteurs logiques (ET, OU, NON, IMPLIQUE, ÉQUIVALENT À, etc.) et de variables propositionnelles (P, Q, etc). Une formule bien formée possède une valeur de vérité (vrai ou faux).

Par exemple, NON (P ET Q) ÉQUIVALENT À (NON P OU NON B) est une proposition vraie.

Par exemple, la phrase « Tout homme est mortel. » se traduit en logique premier ordre POUR TOUT x, homme(x) IMPLIQUE est_mortel(x) comporte le quantificateur POUR TOUT et les prédicats est_mortel(x) et homme(x).

  • Il existe des logiques d'ordre supérieur (higher-order logic) qui étendent la logique de premier ordre en permettant d'utiliser des fonctions et de les combiner avec d'autres fonctions et des prédicats. De même, les fonctions font l'objet d'une formalisation appelée lambda-calcul pour décrire, transformer et simplifier les fonctions.

Français

Logique

Anglais

Logic

Wikipédia - Logique classique

Wikipédia - Formule propositionnelle

Wikipédia - Calcul des prédicats

Wikipédia - Logique d'ordre supérieur


Sources



101 MOTS DE L' IA
Ce terme est sélectionné pour le livre « Les 101 mots de l'intelligence artificielle »