Langage cadre
Un langage cadre est une technologie utilisée pour la représentation des connaissances en artificielle intelligence. Les cadres sont stockés en tant qu'ontologies d’ensembles et de sous-ensembles de concepts de cadres.
Ils sont similaires aux hiérarchies de classes dans les langages orientés objet, bien que leurs objectifs de conception fondamentaux soient différents. Les cadres sont centrés sur la représentation explicite et intuitive de la connaissance, tandis que les objets se concentrent sur l’encapsulation et la dissimulation d'informations. Les cadres provenaient de la recherche sur l'IA et les objets principalement en génie logiciel.
Cependant, dans la pratique, les techniques et les capacités des langages à base de cadre et à objet se chevauchent considérablement. Dans l’intelligence artificielle, le problème du cadre décrit un problème lié à l’utilisation de la logique FOL (First-Order Logic) pour exprimer des faits sur un robot du monde.
Représenter l'état d'un robot avec une FOL traditionnelle nécessite l'utilisation de nombreux axiomes qui impliquent simplement que les éléments de l'environnement ne changent pas de manière arbitraire. Par exemple, Hayes décrit un " monde de blocs " avec des règles sur l'empilement de blocs. Dans un système FOL, des axiomes supplémentaires sont nécessaires pour tirer des conclusions sur l'environnement (par exemple, un bloc ne peut pas changer de position à moins d'être déplacé physiquement). Le problème de cadre est le problème de trouver des collections adéquates d'axiomes pour une description viable de l'environnement d'un robot.
John McCarthy et Patrick J. Hayes ont défini ce problème dans leur article de 1969 intitulé Quelques problèmes philosophiques du point de vue de l'intelligence artificielle. Dans cet article, et dans de nombreux autres, qui ont suivi, le problème mathématique formel était un point de départ pour des discussions plus générales sur la difficulté de la représentation des connaissances pour l'intelligence artificielle. Des questions telles que la façon de fournir des hypothèses par défaut rationnelles et ce que les humains considèrent comme du bon sens dans un environnement virtuel.
Plus tard, le terme a acquis un sens plus large en philosophie, où il est formulé comme le problème de la limitation des croyances qui doivent être actualisées en réponse à des actions. Dans le contexte logique, les actions sont généralement spécifiées en fonction de ce qu'elles changent, avec l'hypothèse implicite que tout le reste (le cadre) reste inchangé.
