Représentation des connaissances et raisonnement automatique

Domaine

Intelligence artificielle
Représentation des connaissances
Système à base de connaissances

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 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

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.