Paradigm | представление знаний |
---|---|
Стабильная версия | 4.0 / 1999 |
Под влиянием | |
KIF | |
Под влиянием | |
PowerLoom |
Loom - это язык представления знаний, разработанный исследователями из исследовательской группы искусственного интеллекта из Университета Южной Калифорнии Институт информационных наук. Руководителем проекта Loom и главным архитектором Loom был Роберт МакГрегор. Исследование было в первую очередь спонсировано Агентством перспективных оборонных исследовательских проектов (DARPA).
Loom - это фреймовый язык в традициях KL-ONE. Как и в случае с KL-ONE, Loom имеет формальную семантику, которая сопоставляет объявления в Loom с операторами в теории множеств и логике первого порядка. Эта формальная семантика позволяет использовать механизм доказательства теорем, называемый классификатором. Классификатор может анализировать модели Loom (известные как онтологии ) и делать различные выводы о модели. Например, классификатор может обнаруживать новые классы или изменять отношения подкласс / суперкласс в модели. Классификатор также может обнаруживать несоответствия в объявлении модели. Это очень мощная и довольно необычная возможность, поскольку она способна выполнять анализ на уровне онтологии, уровне деклараций, а не на уровне реализации, как это делают большинство механизмов вывода.
Целью проекта Loom является разработка и внедрение передовых инструментов для представления знаний и рассуждений в искусственном интеллекте. В частности, чтобы позволить генерировать код из доказуемо валидных моделей предметной области.
Loom - это язык и среда для создания интеллектуальных приложений. В его основе лежит система представления знаний и рассуждений, которая объединяет язык на основе фреймов с механизмом автоматического классификатора. Декларативные знания в Loom состоят из определений, правил, фактов и правил по умолчанию. Дедуктивный механизм, называемый классификатором, использует прямую цепочку, семантическую унификацию и объектно-ориентированные технологии поддержания истины для компиляции декларативных знаний в сеть, предназначенную для эффективной поддержки дедуктивной обработки запросов в режиме онлайн.
Система Loom реализует основанный на логике сопоставитель шаблонов, который управляет средством производственного правила, и средство диспетчеризации методов, ориентированных на шаблоны, которое поддерживает определение объектно-ориентированных методов. Высокая степень интеграции между декларативными и процедурными компонентами Loom позволяет программистам использовать парадигмы логического программирования, производственных правил и объектно-ориентированного программирования в одном приложении. Loom также может использоваться как дедуктивный слой, который перекрывает обычную сеть CLOS (Common Lisp Object System). В этом режиме пользователи могут получить многие преимущества использования Loom, не влияя на работу или производительность своих приложений на основе CLOS.
На смену Loom недавно пришла PowerLoom.
.