KL-ONE: Система представления знаний на основе концептуальных сетей и фреймов.
KL-ONE
KL-ONE: система представления знаний, основанная на семантических сетях и фреймах. Язык фреймов с четкой концептуальной структурой и дедуктивным классификатором.
Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
KL ONE (произносится "кей элл уан") – это система представления знаний, разработанная в традиции семантических сетей и фреймов, то есть это язык фреймов. Система представляет собой попытку преодолеть семантическую неопределенность в представлениях, основанных на семантических сетях, и явно представлять концептуальную информацию в виде структурированной сети наследования.
KL ONE (pronounced "kay ell won") is a knowledge representation system in the tradition of semantic networks and frames; that is, it is a frame language. The system is an attempt to overcome semantic indistinctness in semantic network representations and to explicitly represent conceptual information as a structured inheritance network.
Обзор
Есть целая семья систем, подобных KL ONE. Одной из инноваций, инициированных KL ONE, стало использование дедуктивного классификатора – автоматизированного механизма логического вывода, способного проверять онтологию фреймов и выводить новую информацию об онтологии на основе исходных данных, предоставленных экспертом в предметной области. Фреймы в KL ONE называются концептами. Они образуют иерархии, используя отношения подчинённости; в терминологии KL ONE суперкласс подчиняет свои подклассы. Допускается множественное наследование. Фактически, концепт считается корректным только в том случае, если он наследует характеристики более чем от одного другого концепта. Все концепты, за исключением корневого (обычно THING), должны иметь хотя бы один суперкласс. В KL ONE описания разделяются на два основных класса концептов: примитивные и определенные. Примитивные концепты – это концепты предметной области, которые не имеют полного определения. Это означает, что знание всех свойств концепта недостаточно для его классификации. Их также можно рассматривать как неполные определения. С этой точки зрения, определенные концепты представляют собой полные определения. Знание свойств концепта предоставляет необходимые и достаточные условия для его классификации. Атрибуты концептов называются ролями, а значения ролей – значениями атрибутов. Существует несколько различных типов ролей для использования в разных ситуациях. Наиболее распространенным и важным типом роли является RoleSet, который отражает возможность заполнения роли несколькими значениями атрибутов.
There is a whole family of KL ONE like systems. One of the innovations that KL ONE initiated was the use of a deductive classifier, an automated reasoning engine that can validate a frame ontology and deduce new information about the ontology based on the initial information provided by a domain expert. Frames in KL ONE are called concepts. These form hierarchies using subsume relations; in the KL ONE terminology a super class is said to subsume its subclasses. Multiple inheritance is allowed. Actually a concept is said to be well formed only if it inherits from more than one other concept. All concepts, except the top concept (usually THING), must have at least one super class. In KL ONE descriptions are separated into two basic classes of concepts: primitive and defined. Primitives are domain concepts that are not fully defined. This means that given all the properties of a concept, this is not sufficient to classify it. They may also be viewed as incomplete definitions. Using the same view, defined concepts are complete definitions. Given the properties of a concept, these are necessary and sufficient conditions to classify the concept. The slot concept is called roles and the values of the roles are role fillers. There are several different types of roles to be used in different situations. The most common and important role type is the generic RoleSet that captures the fact that the role may be filled with more than one filler.