KL-ONE
 | Эта статья может быть слишком технической для понимания большинства читателей . ( Ноябрь 2022 ) |
KL-ONE (произносится как «кэй элл вон») — это система представления знаний в традиции семантических сетей и фреймов ; то есть это язык фреймов . Система представляет собой попытку преодолеть семантическую нечеткость в представлениях семантических сетей и явно представить концептуальную информацию в виде структурированной сети наследования. [1] [2] [3]
Обзор
Существует целое семейство систем, подобных KL-ONE. Одним из нововведений, инициированных KL-ONE, было использование дедуктивного классификатора , автоматизированной системы рассуждений, которая может проверять онтологию фрейма и выводить новую информацию об онтологии на основе исходной информации, предоставленной экспертом в предметной области.
Фреймы в KL-ONE называются концептами . Они образуют иерархии с использованием отношений подчинения; в терминологии KL-ONE говорят, что суперкласс подчиняет свои подклассы . Множественное наследование разрешено. На самом деле концепт считается правильно сформированным, только если он наследует более чем от одного другого концепта. Все концепты, за исключением верхнего концепта (обычно THING), должны иметь по крайней мере один суперкласс.
В KL-ONE описания разделены на два основных класса понятий: примитивные и определенные. Примитивные — это понятия предметной области, которые не полностью определены. Это означает, что учитывая все свойства понятия, этого недостаточно для его классификации. Их также можно рассматривать как неполные определения. Используя тот же взгляд, определенные понятия являются полными определениями. Учитывая свойства понятия, это необходимые и достаточные условия для классификации понятия.
Концепция слота называется ролями, а значения ролей — ролями-заполнителями. Существует несколько различных типов ролей, которые можно использовать в различных ситуациях. Наиболее распространенным и важным типом роли является общий RoleSet, который фиксирует тот факт, что роль может быть заполнена более чем одним заполнителем.
Смотрите также
Ссылки
- ^ Woods, WA ; Schmolze, JG (1992). "Семейство KL-ONE" (PDF) . Компьютеры и математика с приложениями . 23 (2–5): 133. doi : 10.1016/0898-1221(92)90139-9 .
- ^ Брахман, Р. Дж.; Шмольце, Дж. Г. (1985). «Обзор системы представления знаний KL-ONE». Когнитивная наука . 9 (2): 171. doi : 10.1207/s15516709cog0902_1 . S2CID 11270484.
- ^ DA Duce, GA Ringland (1988). Подходы к представлению знаний, введение . Research Studies Press, Ltd. ISBN 978-0-86380-064-1.
