Author |
Message |
Mac Buster
Retired
Joined: 03 Aug 2003 22:37 Posts: 1474 Location: Moscow
|
Я вот подумал, не написать ли троичный Пролог на классическом двоичном ? По-моему это в чём-то проще, чем писать с нуля свою машину.
Обычное дело для буржуйских сайтов публикующих более-менее серьезные материалы по троичной тематике. Они почему-то пропадают без видимой причины. Остается только копировать максимум материалов при первом же посещении.
|
04 Jun 2007 21:57 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22676 Location: Silicon Valley
|
Ну в принципе у Братко описан пример с положительными и отрицательными фактами - можно от него отталкиваться.
|
04 Jun 2007 22:05 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22676 Location: Silicon Valley
|
Пришла книга S.Kleene "Mathematical logic" (1967) переизданная в 2002 году и в ней вообще нет упоминания про троичную логику
Похоже надо искать более раннюю книгу S.Kleene "Introduction of mathematics" (1952), во всяком случае на неё ссылается третья глава книги R.Turner "Logics for artificial intelligence" (1984), также там упоминаются книги Лукасевича (1920 и 1930), а также некая Susan Haack, которая в 1974 и 1978 делала анализ всех троичных логик ( Devian logic и Philosophy of logics).
|
09 Jun 2007 14:57 |
|
|
Mac Buster
Retired
Joined: 03 Aug 2003 22:37 Posts: 1474 Location: Moscow
|
Я нашёл русское издание книги Клини пятидесятых годов, можно посмотреть насчёт троичной логики там.
|
09 Jun 2007 23:16 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22676 Location: Silicon Valley
|
Да - эта книга и есть. Посмотри, а то тут она за сотню баксов зашкаливает...
|
10 Jun 2007 08:37 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22676 Location: Silicon Valley
|
с другой стороны перечисление всех отрицательных фактов в пределах программы просто нереально - во всяком случае это сильно усложнит программирование как таковое...
|
12 Jun 2007 18:35 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22676 Location: Silicon Valley
|
Хотя это не проблема, если мы имеем на вооружении отрицательные правила. Пример:
boy(john).
boy(ben).
boy(doug).
girl(nora).
girl(lara).
\girl(X):-boy(X). // правило: мальчик - это не девочка
\boy(X):-girl(X). // правило: девочка - это не мальчик
|
13 Jun 2007 16:50 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22676 Location: Silicon Valley
|
Получил "Deviant Logic" - она кроме всего прочего ссылается на две работы Васлильева 1910 и 1911 годов. Также по нестандартной логике приводятся и более ранние ссылки - Peirce 1902 и MacColl 1906. Кстати работа Kleene 1952 года тут обозначена как "Introduction to Metamathematics".
|
18 Jun 2007 20:10 |
|
|
Mac Buster
Retired
Joined: 03 Aug 2003 22:37 Posts: 1474 Location: Moscow
|
Как мы с тобой выяснили, работы Васильева отличаются от того что нас с интересует, т.к. в качестве третьего - индифферентного - состояния у него выступает противоречие. Так мы доберемся до самого Лалана или даже до Фаулера
Эта книга так же переведена на русский язык.
|
19 Jun 2007 22:02 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22676 Location: Silicon Valley
|
Ну для коллекции можно иметь... Ну у Фаулера вроде троичная система счисления использовалась, а не троичная логика как таковая?
Угу - их две было:
Введение в метаматематику - 1957
Математическая логика - 1973
И ты вроде обещал "метаматематику" поискать
|
20 Jun 2007 20:52 |
|
|
Mac Buster
Retired
Joined: 03 Aug 2003 22:37 Posts: 1474 Location: Moscow
|
Да, я знаю только об использовании им уравновешенной троичной системы счисления.
Да я в общем-то нашёл, правда стоит она почти вдвое дороже Васильева =) Я сразу столько не осилю
|
21 Jun 2007 14:22 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22676 Location: Silicon Valley
|
Троичный фонд тебе в помощь
|
21 Jun 2007 19:24 |
|
|
Mac Buster
Retired
Joined: 03 Aug 2003 22:37 Posts: 1474 Location: Moscow
|
Стоимость этих двух книг уже больше суммы имеющейся в фонде.
|
22 Jun 2007 11:30 |
|
|
Shaos
Admin
Joined: 08 Jan 2003 23:22 Posts: 22676 Location: Silicon Valley
|
Тогда это слишком дорого...
|
22 Jun 2007 13:55 |
|
|
Mac Buster
Retired
Joined: 03 Aug 2003 22:37 Posts: 1474 Location: Moscow
|
Если с Клини дело можно исправить, поискав его книги у знакомых букинистов и договориться снизить стоимость раз в пять, то с Васильевым дело - труба: найти практически невозможно. Переиздавать, разумеется, не думают.
|
24 Jun 2007 11:58 |
|
|