Формализм - представление
Cтраница 1
Фреймоподобный формализм представлений, использующий слоты со значениями и процедурами, приписанными им. [1]
Большинство формализмов представления знаний может быть использовано в разных режимах управления ( см. врезку 1.3), и разработчики экспертных систем продолжают экспериментировать в этой области. В последующих главах будут описаны системы, которые специально подобраны таким образом, чтобы проиллюстрировать отличия в существующих подходах к решению проблемы управления. В каждой из представленных систем есть что-нибудь полезное для студентов, специализирующихся в области разработки и исследования экспертных систем. [2]
Главное отличие между формализмом представления знаний КЕЕ и ART заключается в способе, которым эти ИС связывают фреймы и правила. КЕЕ является средой, в основе которой лежат фреймы, в то время как в ART - правила. Фреймы в КЕЕ называются элементами ( units) и вводятся в более широком смысле, чем в ART. Здесь фреймы могут иметь процедурную роль и дают возможность построения поведенческих моделей объекта и моделей экспертизы. С этой целью к слотам могут привязываться активные значения и методы. Активные значения могут выборочно активизировать системы правил. Таким образом, язык фреймов КЕЕ позволяет представлять поведение независимых сложных компонент в рамках подхода, основанного на модели, что обеспечивает разделение знаний на проблемно-ориентированные фрагменты. При этом каждый компонент знаний может быть активирован по требованию. [3]
ИП обеспечивает четкий, хорошо отработанный формализм представления знаний, который приемлемо интерпретируется на ЕЯ и позволяет легко оперировать результатами квантификации. В то же время при использовании структурно-лингвистических МПЗ ( например, семантических сетей) обеспечить это зачастую трудно. [4]
Если появляется желание перейти с формализма представления знаний на чистый код, то хоть немножко посопротивляйтесь этому искушению. [5]
Не всегда можно однозначно сказать, какой формализм представления использован в системе. Например, некоторые формализмы семантической сети можно рассматривать как синтаксические варианты логики предикатов или фреймовых систем, продукционные системы - как логические и так далее. [6]
Использование методов инженерии знаний в качестве дидактических инструментов и в качестве формализмов представления знаний способствует более быстрому и более полному пониманию структуры знаний данной предметной области, что особенно ценно для новичков на стадии изучения особенностей профессиональной деятельности. [7]
Среди них я настоятельно рекомендую ознакомиться с фундаментальной работой Минского о формализме представления знаний, получившем наименование фреймов. Здесь вы найдете множество статей и о тех областях искусственного интеллекта, которые выходят за рамки этой книги, в частности о машинном восприятии естественного человеческого языка, искусственном зрении, робототехнике. [8]
Таким образом, КЕЕ является развитой системой, основанной на фреймах, где хорошо сбалансированы формализмы представления как декларативных, так и процедурных знаний. Доступны в системе и методы явного управления и структурирования процесса аргументации. Благодаря этому КЕЕ является подходящим для решения задач в рамках подхода, основанного на модели. [9]
Системы, ориентированные на инженера по знаниям, могут взаимодействовать со своими пользователями как в терминах формализма представления знаний, так и в терминах, принятых в предметной области. [10]
 |
Синтаксическая диаграмма понятия LINK. [11] |
При этом возможны разные подходы. Ниже для этого используется продукционно-фреймовый формализм представления знаний и показывается, как на этой основе может быть разработан интеллектуальный HTML-конвертор. [12]
 |
Организация моделей правил. [13] |
ОПИСАНИЕ содержит отдельно характеристики типичной предпосылки и типичного действия. Следует подчеркнуть, что идея типичного члена подмножества является весьма универсальной и применима практически к любым формализмам представления а не только к продукционным правилам. [14]
Система OntoSeek разработана для содержательного извлечения информации из доступных в режиме on-line желтых страниц ( yellow pages) и каталогов. В рамках системы совместно используются механизмы поиска по содержанию, управляемые соответствующей онтологией ( ontology-driven content-matching mechanism), и достаточно мощный формализм представления. [15]
Страницы: 1 2