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