nedoPC.org

Electronics hobbyists community established in 2002
Atom Feed | View unanswered posts | View active topics It is currently 28 Mar 2024 09:19



Reply to topic  [ 81 posts ]  Go to page Previous  1, 2, 3, 4, 5, 6  Next
Программирование с помощью троичной логики 
Author Message
Retired

Joined: 03 Aug 2003 22:37
Posts: 1474
Location: Moscow
Reply with quote
Shaos wrote:
А что обдумывать? Делать надо - по аналогии с Прологом, но с новыми правилами.

Я вот подумал, не написать ли троичный Пролог на классическом двоичном ? По-моему это в чём-то проще, чем писать с нуля свою машину.

Quote:
Кстати тот сайт что сбил меня с толку уже опять не существует...

Обычное дело для буржуйских сайтов публикующих более-менее серьезные материалы по троичной тематике. Они почему-то пропадают без видимой причины. Остается только копировать максимум материалов при первом же посещении.


04 Jun 2007 21:57
Profile
Admin
User avatar

Joined: 08 Jan 2003 23:22
Posts: 22409
Location: Silicon Valley
Reply with quote
Mac Buster wrote:
Shaos wrote:
А что обдумывать? Делать надо - по аналогии с Прологом, но с новыми правилами.

Я вот подумал, не написать ли троичный Пролог на классическом двоичном ? По-моему это в чём-то проще, чем писать с нуля свою машину.


Ну в принципе у Братко описан пример с положительными и отрицательными фактами - можно от него отталкиваться.


04 Jun 2007 22:05
Profile WWW
Admin
User avatar

Joined: 08 Jan 2003 23:22
Posts: 22409
Location: Silicon Valley
Reply with quote
Shaos wrote:

"Математическая логика" кстати в 1973 в СССР издавалась (год моего рождения ;=) а "Введение в математику" и вообще - 1957...

P.S. Купил переизданный англоязычный оригинал "математической логики" за 17 долларов на amazon.com


Пришла книга 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
Profile WWW
Retired

Joined: 03 Aug 2003 22:37
Posts: 1474
Location: Moscow
Reply with quote
Я нашёл русское издание книги Клини пятидесятых годов, можно посмотреть насчёт троичной логики там.


09 Jun 2007 23:16
Profile
Admin
User avatar

Joined: 08 Jan 2003 23:22
Posts: 22409
Location: Silicon Valley
Reply with quote
Mac Buster wrote:
Я нашёл русское издание книги Клини пятидесятых годов, можно посмотреть насчёт троичной логики там.


Да - эта книга и есть. Посмотри, а то тут она за сотню баксов зашкаливает...


10 Jun 2007 08:37
Profile WWW
Admin
User avatar

Joined: 08 Jan 2003 23:22
Posts: 22409
Location: Silicon Valley
Reply with quote
с другой стороны перечисление всех отрицательных фактов в пределах программы просто нереально - во всяком случае это сильно усложнит программирование как таковое...


12 Jun 2007 18:35
Profile WWW
Admin
User avatar

Joined: 08 Jan 2003 23:22
Posts: 22409
Location: Silicon Valley
Reply with quote
Shaos wrote:
с другой стороны перечисление всех отрицательных фактов в пределах программы просто нереально - во всяком случае это сильно усложнит программирование как таковое...


Хотя это не проблема, если мы имеем на вооружении отрицательные правила. Пример:

boy(john).
boy(ben).
boy(doug).
girl(nora).
girl(lara).
\girl(X):-boy(X). // правило: мальчик - это не девочка
\boy(X):-girl(X). // правило: девочка - это не мальчик


13 Jun 2007 16:50
Profile WWW
Admin
User avatar

Joined: 08 Jan 2003 23:22
Posts: 22409
Location: Silicon Valley
Reply with quote
Shaos wrote:

Похоже надо искать более раннюю книгу S.Kleene "Introduction of mathematics" (1952), во всяком случае на неё ссылается третья глава книги R.Turner "Logics for artificial intelligence" (1984), также там упоминаются книги Лукасевича (1920 и 1930), а также некая Susan Haack, которая в 1974 и 1978 делала анализ всех троичных логик (Devian logic и Philosophy of logics).


Получил "Deviant Logic" - она кроме всего прочего ссылается на две работы Васлильева 1910 и 1911 годов. Также по нестандартной логике приводятся и более ранние ссылки - Peirce 1902 и MacColl 1906. Кстати работа Kleene 1952 года тут обозначена как "Introduction to Metamathematics".


