Теория вывода в многозначных логиках

Теория вывода в многозначных логиках

Автор: Комендантский, Владимир Евгеньевич

Шифр специальности: 09.00.07

Научная степень: Кандидатская

Год защиты: 2003

Место защиты: Москва

Количество страниц: 155 с. ил

Артикул: 2610733

Автор: Комендантский, Владимир Евгеньевич

Стоимость: 250 руб.

Теория вывода в многозначных логиках  Теория вывода в многозначных логиках 



Предпошлм теперь формализованным изысканиям краткое содержательное истолкование смысла истинностных значений многозначных логик. Возьмм такое упорядочение истинности или упорядочение уверенности на множестве истинностных значений 0,1, которое сопоставляет О
т

т

Рис. Упорядочение истинности, упорядочение знания и решетка ЧЕТВЕРКА. Будем писать Р вместо 0 и Т вместо 1, как в левой части рисунка 1. Совершенно иная интерпретация истинностных значений, принятая в исследованиях искусственного интеллекта и программировании, это упорядочение знания или упорядочение информации, где 0 означает отсутствие знания, а 1 всезнание. Будем писать 1 вместо 0 и Т вместо 1, см. С философской точки зрения, в интерпретации этого типа находит сво отражение эпистемологическая неопределенность. Полезно иметь оба упорядочения в многозначной логике одновременно. Вслед за работой вообразим, что у нас есть множество распределенных агентов, работающих над одной проблемой. Каждый агент дает двухзначный ответ из множества Т, Р, упорядоченного по истинности. А что делать, если какойто агент не дал ответа, или же разные агенты дали разные ответы В первой ситуации мы ничего не знаем, а поэтому должны взять истинностное значение X во втором случае мы берем значение Т, чтобы смоделировать общее, даже противоречивое знание. Уникальпо определенные значения РиТ находятся в середине. В результате получается решетка алмаза знания, изображенная в правой части рисунка 1. Эта решетка вместе с порожденными ей многозначными логиками исследуется в многочисленных статьях, начиная возможно с Лукасевича , , который считал получающуюся логику модальной, осуществляя попытку создания модели аристотелевской модальной силлогистики. Рис. Семизначная решетка для моделирования транзисторов . Они оба, и в , и в , используют отрицание, которое переставляет 1 и Т, и Т. Решетка алмаза знания в частности удобна для передачи паранспротиворечивого знания, т. Решетка знания становится решеткой алмаза знания, если повернуть ее на градусов против часовой стрелки. Получается, что такие пересекающиеся решетки, где присутствуют оба вида упорядочения одновременно, могут быть обобщены из четырехзначного случая, см. Истинностные значения иногда мотивируются областями применения и имеют технический, а не логический смысл. Вот пример, взятый из у транзистора. Значения Т и соответствуют полным сигналам, тогда как и V соответствуют деградированным сигналам. Т и Т. Значение соответствует неподключенным узлам отсутствие сигнала. При данных условиях узел, в котором встречаются два сигнала х и у, вычисляется просто как точная верхняя грань в решетке индуцированной порядком Заметим, что у нас есть две решетки алмаза знания, соединенных вершинами друг друга. Транзисторы моделируются пропозициональными связками в логике, чья семантика определяется техническими характеристиками специфических транзисторов. В статье Эсакиа была дана естественная алгебраическая характеризация этой логики с помощью т. Получающаяся логика является суперинтуиционистской, она удовлетворяет ослабленному закону Пирса. В заключение упомянем о двух применениях многозначной логики в философских аргументах первое это парадокс кучи и его разрешение в логике Лукасевича. Л Одна крупинка песка не является кучей. Добавляя одно зернышко песка к i зернышкам, которые еще не куча, кучу не получим. С зернышек песка являются кучей. Утверждения Л, В и С классически противоречивы. Изменение размера Вх до, скажем, кучи из 0 зерен выглядит неправдоподобно, так же как и выбрасывание Л либо С. В логике Лукасевича можно разрешить данный парадокс допустив, что i меньше истины. Довольно частое применение Вх истощает доверие, заложенное в заключении, и таким образом разрешает парадокс. Более важным является результат Хайека и Париса о формализации парадокса лжеца задаваемого, например, предложением Это предложение ложно. Лукасевича, с применением многозначного предиката истинности. Пеано, которое, как известно, невозможно в классической логике. Интересно, что арифметика может оставаться классической, и только определение истипы должно быть многозначным.

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.190, запросов: 111