Concept
Reasoning system
Concepts associés (4)
Knowledge-based systems
A knowledge-based system (KBS) is a computer program that reasons and uses a knowledge base to solve complex problems. The term is broad and refers to many different kinds of systems. The one common theme that unites all knowledge based systems is an attempt to represent knowledge explicitly and a reasoning system that allows it to derive new knowledge. Thus, a knowledge-based system has two distinguishing features: a knowledge base and an inference engine.
Cadre (intelligence artificielle)
Le terme de cadres (en anglais frames) a été proposé par Marvin Minsky dans son article de 1974 intitulé A Framework for Representing Knowledge. Un cadre en intelligence artificielle est une structure de données utilisée pour subdiviser la connaissance en sous-structures représentant des situations stéréotypées. Les cadres sont reliés entre eux pour former une idée complète. Un cadre contient de l'information sur la manière d'utiliser le cadre, sur ce qu'on peut en attendre, et sur ce qu'on peut faire lorsque cette attente n'est pas satisfaite.
Système expert
Un système expert est un outil capable de reproduire les mécanismes cognitifs d'un expert, dans un domaine particulier. Il s'agit de l'une des voies tentant d'aboutir à l'intelligence artificielle. Plus précisément, un système expert est un logiciel capable de répondre à des questions, en effectuant un raisonnement à partir de faits et de règles connues. Il peut servir notamment comme outil d'aide à la décision. Le premier système expert a été Dendral. Il permettait d'identifier les constituants chimiques.
Prolog
Prolog est un langage de programmation logique. Le nom Prolog est un acronyme de PROgrammation en LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers 1972 à Luminy, Marseille. Le but était de créer un langage de programmation où seraient définies les règles logiques attendues d'une solution et de laisser le compilateur la transformer en séquence d'instructions. L'un des gains attendus était une facilité accrue de maintenance des applications, l'ajout ou la suppression de règles au cours du temps n'obligeant pas à réexaminer toutes les autres.