|
nedoPC.orgElectronics hobbyists community established in 2002 |
|
Программирование с помощью троичной логики
Author |
Message |
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22756 Location: Silicon Valley
|
Есть предложение найти Клини в библиотеке и снять копии с нужных страниц - то что нам надо должно занимать немного...
|
24 Jun 2007 19:22 |
|
|
Mac Buster
Retired
Joined: 03 Aug 2003 22:37 Posts: 1474 Location: Moscow
|
"Метаматематики" и Васильева в Ленинской библиотеке нет. В "Логике" Клини троичная логика упоминается всего раз =)
|
07 Jul 2007 13:25 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22756 Location: Silicon Valley
|
Подытоживаю обсуждение последних лет:
В некоторых источниках вышеприведённая табличка называется "конъюнкция Клини" (Kleene) в данном случае это можно рассматривать как гипотезы относительно значения p, которые рассматриваются последовательно на самом деле это немного спорное изменение - это надо ещё обсуждать...
это чтобы получить положительный ответ, а ведь ответ может быть не только положительным или отрицательным, но и неизвестным...
P.S. Можно попробовать использовать + и - в качестве первого символа для обозначения положительых и отрицательных фактов и правил.
|
23 Mar 2009 19:39 |
|
|
b2m
Devil
Joined: 26 May 2003 06:57 Posts: 871
|
А вы не забыли, что решений может быть несколько, и игнорировать "b" не совсем корректно. В общем случае будет несколько истинных решений, несколько ложных и несколько решений с признаком недоказанности. Хотя, последние можно отбросить, аналогично тому, как нормальный Пролог отбрасывает ложные решения. Вопрос только в том, как трактовать наличие одновременно истинных и ложных решений для терма с определённым (одинаковым) набором агрументов в троичном Прологе? Я думаю в этом случае можно было бы установить признак недоказанности и отбросить таковые решения, либо ввести признак противоречия.
|
03 Apr 2009 13:43 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22756 Location: Silicon Valley
|
Если решений несколько - делаем как в прологе: юзер сообщает системе что ему нужно следующее решение и пролог его ему выдаёт
Противоречие в базе знаний - штука от которой практически не избавится, т.е. будем считать что оно имеет право на жизнь, а корректным решением по умолчанию будем считать первое попавшееся...
|
03 Apr 2009 20:39 |
|
|
b2m
Devil
Joined: 26 May 2003 06:57 Posts: 871
|
Эквивалентная программа на ПРОЛОГе:
boy(john,yes).
boy(nora,no).
girl(X,R1):-my_not(R1,R2),boy(X,R2).
my_not(yes,no).
my_not(no,yes).
Нужно только иметь ввиду, что ответ Пролога No означает unknown, а при ответе Yes нужно смотреть значение второго параметра.
|
04 Apr 2009 00:31 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22756 Location: Silicon Valley
|
| | | | b2m wrote: Эквивалентная программа на ПРОЛОГе: boy(john,yes). boy(nora,no). girl(X,R1):-my_not(R1,R2),boy(X,R2). my_not(yes,no). my_not(no,yes).
Нужно только иметь ввиду, что ответ Пролога No означает unknown, а при ответе Yes нужно смотреть значение второго параметра.
| | | | |
Это скорее не "эквивалентная" программа, а программа на обычном прологе, которая показывает как бы работал троичный пролог
|
04 Apr 2009 22:14 |
|
|
b2m
Devil
Joined: 26 May 2003 06:57 Posts: 871
|
Кстати, ответ Пролога Yes/No нужно понимать не как истина/ложь, а как найдено/не найдено. А вот что конкретно найдено (или нет) зависит уже от программы. Это к вопросу о троичности. Интересно, какой третий ответ возможен в ряду: найдено, не найдено, ...?
|
05 Apr 2009 10:32 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22756 Location: Silicon Valley
|
Никто не спорит, что на обычном прологе можно написать интерпретатор троичного
Просто хотелось бы сразу на уровне языка иметь возможность получать троичность:
- найдено положительное решение;
- найдено отрицательное решение;
- решение не найдено т.е. неизвестно...
|
05 Apr 2009 15:55 |
|
|
Mac Buster
Retired
Joined: 03 Aug 2003 22:37 Posts: 1474 Location: Moscow
|
Я почему-то думал что текущая реализация даёт ответ вроде "На основании имеющихся данных решение имеется" и "Имеющихся данных недостаточно или ответ парадоксален".
Соответственно в троичной реализации мы имеем возможность разделить второй вариант на два полноценных и независимых: "Имеющихся данных недостаточно (для однозначного ответа)" и "Ответ парадоксален".
|
06 Apr 2009 15:08 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22756 Location: Silicon Valley
|
Ну насколько я знаю обычный пролог не оперирует понятием "парадоксальности" - ответ либо есть, либо нет (невозможно сформулировать на основе имеющейся базы знаний). Троичный же пролог будет предлагать три вариант - ответ положительный, ответ отрицательный и ответ неизвестен (невозможно сформулировать на основе имеющейся базы знаний).
|
09 Apr 2009 13:13 |
|
|
b2m
Devil
Joined: 26 May 2003 06:57 Posts: 871
|
Насколько я понимаю, он отвечает: утверждение доказано - да/нет.
Т.е. троичный пролог должен отвечать: утверждение доказано - да/нет/доказано обратное.
P.S. Как-то странно отсортированы темы в этом форуме, обычно ведь по дате последнего сообщения сортируется?
_________________Страничка эмулятора наших компьютеров
http://bashkiria-2m.narod.ru/
|
21 Sep 2012 02:14 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22756 Location: Silicon Valley
|
Да - это сюрприз для меня, что phpBB сортирует топики не по дате последнего сообщения, а по ИДЕНТИФИКАТОРУ последнего сообщения (post_id), который для всех эммигрантов с Ternary.info находится в маленьких номерах (1...3000) и заведомо меньше топиков-старожилов...
|
15 Aug 2021 17:42 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22756 Location: Silicon Valley
|
Хм, а как я это сделал? Я вроде просто линк хотел в телегу поставить, а оно вот взяло и "бампнулось"... P.S. А всё - увидел. Слева вверху под названием топика есть ряд опций, одна из которых "Поднять тему" (она правда не у всех тем появляется)
|
15 Aug 2021 20:03 |
|
|
Lavr
Supreme God
Joined: 21 Oct 2009 08:08 Posts: 7777 Location: Россия
|
А я тебя спрашивал в личку как-то про опцию Поднять тему. Но ты мне ответил, что такой опции вроде нет. Отчасти правда - порой она есть, а порой не найдёшь, принцип появления опции непонятен...
_________________ iLavr
|
16 Aug 2021 00:24 |
|
|
Who is online |
Users browsing this forum: No registered users and 4 guests |
|
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot post attachments in this forum
|
|