« Représentation des connaissances et raisonnement automatique » : différence entre les versions


(Nouveau terme)
Balise : Éditeur de wikicode 2017
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(23 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
==Définition==
La représentation des connaissances et le raisonnement automatique font partie de l'intelligence artificielle symbolique. La représentation des connaissances incorpore certains résultats de la psychologie sur la façon dont les humains résolvent les problèmes et représentent les connaissances. Le raisonnement automatique intègre des principes de la logique pour automatiser divers types de raisonnement, tels l'application de règles ou les relations d'ensembles et de sous-ensembles.
Les exemples de formalisme de représentation des connaissances symboliques comprennent les réseaux sémantiques, les représentations par cadres sémantiques, les règles et les ontologies. Les exemples de raisonnement automatique comprennent les moteurs d'inférence, les démonstrateurs de théorèmes et les classificateurs.
==Français==
'''représentation des connaissances et raisonnement automatique  '''
==Anglais==
'''Knowledge representation and reasoning '''


== Domaine ==
==Sources==


[[Category:Vocabulary]]
[[Category:Intelligence artificielle]]Intelligence artificielle<br>
[[Catégorie:Représentation des connaissances]]Représentation des connaissances<br>
[[Catégorie:Système à base de connaissances]]Système à base de connaissances<br>
[[Category:Coulombe]]
[[Catégorie:Scotty]]


== Définition ==
[[Utilisateur:Claude COULOMBE | source : Claude Coulombe, Datafranca.org]]       


La représentation des connaissances et le raisonnement automatique font partie de l'intelligence artificielle symbolique. La représentation des connaissances incorpore certains résultats de la psychologie sur la façon dont les humains résolvent les problèmes et représentent les connaissances. Le raisonnement automatique intègre des principes de la logique pour automatiser divers types de raisonnement, tels l'application de règles ou les relations d'ensembles et de sous-ensembles.
[http://www2.ift.ulaval.ca/~ericae/ift17586/e2003/diapos/RC.pdf Réf: Ift Ulaval]


Les exemples de formalismes de représentation des connaissances symboliques comprennent les réseaux sémantiques, les représentations par cadres sémantiques, les règles et les ontologies. Les exemples de raisonnement automatique comprennent les moteurs d'inférence, les démonstrateurs de théorèmes et les classificateurs.


== Français ==
représentation des connaissances et raisonnement automatique
== Anglais ==


=== Knowledge representation and reasoning ===
[[Category:Intelligence artificielle]]
Knowledge representation and reasoning (KR) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can utilize to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language. Knowledge representation incorporates findings from psychology[citation needed] about how humans solve problems and represent knowledge in order to design formalisms that will make complex systems easier to design and build. Knowledge representation and reasoning also incorporates findings from logic to automate various kinds of reasoning, such as the application of rules or the relations of sets and subsets.


Examples of knowledge representation formalisms include semantic nets, systems architecture, frames, rules, and ontologies. Examples of automated reasoning engines include inference engines, theorem provers, and classifiers.


<br/>
[[Category:GRAND LEXIQUE FRANÇAIS]]
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>

Dernière version du 28 janvier 2024 à 13:28

Définition

La représentation des connaissances et le raisonnement automatique font partie de l'intelligence artificielle symbolique. La représentation des connaissances incorpore certains résultats de la psychologie sur la façon dont les humains résolvent les problèmes et représentent les connaissances. Le raisonnement automatique intègre des principes de la logique pour automatiser divers types de raisonnement, tels l'application de règles ou les relations d'ensembles et de sous-ensembles.

Les exemples de formalisme de représentation des connaissances symboliques comprennent les réseaux sémantiques, les représentations par cadres sémantiques, les règles et les ontologies. Les exemples de raisonnement automatique comprennent les moteurs d'inférence, les démonstrateurs de théorèmes et les classificateurs.

Français

représentation des connaissances et raisonnement automatique

Anglais

Knowledge representation and reasoning

Sources

source : Claude Coulombe, Datafranca.org

Réf: Ift Ulaval