18 Jun 2007 20:10
Profile WWW
Retired

Joined: 03 Aug 2003 22:37
Posts: 1474
Location: Moscow
Reply with quote
Shaos wrote:
Получил "Deviant Logic" - она кроме всего прочего ссылается на две работы Васлильева 1910 и 1911 годов.

Как мы с тобой выяснили, работы Васильева отличаются от того что нас с интересует, т.к. в качестве третьего - индифферентного - состояния у него выступает противоречие.

Quote:
Также по нестандартной логике приводятся и более ранние ссылки - Peirce 1902 и MacColl 1906.

Так мы доберемся до самого Лалана или даже до Фаулера ;)

Quote:
Кстати работа Kleene 1952 года тут обозначена как "Introduction to Metamathematics".

Эта книга так же переведена на русский язык.


19 Jun 2007 22:02
Profile
Admin
User avatar

Joined: 08 Jan 2003 23:22
Posts: 22409
Location: Silicon Valley
Reply with quote
Mac Buster wrote:
Shaos wrote:
Получил "Deviant Logic" - она кроме всего прочего ссылается на две работы Васлильева 1910 и 1911 годов.

Как мы с тобой выяснили, работы Васильева отличаются от того что нас с интересует, т.к. в качестве третьего - индифферентного - состояния у него выступает противоречие.


Ну для коллекции можно иметь...

Mac Buster wrote:
Quote:
Также по нестандартной логике приводятся и более ранние ссылки - Peirce 1902 и MacColl 1906.

Так мы доберемся до самого Лалана или даже до Фаулера ;)


Ну у Фаулера вроде троичная система счисления использовалась, а не троичная логика как таковая?

Mac Buster wrote:
Quote:
Кстати работа Kleene 1952 года тут обозначена как "Introduction to Metamathematics".

Эта книга так же переведена на русский язык.


Угу - их две было:
Введение в метаматематику - 1957
Математическая логика - 1973

И ты вроде обещал "метаматематику" поискать ;)


20 Jun 2007 20:52
Profile WWW
Retired

Joined: 03 Aug 2003 22:37
Posts: 1474
Location: Moscow
Reply with quote
Quote:
Ну у Фаулера вроде троичная система счисления использовалась, а не троичная логика как таковая?

Да, я знаю только об использовании им уравновешенной троичной системы счисления.

Quote:
И ты вроде обещал "метаматематику" поискать ;)

Да я в общем-то нашёл, правда стоит она почти вдвое дороже Васильева =) Я сразу столько не осилю ;)


21 Jun 2007 14:22
Profile
Admin
User avatar

Joined: 08 Jan 2003 23:22
Posts: 22409
Location: Silicon Valley
Reply with quote
Mac Buster wrote:
Quote:
И ты вроде обещал "метаматематику" поискать ;)

Да я в общем-то нашёл, правда стоит она почти вдвое дороже Васильева =) Я сразу столько не осилю ;)


Троичный фонд тебе в помощь ;)


21 Jun 2007 19:24
Profile WWW
Retired

Joined: 03 Aug 2003 22:37
Posts: 1474
Location: Moscow
Reply with quote
Стоимость этих двух книг уже больше суммы имеющейся в фонде.


22 Jun 2007 11:30
Profile
Admin
User avatar

Joined: 08 Jan 2003 23:22
Posts: 22409
Location: Silicon Valley
Reply with quote
Mac Buster wrote:
Стоимость этих двух книг уже больше суммы имеющейся в фонде.


Тогда это слишком дорого...


22 Jun 2007 13:55
Profile WWW
Retired

Joined: 03 Aug 2003 22:37
Posts: 1474
Location: Moscow
Reply with quote
Если с Клини дело можно исправить, поискав его книги у знакомых букинистов и договориться снизить стоимость раз в пять, то с Васильевым дело - труба: найти практически невозможно. Переиздавать, разумеется, не думают.


24 Jun 2007 11:58
Profile
Display posts from previous:  Sort by  
Reply to topic   [ 81 posts ]  Go to page Previous  1, 2, 3, 4, 5, 6  Next

Who is online

Users browsing this forum: No registered users and 12 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

Search for:
Jump to:  
cron
Powered by phpBB® Forum Software © phpBB Group
Designed by ST Software.