Примеры интеллектуальной системы высокого уровня. Абдуктивное объяснение начального состояния базы фактов, т.е. принятие порожденных гипотез первого и второго рода посредством абдукции. Принцип адекватности Рассуждателя "мирам", оценка выполнимости.
Аннотация к работе
способность извлекать следствия из имеющихся знаний, т.е. способность к рассуждению, которое может содержать как правдоподобные выводы, используемые для выдвижения гипотез, так и достоверные выводы (следовательно, под рассуждением понимается как достоверные, так и правдоподобные рассуждения); Можно выделить три типа предметных областей W («миров»): предметные области («миры», «универсумы») такие, что факты, принадлежащие W, являются случайными событиями; соответственно, правила Решателя, применяемые в рассуждениях о W, используют аппарат теории вероятностей (в т.ч. различные статистические методы анализа данных); предметные области W такие, что факты, принадлежащие W, могут быть как причинно обусловленными, так и случайными (это означает, что этот «мир» является объединением «миров» (1) и (2)); рассуждения, представленные в Решателе задач, соответствующие этому «миру», должны использовать правила, порождающие гипотезы о зависимостях причинно-следственного типа с учетом вероятностных соображений (например, частоты появления причинно-следственного эффекта) Формализованные эвристики этого типа осуществляют синтез познавательных процедур, включающих эмпирическую индукцию, основанную на установлении сходства фактов, и абдукцию, посредством которой объясняется начальное состояние базы фактов и, в случае необходимости, реализуется ее пополнение (это означает, что Рассуждатели второго типа применимы к «открытым мирам»). В силу того, что рассуждения, которые осуществляет Рассуждатель-2, доставляют новые знания, эти рассуждения можно назвать когнитивными (правдоподобными) рассуждениями (СР-рассуждениями).
Список литературы
Пойа Д. Математика и правдоподобные рассуждения. М: Наука, 1975.
Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления / Математический сборник. 1938. Т.4, вып. 2, с. 287-308.
Поппер К.Р. Призыв Бернайса к более широкому пониманию рациональности. В кн.: Эволюционная эпистемология и логика социальных наук. УРСС. М: 2000. с. 163-175.
Поппер К.Р. Объективное знание. М: УРСС. 2002.
Финн В.К. Правдоподобные рассуждения в интеллектуальных системах типа ДСМ. Итоги науки и техники. Информатика. Т. 15. М: 1991. с.54-101.
Забежайло М.И. Формальные модели рассуждений в принятии решений: приложения ДСМ-метода в системах интеллектуального управления и автоматизации научных исследований. НТИ. Сер. 2. 1996. №5-6. с. 20-33.
Финн В.К., Михеенкова М.А., Бурковская Ж.И. Об интеллектуальной системе для анализа электорального поведенияю Тезисы докладов настоящей конференции.
Финн В.К. Синтез познавательных процедур и проблема индукции // НТИ. Сер. 2. № 1 - 2. 1999. с. 8 - 45.
Симонс Дж. ЭВМ пятого поколения: компьютеры 90-х годов. Финансы и статистика. М: 1985.