Введение к работе
Предмет исследования и его актуальность. Диссертация посвящена одной из традиционных в логике тем -.теме "Рассуждения пс? аналогии". Интерес к аналогии не ослабевал на всем протяжении развития логики и философии. В своих работах к аналогии обращались Аристотель, схоласты, Ч. Пирс, Милль, русские логики XIX века Каринский, Рутковский.
В то время как изучение дедуктивных и индуктивных рассуждении происходило интенсивно и к настоящему времени существует большое количество логических систем для представления рассужде-нии данного вида, изучению рассуждений по аналогии не уделялось должного внимания.
В настоящее время в связи с развитием такого нового направления в науке, как искусственный интеллект и попытками моделировать наиболее естественные для человека способы ргссуждений значительно возрос интерес к правдоподобным рассуждениям и, в частности, к рассуждениям по аналогии'.
Новое обращение к рассуждениям по"аналогии выразилось в попытках создания формальных систем эксплицирующих такой способ рассуждений. В зарубежной^литературе существует ряд работ, в которых для представления рассуждений по аналогии'используются разнообразные средства логики и математики: нечеткие множества Сработы Nakamura R.K.), теория категорий, теория графов С работы Potschke D.>, существует теоретико-модельный' подход к решению этой проблемы Сработы Thiele н.Э, известны работы Арикаил С. и Харагути М. , где аналогия рассматривается, как частичное тождество между моделями и другие. Японские авторы Арнкава С. и X.ipary-тн М. считают, что теория рассуждений по аналогии должна рас-
сматриваться наравне с теориями дедуктивных и индуктивных рассуждений и взаимодействовать с ними. Только объединив яти три типа рассуждений в единую систему возможно создание информационной системы пнаний (knoulege Information system).
В отечественной литературе по проблемам формализации прав^ доподобных рассуждений наиболее известными являются работы Н. Финна.
Аналогия так же является эффективным средством, используемым в моделировании при исследовани сложных и малоизученных объ-. ектов. Хорошо известной аналоговой моделью является модель атома Резерфода. Также известной моделью для изучения прохождения тока в электрической цепи является модель, построенная на основании' ' аналогии электрического тока с движением жидкости.
Основная стратегия диссертационного исследования была следующей: рассмотрев основные подходы к представлению аналогии, а также.примеры использования аналогии при создании систем искусственного интелекта, построить логическую систему рассуждений по аналогии с'целью исследования свойств аналогии.
В связи с важностью использования аналогии в моделировании,'
рассмотреть основные втапы в процессе моделирования и, остано
вившись на наиболее сложном из них - переносе результатов иссле
дования модели на оригинал, средствами логики прояснить отноше
ния между оригиналом и аналоговой моделью на данном етапе. '
..Целью р а о о т ы является . анализ понятия аналогии
средствами лопшц.
В соответствии с поставленной целью в диссертации решаются следующие задачи:
- Кратко показать, что интерес к изучению рассуждений по
аналогии не ослабевал на всем протяжении развития логики и фило
софии. . ,.
- Проанализировать различные системы для рассуждениП по
аналогии, показать их особенности, преимущества и недостатки.
> - Предложить правило- аналогии. . позволяющее осуществлять , правдоподобные заключения по аналогии.
-. Построить полимодальнум логическую систему S для рассуждениП по аналогии. , - Показать дефишщнальную эквивалентность логической системы 3 . и модальной логики S .
- Показать широкое применение рассуждениП по аналогии по
. > многих областях искусственного интеллекта.
- Показать эффективность использования аналогии в моделиро
вании. .
- - Используя средства теории моделей, описать отношение между объектами, первый из которых является оригиналом, а второй -, его моделью в условиях аналогового моделирования.
.','- Показать приложение некоторых результатов еориіі моделей .Ссохранение, свойства истинности высказываний некоторых видов при . переходе от одних модели к другим') к аналовогому. моделированию. На защиту выносятся следующие н а у ч н "ы е "результат ы, 'полученные, в диссертации:
-Предложено правило аналогии, позволяющее осуществлять правдоподобные заключения по аналогии.
Построена полимодальная логическая система 3 для рассуй.-дений по аналогии.
Доказана непротиворечивость н полнота полимолалыюй логики S .
А -
- Доказана дефинициальная окшіоалентпость логическоіі систе
мы s и модальної! логики s .
Проведено сравнение предложенногр правила аналогии с правилом аналоги» японских авторов Арпкява С. и Харагути М.
Описано отношение между объектами, первый из которых пь-г ляется оригиналом, а второй - его моделью н условиях аналогового моделирования с использованием средств теории моделей.'
Показано приложение некоторых результатов теории моделей С сохранение свойства, истинности высказывании некоторых видов при переходе от одних модели к другим}' к аналоговому моделированию.
Практическая значимость работы за-: ключается в том, что полученные результаты могут быть использованы в теоретических .исследования по правдоподобным рассуждени-. ям, также при Моделировании рассуждении по аналогии в системах искусственного интеллекта. Помимо этого результаты, представленные в диссертации могут быть включены в курс логики по теме "Аналогия".
