Недостаток малочисленных  современных исследований по абдукции заключается в том, что в них не обращается достаточного внимания на анализ тех эвристических методов, с помощью которых осуществляется поиск объяснительных гипотез. На наш взгляд, абдукция тем и отличается от других форм рассуждений, что она не может эффективно применяться без использования специфических средств поиска. А это требует знания той области познания, где она применяется. Очень часто это связано также с обращением к психологическим факторам. Не подлежит сомнению, что психологический анализ процессов открытия весьма важен и интересен, но не менее важно исследовать их не только с субъективной, но и интерсубъективной и общезначимой позиции философии, методологии и логики. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

На главную страницу

Донецкий Национальный Технический Университет

Сметанин Павел  Юрьевич

«Абдуктивный  подход при построении нового знания в базе знаний»

Специальность: программное обеспечение автоматизированных систем

Автореферат магистерской выпускной работы

Руководитель: доцент, к.т.н. Андрюхин А.И.   

Общая характеристика работы

 

               

Бурное развитие аппаратного обеспечения ЭВМ  и, в частности, появление новых  периферийных устройств, расширило  возможности применения компьютеров  для целого ряда областей человеческой деятельности. Переживают период активного роста технологии, ориентированные на использование глобальных информационных сетей. Ежегодно создается и включается в мировую сеть для свободного доступа сотни баз данных различного типа и назначения, десятки фирм осуществляют переход на безбумажную технологию ведения документации. Параллельно этим процессам растет нагрузка на рядового пользователя компьютера. Объем информации, который ему приходится обрабатывать зачастую превышает скромные человеческие возможности. Здесь уместно привести высказывание Э.Дейкстры, специалиста, чья деятельность тесно связана с информатикой, одного из основоположников структурного программирования: "... человек соображает медленно, а емкость его памяти очень мала, и ему следует получше научиться жить в таких условиях...". Одним из способов облегчения процесса поиска и обработки информации, скрытия сложности управления комплексными автоматизированными объектами, поддержки процесса принятия решений является создание и использование интеллектуальных программных агентов. Они представляют собой новое поколение интеллектуальных систем, которым, однако, предъявляются требования гораздо более жесткие, чем к их предшественникам - первым экспертным системам. Характеризуя этот факт, западные специалисты по искусственному интеллекту отмечают, что произошла смена взгляда на интеллектуальные системы и моделирование знаний.            

Целью данной работы является исследование методологий  и возможностей инженерного творчества с использованием ЭВМ, что является насущной проблемой в условиях увеличивающихся темпов научно-технического прогресса. Перечислим основные задачи, поставленные для исследования:

-         Исследование характеристик и возможностей физико-технических эффектов в форме различного вида цепочек триад;

-         Применение в качестве дополнения приборов, меняющих и измеряющих параметры объектов.

-         Анализ различных возможностей вывода конечной цели;

-         Использование абдуктивного логического вывода.

      Научная новизна состоит в том, что для достижения приемлемых скоростей нахождения правильного ответа вместо метода простого перебора всех вариантов используется абдуктивный метод поиска.

      Практическая  ценность заключается в использовании  базы приборов и физико-технических эффектов. Также практические возможности ускорения поиска решения предоставляет абдуктивный логический вывод.

      Реализация  результатов работы заключается  в реализации механизма абдуктивного логического вывода с применением  фонда ФТЭ и приборов. 

      Содержание работы

 

  

      Синтез  физических принципов действия

 

 

      Поиск физических принципов действия (ФПД) технических объектов и технологий – один из самых высоких уровней  инженерного творчества, позволяющий  получать принципиально новые решения, включая и пионерные. С другой стороны разработка ФПД – это и наиболее сложная задача инженерного творчества, так как человек вынужден варьировать и оценивать не только конструктивные признаки, обычно хорошо обозримые и логически увязанные друг с другом. Здесь приходится абстрагироваться на уровне физико-технических эффектов (ФТЭ), не всегда очевидных и достаточно глубоко познанных.            

Основная трудность  состоит в том, что инженер  обычно знает до 200, а достаточно свободно использует не более 100 ФТЭ, хотя в научно-технической литературе их описано более 3000. Кроме того, в связи с возрастающими темпами развития науки и техники, число ФТЭ постоянно увеличивается. Поэтому в наше время у разработчиков новой техники существует очень большой и постоянно возрастающий дефицит информации, необходимой для решения задач поиска новых ФПД. 

      Фонд  физико-технических эффектов

 

 

      В основе автоматизированного синтеза  ФПД лежит база данных, в которой  каждый ФТЭ имеет трёхуровневое  описание. На первом уровне даётся самое  короткое качественное описание ФТЭ. На втором уровне приводится стандартная карта описания ФТЭ размером в одну страницу, где даётся наиболее важная и легко обозримая информация о ФТЭ и его использование в технике. Третий уровень описания совместно с информацией второго уровня даёт более подробное описание ФТЭ, объём которого обычно составляет 5-10 страниц. Он имеет следующие рубрики:

1.      Наименование ФТЭ.

2.      Наименование физических законов и явлений, на которых основан ФТЭ.

3.      Вход А.

4.      Объект В.

5.      Выход С.

6.      Сущность и схема ФТЭ.

7.      Математическая модель ФТЭ.

8.      Существование обратного ФТЭ.

9.      Применение ФТЭ в технике.

