Извлечение причинно-следственных зависимостей из базы фактов с применением базы знаний посредством формализованной эвристики типа "индукция-аналогия-абдукция". ДСМ-метод: проблемы его развития и когнитивные науки. Конструирование интеллектуальных систем.
Аннотация к работе
Своевременные замечания о ДСМ-методе автоматического порождения гипотезОтносительно этой системы аксиом имеют место следующие утверждения: а) система аксиом непротиворечива, b) система аксиом содержит аксиомы окончания ДСМ-рассуждений, с) система аксиом имеет единственную модель, d) правила правдоподобного вывода ДСМ-метода автоматического порождения гипотез обратимы. Перечисленные особенности ДСМ-метода связаны с используемыми в нем эпистемологическими принципами компьютерного интеллектуального анализа данных (knowledge discovery), которыми являются: 1) синтез познавательных процедур типа «индукция аналогия абдукция» для извлечения знаний из БФ («knowledge discovery»); Необходимость применения средств фальсификации гипотез (как критерия демаркации научного знания [9] в ДСМ-методе осуществляется в правилах правдоподобного вывода индукции и аналогии и посредством абдуктивного принятия (или непринятия) гипотез ([3], см. также [1], Введение, Глава 4. Таковыми способностями являются: (1) выделение существенных факторов в данных, (2) целеполагание, (3) отбор знаний (посылок выводов), релевантных цели рассуждения, (4) способность к рассуждению, (5) аргументированное принятие решений, (6) рефлексия - оценка знаний и действий, (7) познавательное любопытство (вопрос «Что такое?»), (8) способность к объяснению (вопрос «Почему?»), (9) способность к синтезу познавательных процедур (например, взаимодействие индукции, аналогии и абдукции с учетом фальсификации посредством контрпримеров), (10) обучение и использование памяти, (11) рационализация идей - стремление уточнить их как понятия, (12) способность к созданию целостной картины относительно предмета мышления, объединяющие знания, релевантные поставленной цели, (13) способность к адаптации в условиях изменения жизненных ситуаций и знаний, что означает коррекцию имеющихся знаний («теории») и поведения. Объединенный метод сходства - различия предполагает выполнимость метода сходства (простого метода или его усилений в ДСМ-методе посредством дополнительных условий) и существование множества примеров для X?1Y (в том числе, фактов из БФ) таких, что их объекты (т.е. значения Х), сходные с объектами позитивных примеров, но не содержащие искомой причины V, удовлетворяют условию такому, что примеры имеют оценку (-1, n) или (t, n) при условии WIY, либо эти примеры имеют оценки (1, n), (-1, n), (0, n) или (t, n), но O(WIY).