ткацкий станок (онтология)
| Парадигма | представление знаний |
|---|---|
| Стабильная версия | 4.0 / 1999 |
| Под влиянием | |
| КАК | |
| Под влиянием | |
| PowerLoom | |
Loom — это язык представления знаний , разработанный исследователями исследовательской группы искусственного интеллекта в Южной Калифорнии Университета Институте информационных наук . Руководителем проекта Loom и главным архитектором Loom был Роберт МакГрегор. Исследование в первую очередь спонсировалось Агентством перспективных оборонных исследовательских проектов (DARPA).
Loom — это фреймовый язык в традициях KL-ONE . [1] Как и в случае с KL-ONE, Loom имеет формальную семантику, которая сопоставляет объявления в Loom с утверждениями теории множеств и логики первого порядка . Эта формальная семантика позволяет создать механизм доказательства теорем, называемый классификатором. Классификатор может анализировать модели Loom (известные как онтологии ) и делать различные выводы о модели. Например, классификатор может обнаруживать новые классы или изменять отношения подкласса/суперкласса в модели. Классификатор также может обнаруживать несоответствия в объявлении модели. Это очень мощная и довольно необычная возможность, поскольку она способна выполнять анализ на уровне онтологии, уровне объявлений, а не на уровне реализации, как это делают большинство механизмов вывода.
Целью проекта Loom является разработка и внедрение передовых инструментов для представления знаний и рассуждений в области искусственного интеллекта. В частности, чтобы обеспечить возможность генерации кода на основе доказуемо допустимых моделей предметной области.
Loom — это язык и среда для создания интеллектуальных приложений. В его основе лежит система представления и рассуждения знаний , которая сочетает в себе язык на основе фреймов и механизм автоматической классификации. Декларативные знания в Loom состоят из определений, правил, фактов и правил по умолчанию. Дедуктивный механизм, называемый классификатором, использует технологии прямого связывания , семантической унификации и объектно-ориентированного поддержания истины для компиляции декларативных знаний в сеть, предназначенную для эффективной поддержки дедуктивной обработки запросов в режиме онлайн. [2]
В системе Loom реализован механизм сопоставления шаблонов на основе логики, который управляет средством создания правил и средством диспетчеризации методов, управляемых шаблонами, которое поддерживает определение объектно-ориентированных методов. Высокая степень интеграции между декларативными и процедурными компонентами Loom позволяет программистам использовать парадигмы логического программирования, продукционных правил и объектно-ориентированного программирования в одном приложении. Loom также можно использовать в качестве дедуктивного слоя, который накладывается на обычную сеть CLOS (Common Lisp Object System). В этом режиме пользователи могут получить многие преимущества использования Loom, не влияя на функциональность или производительность своих приложений на основе CLOS.
На смену Loom недавно пришла PowerLoom. [3]
Ссылки
[ редактировать ]- ^ Брахман, Рон (1978). «Структурная парадигма представления знаний». Технический отчет Болта, Беранека и Неймана (3605).
- ^ МакГрегор, Роберт (июнь 1991 г.). «Использование классификатора описания для улучшения представления знаний». Эксперт IEEE . 6 (3): 41–46. дои : 10.1109/64.87683 . S2CID 29575443 .
- ^ МакГрегор, Роберт (13 августа 1999 г.). «Ретроспектива на ткацком станке» . isi.edu . Институт информационных наук. Архивировано из оригинала 25 октября 2013 года . Проверено 10 декабря 2013 г.
Внешние ссылки
[ редактировать ] | Эта языкам программирования, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее . |