ProDomainer.ru - Клуб Домейнеров  
     

Войти через OpenID
Left Nav Справка ПортфолиоАукцион (39) Календарь Поиск Сообщения за день Все разделы прочитаны Right Nav

Left Container Right Container
 
Старый 23.01.2015, 19:39   #1
Член Клуба ProDomainer.ru
 

Аристотелевская логика

Спорил тут с одним "умником". В общем обсуждали предикатную логику. Дескать она абсолютна. Поскольку ребенок сдулся, и всё что может сказать, так это "Вы меня всего на 10 лет старше, это не повод мне тыкать", то скопирую мои мысли сюда. Жалко свои многобуквы выкидывать....


Итак первое. Ущербность логики:
В том то вся фишка, что предикатная логика это как математика для младшей школы - забавно, но на практике применимо слабо....
В теории хорошо, в простых задачах хорошо. На практике сильно быстро упирается в технические ограничения. Возьмем к примеру шахматы. Теория игр определяет шахматы как обычную игру с
седловой точкой, полной информацией и всё такое. Теория утверждает, что у шахмат существует универсальная стратегия которая вне зависимости от игры противника будет приводить к лучшему результату. Однако если для игры в крестики-нолики "вычислительной мощности" нашей головы нам хватает, чтобы вычислить такую стратегию, то даже для шашек, всех компьютеров не хватит чтобы найти такую стратегию. С другой стороны компьютеры успешно играют в шахматы, и даже выигрывают у гроссмейстеров. Ну да это игры с полной информацией. Тут вообще всё просто... А что делать с неполной информацией? Ну тут тоже теория дает нам простые решения.... а что делать с неполной и НЕЧЕТКОЙ информацией? Тут уже наша теория не работает.... Но это не повод
считать Нэша идиотом, равно как и выкидывать теорию игр на помойку.....


Теперь "изобретаем логику":
что такое предикатная логика? Давайте ее "изобретем" вместе.
Что такое предикатная логика? Судя по ее названию она работает с предикатами. Предикат это некое утверждение, у которого может быть два значения - "истина" и "ложь". Это первое ограничение нашей логики (реально уже второе, мы уже разбили на отдельные предикаты, а в реальности они взаимосвязаны, но поскольку у нас только два состояния, и нет полутонов, то взаимосвязями можно пренебречь).

Давайте введем еще одно ограничение, чтобы было проще. Мы предположим, что операции с предикатами осуществляются с помощью элементарных операций. Список их мы выведем позже, но договоримся, что он ограничен.

Какие операции возможны с одиночным предикатом? Есть два варианта - мы оставляем его без изменения, или инвертируем (логическое отрицание, истину меняем на ложь, ложь на истину).

Очевидно, что для двух входов у нас существует 16 вариантов наших операторов.

А = 0 В = 0 С = С1
А = 0 В = 1 С = С2
А = 1 В = 0 С = С3
А = 1 В = 1 С = С4

№1 - с1 = 0 с2 = 0 с3 = 0 с4 = 0 - вне зависимости от входов, выход всегда ложь. Практически не интересный оператор
№2 - с1 = 0 с2 = 0 с3 = 0 с4 = 1 истина только если входы А и В истины. Так и назовем - оператор "И"
№3 - с1 = 0 с2 = 0 с3 = 1 с4 = 0 истина только если истинно А, и при этом В ложно. Можно записать как (А И "НЕ В"), математически равноправен с №2, но поскольку оператор "НЕ" у нас уже есть, а №2 интуитивно проще, то мы можем его отбросить, и оставить только №2.
№4 - с1 = 0 с2 = 0 с3 = 1 с4 = 1 вне зависимости от входа В, у нас всегда выход будет равен А. Неинтересный оператор.
№5 - с1 = 0 с2 = 1 с3 = 0 с4 = 0 Аналогично №3, если поменять местами А и В.
№6 - с1 = 0 с2 = 1 с3 = 0 с4 = 1 вне зависимости от входа А, выход равен входу В. Неинтересный оператор.
№7 - с1 = 0 с2 = 1 с3 = 1 с4 = 0 истина, тогда и только тогда, когда ТОЛЬКО ОДИН ИЗ двух взодов истинный, и соответственно ложный если входы равны между собой. Так называемое "исключающее ИЛИ", т.е. истина одного входа исключает истинность второго, а ложность автоматически делает истинным его альтернативу. К примеру женщина может быть или беременной или не беременной, но не может быть беременной и небеременной одновременно, и не может быть одновременно "не беременной" и "не не беременной"... Пример с мужчиной и женщиной более красивый, но мы забываем о гермафродитах, нетрадиционных гендерах и т.п. (ограничение, да, но неочевидное)
№8 - с1 = 0 с2 = 1 с3 = 1 с4 = 1 истинно, если хотябы один из входов истинный, т.е. "не исключающее ИЛИ". В отличии от своего собрата №7 он истинный и тогда, когда истинны оба входа.

№9 - с1 = 1 с2 = 0 с3 = 0 с4 = 0 истинный только если оба входа ложные. Вполне себе имеет право на существование, но мы его заменим на ("НЕ А" И "НЕ В") просто в силу традиции, как и раньше мы могли бы №2 вывести из №9 а не наоборот.
№10 - с1 = 1 с2 = 0 с3 = 0 с4 = 1 истинно если оба входа равны между собой.
№11 - с1 = 1 с2 = 0 с3 = 1 с4 = 0 вне зависимости от А у нас на выходе будет "НЕ В". Неинтересно.
№12 - с1 = 1 с2 = 0 с3 = 1 с4 = 1 *****
№13 - с1 = 1 с2 = 1 с3 = 0 с4 = 0 Очевидный "НЕ А". Неинтересен.
№14 - с1 = 1 с2 = 1 с3 = 0 с4 = 1 *****
№15 - с1 = 1 с2 = 1 с3 = 1 с4 = 0 Истинный если хоть один из входов ложный.
№16 - с1 = 1 с2 = 1 с3 = 1 с4 = 1 - вне зависимости от входов, всегда истина, так что на практике вариант неинтересен


Пока сыро, я подредактирую... если не забуду

В любой ситуации выбор всегда за вами. Вы либо гуляете под дождем, либо просто под ним мокнете.
Mendel вне форума   Ответить с цитированием
Старый 07.02.2015, 19:59   #2
Пользователь
 

Аристотеля страшно не люблю.
Когда то пошел на свидание с одной красавицей. Взял в дорогу книжонку Аристотеля, стою читаю, придуриваюсь. Девушку проморгал.
Через неделю она говорит, пришла, ждала, и ушла...
Такие дела. Вот Вам и Аристотель.
miguel вне форума   Ответить с цитированием
Старый 25.05.2015, 14:32   #3
Член Клуба ProDomainer.ru
 

http://hpmor.ru/
http://lesswrong.ru/
http://schegl2g.bget.ru/bayes/YudkowskyBayes.html

Добавлено через 6 минут
http://forum.vingrad.ru/act-Print/cl.../t-136734.html

В любой ситуации выбор всегда за вами. Вы либо гуляете под дождем, либо просто под ним мокнете.
Mendel вне форума   Ответить с цитированием
Старый 25.05.2015, 18:13   #4
Член Клуба ProDomainer.ru
 

https://ru.wikipedia.org/wiki/%D0%98...86%D0%B8%D1%8F

В любой ситуации выбор всегда за вами. Вы либо гуляете под дождем, либо просто под ним мокнете.
Mendel вне форума   Ответить с цитированием
Ответ


Здесь присутствуют: 1 (пользователей: 0 , гостей: 1)
 
Опции темы
Опции просмотра

Ваши права в разделе
BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения
Быстрый переход


Часовой пояс GMT +4, время: 09:40.