10.  Инженерно-технические характеристики ФТЭ.

11.  Дополнительная полезная информация.

12.  Карта описания ФТЭ.

13.  Список литературы.    
 

Структурное представление            

Технический объект имеет назначение или цель создания, называемые потребностью. Описание потребности  формализовано можно представить  в виде трёх компонент:            

P = (D, G, H),

где D – указание действия, производимого рассматриваемым ТО и приводящего к необходимому результату; G – указание объекта или предмета обработки; H – указание особых условий или ограничений.             

Для реализации ФПД необходима техническая функция (ТФ), описание которой состоит из двух частей:            

F = (P, Q),

где P – удовлетворяемая потребность; Q – физическая операция, с помощью которой реализуются потребности.             

Описание физической операции  (ФО) формализовано можно представить состоящим из трёх компонент:            

Q = (A_T, E, C_T),          или      Q = (A_T → E → C_T),

где A_T, C_T – входной и выходной поток вещества, энергии или информации, E – наименование операции Коллера по превращению или преобразованию A_T в C_T . Это описание отвечает на вопросы “что” (A_T), “как” (E), “во что” (C_T) преобразуется с помощью описываемого ТО.            

Большинство технических  объектов (ТО) состоит из нескольких элементов и могут быть естественным образом разделены на части. Каждый элемент как самостоятельный ТО выполняет определённую функцию и реализует определённую физическую операцию, т. е. Между элементами имеют место два вида связей и соответственно два вида их структурной организации.            

Во-первых, элементы имеют определённые функциональные связи друг с другом, которые образуют конструктивную функциональную структуру. Конструктивная ФС представляет собой ориентированный граф, вершинами которого  являются наименования элементов, а рёбрами – функции элементов.             

Во-вторых, между  элементами ТО имеются потоковые связи, т. е. элементы, реализуя определённые физические операции, образуют поток преобразуемых или превращаемых веществ, энергии, информации или других факторов. В сложных ТО часто присутствуют несколько взаимосвязанных потоков.            

Взаимосвязанный набор ФО, реализующих один определённый поток, преобразований вещества, энергии  или информации, или несколько  взаимосвязанных потоков является потоковой функциональной структурой. Потоковая ФС представляет собой  граф, вершинами которого являются наименования элементов ТО или наименования операций КоллераE, а рёбрами – входные A_T и выходные C_T потоки.            

Различают две  разновидности потоковой ФС: конкретизированная потоковая ФС, у которой в вершинах графа указаны наименования элементов; абстрагированная потоковая ФС, у которой в вершинах указаны наименования операций Коллера. Абстрагированную потоковую ФС называют также структурой физических операций.            

Конструктивная  ФС и потоковая ФС дополняют друг друга. При решении различных прикладных задач используют или только конструктивную ФС, или потоковую ФС, или одновременно обе разновидности.            

В потоковой  ФС каждый элемент реализует определённую физическую операцию. Такая реализация происходит на основе одного или нескольких физико-технических эффектов (ФТЭ).            

ФТЭ – это  различные приложения физических законов, закономерностей и следствий  из них, физические эффекты и явления, которые могут быть использованы в технических устройствах. Как  правило, в физико-технических эффектах имеется определённая причинно-следственная связь между «входом» и «выходом». Физико-технический эффект должен иметь стандартное формализованное описание, удобное для технических приложений и машинной обработки. Наиболее обобщённое качественное описание физико-технического эффекта состоит из трёх компонент:            

(A, B, C),         или      (A → B → C),

где A – входной поток вещества, энергии или информации; C – выходной поток; B – физический объект, обеспечивающий или осуществляющий преобразование A в C. Например, ФТЭ “Закон Джоуля – Ленца” имеет вид:

      электрический ток → проводник → теплота.    

      Модель  поиска новых технических решений

 

 

      Для поиска ФПД (или новых технических  решений) необходимо использовать некоторую  модель представления и хранения знаний, в которой учитывают:

-         физико-технические эффекты ФТЭ;

-         физические операции ФО;

-         базу параметров;

-         приборы измерения параметров;

-         приборы изменения параметров, которые фактически представляют собой реализованные технические решения;

      Имеется прямое соответствие между операцией  Коллера в ФО и объектом в ФТЭ. Для большего удобства операцию Коллера E и объект B следует заключить в одну структуру, объединив таким образом ФО и ФТЭ.

      Поиск представляет собой перебор возможных вариантов в цепочке из нескольких преобразований с учётом качественных и/или количественных ограничений входных и выходных потоков. Следует также отметить комбинаторную сложность поставленной задачи. Ведь при глубине поиска 5 и более задача представляется трудноразрешимой при прямом переборе вариантов решения.

      Покажем общую структуру поиска, представленную на следующем рисунке.  

           
 

      Рисунок 1. Поиск цепочек при известных  ФТЭ

 

 

      База  физико-технических эффектов может  динамически пополняться новыми знаниями. Кроме того, рассматривается  возможность использования виртуальных, ещё не существующих записей в базе ФТЭ. Такое усложнение сопряжено с определёнными трудностями, но в результате мы можем получить высокоэффективные решения и даже сделать неожиданные и перспективные выводы. 

      Абдукция

 

 

      В настоящее время абдукция воспринимается (после дедукции) как важнейший тип вывода, применяемый в интеллектуальных системах. На языке пропозициональной логики задачу абдукции можно сформулировать следующим образом.