ВУЗ:
Составители:
14
хотя и содержится в БД в неявном виде на основе имеющихся в ней сведений,
но его невозможно сформулировать в рамках стандартного запроса. Т.е. для
получения ответа в явном виде необходимо провести некоторые дедуктивные
рассуждения со сведениями, хранящимися в БД.
Это направление пока находится в стадии теоретических и
экспериментальных исследований. В
частности, известны попытки решения
подобных задач с помощью ИНС [4].
Экспертные и консультирующие системы. Автоматические экспертные
и консультирующие системы (АЭКС) призваны обеспечивать не очень
квалифицированных специалистов компетентными заключениями,
касающимися определенных предметных областей.
Ключевая проблема при построении АЭКС состоит в том, как представлять
и использовать знания, которыми располагают и пользуются люди, являющими
экспертами в предметных областях. Эта проблема осложняется тем, что
экспертные знания часто являются неточными, неопределенными и плохо
формализуемыми, что не мешает, тем не менее, экспертам делать правильные
заключения.
Во многих АЭКС применяется метод ИИ, позволяющий строить
логические выводы, основанные на правилах. В таких системах экспертные
знания представлены в виде большого
множества простых правил, которые
применяются при организации диалога между системой и пользователем, а
также для вывода заключений. Дедукция, основанная на правилах, является
одним из плодотворных направлений в исследованиях по ИИ.
В настоящее время АЭКС – весьма динамично развивающаяся область.
Известны и успешно эксплуатируются коммерческие АЭКС, диагностирующие
заболевания, оценивающие потенциальные месторождения полезных
ископаемых
, предлагающие варианты возможных структур сложных
органических соединений и многие другие.
Доказательство теорем. Поиск доказательства (или опровержения)
некоторой математической теоремы, несомненно, может рассматриваться как
интеллектуальная задача. Во-первых, потому что для доказательства требуется
способность провести дедукцию, исходя из гипотез. Во-вторых, для построения
доказательства необходимы интуитивные навыки, такие как построение
догадки
, о том, какие промежуточные леммы следует доказать, чтобы доказать
основную теорему. Опытный математик, опираясь на некоторое собственное
суждение, основанное на большом объеме специальных знаний, высказывает
догадку, какие из ранее доказанных теорем в рассматриваемой предметной
области будут полезны для искомого доказательства, а также выделяет в
главной проблеме подзадачи, над которыми можно
работать независимо друг от
друга.
В рамках ИИ был разработан ряд программ, которые в какой-то степени
обладали некоторыми из таких способностей. И хотя это не принесло большой
практической пользы непосредственно для доказательства теорем, изучение
Страницы
- « первая
- ‹ предыдущая
- …
- 12
- 13
- 14
- 15
- 16
- …
- следующая ›
- последняя »
