26 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Что бы увидеть настоящий Форт посмотрите:

https://github.com/perfectconsulting/figforth

Система разработана в 1978-1980 гг. группой из 9 системных программистов в США. Система реализована для целого ряда ЭВМ с различной архитектурой. В СССР получила распространение на ЭВМ СМ-4 с операционной системой ОС РВ, РАФОС и без операционной системы.

Его ядро, написанное на макроязыке ассемблера, занимает от 4 до 5 К байт и после загрузки в память ЭВМ позволяет вводить следующие определения уже непосредственно на языке ФОРТ. Общий объем словаря около 8 К (220 слов).

В реализации применен косвенный шитый код. Имеются загружаемый ассемблер и текстовый редактор.

По сути это просто куски ассемблера облагороженные 3 ссылками и названием в текстовом виде. То есть операционные коды с именами.

Мечта хакера, одним словом, а не язык. Особый тренд - отсутствие операционной системы как таковой. Потому что это пустая трата ресурсов и дополнительные бреши в безопасности кода.

Не одной питон библиотеке и да же многим СИ библиотекам доверять нельзя.

Поделиться

27 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Автор: *

Хочу просто уточнить, чтобы точнее понимать вашу беседу. Вы тут говорите о силлогизмах, реализованных на импликациях или импликациях, реализованных на силлогизмах?

В приведенном выше тексте кода реализация IF-ELSE, после того как стали популярны структурные языки в ущерб структурированным. Сделано на основе 

@ 0BRANCH ( p -- ) branch if the top of the stack is zero

defcode "0BRANCH",7,,ZBRANCH
        pop r0
        cmp r0, #0              @ if the top of the stack is zero
        beq code_BRANCH         @ then branch
        add IP, IP, #4          @ else, skip the offset
        NEXT

В структурированных языках (ДССП) были операции %IF ... %FI, IF+ P, IF0 P, IF- P, BR+ P1 P2, BR0 P1 P2, BR- P1 P2 .... Как видимо сразу же с троичной логикой.

https://github.com/ingeniarius/DSSP-32/ … ommand-set

Для современных ядер ARMv7, ARMv8 такие команды более чем естественные. В отличии от IF-ELSE из Модулы и Алгола.

Импликации Брусенцова в наборе команд "Сетуни" и "Сетуни-70" не было, но планировалось.

В НИЛ ЭВМ МГУ был разработан троичный вариант ДССП-Т. И троичная виртуальная машина ТВМ. Основу языка ДССП-Т составляет неполное подмножество базового языка ДССП, в котором отсутствуют типичные операции двоичной арифметики, логики и доступа к памяти по двоичным адресам - вместо них предлагаются соответствующие операции, присущие троичной логике и троичной симметричной арифметике.

http://ternarycomp.cs.msu.su/Papers/Bur … born13.pdf

Вот тут на 52 странице:

TMIN TMAX TADD TMUL NEG

Троичная виртуальная машина и троичная ДССП

А.А. Бурцев, С.А. Сидоров. «Троичная виртуальная машина и троичная
ДССП»,Программные системы:теорияиприложения,2015,6:4(27), с.29–97.
URL: http://psta.psiras.ru/read/psta2015_4_29-97.pdf


Не троичная версия собирается так:

http://trinary.ru/forum/701e920c-2143-4 … dniki-DSSP

Поделиться

28 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Вот такие намеки удалось обнаружить (можно систему скачать собрать и посмотреть , но она не троичная, но там есть намек в примерах, которые идут еще с самой первой системы - c Брусенцовым [Царство ему для верующих]):

https://github.com/ingeniarius/DSSP-32/ … r/examples

ПРИМЕР 14.
[BF - выдает значение булевской функции F=X&^Y&^Z V ^X&Y&Z]
VAR X  VAR Y  VAR Z
   : BF [] INPUT CALC OUTPUT [] ;
[INPUT - ввод X,Y,Z; CALC - вычисление; OUTPUT - вывод результатов]
   : INPUT [] CR ."X=" TIB #0 - ! X
                 .", Y=" TIB #0 - ! Y
                 .", Z=" TIB #0 - ! Z [] ;
   : CALC [] X Y NOT & Z NOT & X NOT Y & Z & &0 [F] ;
   : OUTPUT [F] ."     F=" 1 TON [] ;

использование BF
* BF  вк
X=1, Y=0, Z=1    F=0
* BF  вк
X=0, Y=1, Z=1    F=1
*

А вот такие таблицы логики должны быть (самих по себе различных троичных функций очень много).

Троичная функция следования Брусенцова - F2TS5833

Ответ такой, по мимо символа значения, еще должны правильно функции определены (сравнения, больше, меньше, логические функции, арифметические, округления).
Кроме того в РАЯ Undef - это обозначения словарной статьи или слова (функционала - если вам угодно), которого еще нет в словаре (базе данных - если вам угодно).

Из сообщения на сайте МГУ за 2012 год четко видно, что в период работы над своими монографиями Брусенцов участвовал в разработке ДССП-Т и да же реализовал на нем логические функции, которые были нужны ему для книг (ссылки на торренты дал выше).

Могу предложить обозначить его функцию следования Брусенцова TIMP (Тернарная импликация), назло врагам, которые удалили эту функцию из списка известных логических функций импликация (IF - THEN, Если-ТО).

Хотя было бы интересно взглянуть на обозначения в оригинальном коде, который использовал Брусенцов.

Поделиться

29 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

В МГУ

http://letopis.msu.ru/content/mgu-2012- … ibernetiki

«Разработка компьютерной системы анализа умозаключений посредством трёхзначного обобщения булевой алгебры» (рук. чл.-корр. РАН Л.Н. Королёв, вед.н.с. Н.П. Брусенцов)
В лаборатории троичной информатики установлена трёхзначность основного в логике отношения необходимого следования – для его выразимости требуются три истинностных значения: наряду с необходимостью и исключённостью должна быть также возможность.
Создана программная реализация системы рассуждений, основанной на силлогистическом выводе в виде набора ДССП-процедур, выполняющих основные операции над логическими отношениями.
Получена возможность практического применения найденного способа выражения логических отношений на примере задачи определения оптимального набора способов выборочного изотопного мечения аминокислот в протеинах в целях отнесения пиков на двумерных спектрах ЯМР на основе троичного кодирования взаимосвязей.
Осуществлено программное моделирование троичного процессора с варьируемой длиной операндов. Показана возможность потритного сравнения чисел в троичной симметричной системе. Программно реализованы стартовая модель целочисленного троичного компьютера и ассемблер, кросс-компилятор языка ДССП-Т.

На функцию следования Брусенцова можно посмотреть тут:

Троичная функция следования (Брусенцова)

http://rutracker.org/forum/viewtopic.php?t=5324191

Поделиться

30 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Автор: гость

Игнат, а скажи, троичная логика и двоичная эквивалентны?

Троичная логика это расширение двоичной.

Рассмотрим пример - обратная импликация (больше или равно, GE).

Но в конкретном случае при  переходе от первого аргумента 1 ко второму аргументу 0 в случае двоичной логики ответ 1. А в случае троичной - состояние не определено.

Булева_функция

В троичной логике, рассматриваются состояния когда один из аргументов не определен. В этом случае ответ то же не определен для функции следования Брусенцова.

Если у нас логический элемент переключается по фронту (а так обычно и бывает), то во время переключения по спаду без синхроимпульса возникают гонки (неопределенное состояние). Как раз точно как у Брусенцова.

Поэтому все симуляторы физических процессов логического уровня имеют минимум 3 состояния. (0, X, 1).

Там по ссылке выше в Вики после 16 булевых функций идут избранные из 256 тернарных функций.

Так вот в троичной логике (где 3 состояния на выходе и 2 аргумента на входе) функций будет 19 683 функции (3 в степени 3 в степени 3 или 3 в 9 степени).

Троичные_функции

Прямая реализация некоторых троичных функций может значительно ускорить операции сортировки на двоичных деревьях (требуется вращение 3 указателей).

Поделиться

31 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Автор: *

(true or unknown) == unknown ?

Это про что спрашивали. Как обычно примитивные импликации. Добавили в расширение Лукасевича, а функцию следования Брусенцова (или обратную импликацию с неопределенными состояниями не добавили).

https://en.wikipedia.org/wiki/Three-val … ion_in_SQL

Ну и пофиг, есть нормальные симуляторы регистрового и логического уровня. А всякие Операционные системы и БД SQL идут лесом.

Поделиться

32 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Автор: *

https://ru.wikipedia.org/wiki/Байт

Там про Stretch упоминают. Интересная машина, в истории часто попадается. В ней появилось много нового, но все равно проект провалился. Вроде как последняя, в которую пытались впихнуть максимум аппаратных функций. Потом стали писать библиотеки и операционные системы. И появилась мысль делать наоборот RISC процессоры. Про регистры любопытно. Общего назначения потом стали делать, а раньше на входе и выходе каждого вычислительного блока были адресуемые из софта регистры. То есть ассемблер был микрокодом. Я видел машину, где куча всякой такой дребедени адресовалась по шине данных, то есть как бы лежала просто в памяти. И порты были там же. Нужно было знать какая ячейка памяти работает с какой скоростью.
https://ru.wikipedia.org/wiki/IBM_7030_Stretch

Нас учили, что наше будущее это логика на диодах Шотки. это я к тому что все эти заморочки нужны в случае медленной памяти (кеша).

Брусенцов к нам на кафедру позвонил 23 October 2006 at 12:05 (Потому что я ему письмо написал). Я с ним гворил по телефону. К тому времени я уже изучил его компьютер по книге и у меня был только один вопрос про толщину и тип провода на магнитных сердечниках. Его же волновали полупроводниковые элементы специального типа. Брусенцов считал что будуще в элементной базе управляемой током. Это элементы типа пентодов.

Рамиль Альварес Хосе <ramil@cs.msu.su> и отец и сын Малашевичи в ответе за то что продолжается цирк с троичной логикой на КМОП элементах. Страна должна знать своих героев.

Так же про уничтожение наших компьютеров вот они герои и при всем моем личном уважении к Казенову (который был моими первым руководителем на кафедре и всегда меня поддерживал) - ( М. В. Келдыш, Шура-Бура, Лаврентьев, Казёнов).

Брусенцов мне то же телегу прогнал про то что все было сделано 2000 лет назад еще. Понимал с чем играет ....

Поделиться

33 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Автор: ignat99



Был еще военный компьютер троичный. Очень хорошо работал. Так же и с остаточными классами. Лучший военный компьютер был на них (естественное распараллеливание вычислений)

http://www.computer-museum.ru/histussr/12-6.htm

http://www.computer-museum.ru/histussr/12-5.htm

http://www.computer-museum.ru/histussr/12-1.htm

http://www.computer-museum.ru/histussr/12-2.htm

http://trinary.ru/projects/setunws

Кстати интересный сайт, чтоб увидеть как чип работает в Аппл.

visual6502.org

Так же как модель АЛУ в Майнкрафте.

http://visual6502.org/JSSim/index.html

Поделиться

34 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

[youtube]IO4-YwhyvrM[/youtube]

Пентод

Поделиться

35 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Там компонентная база важна - Стабилоток (Пентод). Сигнетоэлектрики. Жидкие кристаллы как раз обладают гистерезсом. Как это сделают, вакуумную технику с сигнетоэлектриками. Тогда проблем не будет программу сделать. Займет несколько месяцев.

Надо все самому делать в итоге. Много раз об это спотыкался.

150 * 500 000 $ = $75 000 000 Прибыли

Поделиться

36 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Автор: гость

Дядьку Гнат, Вы шо смиетэся? А Сетунь на какой базе была?

На сердечниках магнитных в 5 миллиметров. Вот тогда такая упущенная прибыль получилась в 1957-1960 году. Там магнитное поле работало а не электрическое.

Поделиться

37 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Если мы говорим о том что есть - это есть - мы говорим правду.
Если мы говорим о том что есть, что этого нет - мы говорим лож.

Смотрим до кучи язык Аймаров(где люди точно указывают - я сам не видел, но один мой друг мне рассказывал). И не надо людям мозги пудрить.

Вот второе суждение! (а не высказывание) и есть то самое чувствительное место обратной импликации. Переход из 1 в 0 (в неопределенное состояние).

http://www.computerra.ru/upload/apismenny/nastavnik-book.jpg

На фото как раз программ детектор не правильных ответа человека и попытка заставить человека изучить материал. Вот как ИИ обучает человека (выводит на чистую воду, а не пытается обмануть как в тестах ИИ принятых для современных ботов)!

Вот Брусенцов рассказывает что его система объективно оценивала людей (при условии что тесты с умом люди составляли).

Поделиться

38 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Автор: *


На сердечниках обмотки были, в них ЭДС создавалась и электрический ток тёк. И тактировать нужно было.  И чтобы сигнал не затухал (элементы-то пассивные) магнитные усилители применялись.  Так что работало Э/М поле. До серии дело не дошло. Недолго мучилась старушка,- диоды появились. На них логические элементы проще получались, Мотать обмотки не нужно было. Aivan/smile:)))

http://www.computerra.ru/upload/apismenny/setun-book.jpg

книга со схемами у меня есть. Там полутакты были.  Книга со мной.

Мотать надо было. 5 человек справлялись Мотать и электродвигатели надо. это не проблема.

Источник фото:
http://old.computerra.ru/vision/652817/

Поделиться

39 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Если есть А,  и из этого следует Б (IF A THEN B).

Если есть А - то не может не быть Б.

Если нет Б, но не может быть и А.

Вот таким образом THEN B влияет на IF A.

Если B не работает, то не уместно спрашивать про А (A то же не работает).

Если А нет, то Б может быть а может не быть.

И в целом если из А следует Б, то значит в А содержиться сущьность Б.

==================================================================

Значит вначале код собирается на манер Пролога или Форта.
Потом делается шитый код, только для тех условий где есть и А (есть слова и условия для слов верны) и Б (есть шитый код для выполнения этих слов).
Потом он исполняется, и если во время исполнения кода в отдельном блоке, контролирующий условие ложное, то такие А так же убираются (Если нет Б, но не может быть и А).

Контролирующий код может быть формальным (на ошибку выполнения на процессоре, или контрольную сумму подсчитать), а может быть задан оценочной или интервальной функцией. Или вообще проверятся человеком в случае возникновения ошибки.

Считается что программа не дописана и возможно нужны дополнения, как в существующие Б, так и в условия А. (Если А нет, то Б может быть а может не быть)
Значит надо попробовать найти похожие дополнения внутри Б, или дополнительные условия между А, взяв за основу известные и выложенные в интернете источники.

То есть в условиях А мы можем манипулировать точной символьной моделью В. И в условиях содержится сущьность выполняемого кода в Б. Значит в модели А должны быть прописаны все характеристики кода Б. И эти свойства или характеристики должны быть общими для А и Б. (И в целом если из А следует Б, то значит в А содержиться сущьность Б)

IMHO так можно скрестить ежа с ужем (структурированный язык с логическим).

Поделиться

40 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

https://www.youtube.com/watch?v=IO4-YwhyvrM

Брусенцов говорит с 1 часа 17 минуте (Практически последняя минута интервью). Что он получил ИИ, который Силлогистические задачи решает.

Немного раньше, по контексту можно понять. Что современные заявки на научные гранты и отчетности не соответствую реальному миру, и требуют другого подхода. Например, минимум, давать возможность ученому плодотворно работать и быстро делать отчеты по нужному направлению а не отвечать месяцами на тупейшие вопросы, составленные людьми с очень алльтернативной гениальностью (как это принято сейчас).

Поделиться

41 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Если есть А, и из этого следует Б (IF A THEN B).

Если есть А - то не может не быть Б. - А у нас есть (стрелочки вращаются), значит должна быть и коробка передач Б.



Если нет Б, но не может быть и А. (Делаем в этом месте фотографию самой коробки передачь, а не только панели приборов. Включаем микрофон и термодатчик.)

Вот таким образом THEN B влияет на IF A. (Если коробки передачь нет в поле зрения и показания термодатчика и анализа шумов и биений не чего не дали, отменяем задачу или запускаем алгоритм подстройки показаний приборов наблюдения.)

Если B не работает, то не уместно спрашивать про А (Смотрим фильтр подвижных частей в серии фотографий с реальной коробки передачь (ну или хотябы анализ отсчетов с микрофона и термодатчика)).

Если А нет, то Б может быть а может не быть. (Если мы заранее не заложили набор стрелок, как модель коробки передачь, то без дополнительного допрограмирования нельзя точно сделать выводы по самой коробке передачь. )

И в целом если из А следует Б, то значит в А содержиться сущьность Б. (Вот тут самое инетерсное - надо доказать алгоритмом, что набор поведения стрелок и поведение коробки передачь связаны между собой, и достроить дополнительные шестеренки, на которых нет магнитов.)
=======================================================
Брусенцов считал что признак вида содержится внутри существа. То есть разбиение на классы это переворот с ног на голову.

Когда нет А то Б неопределено. Чтоб определить Б надо приложить усиля и найти в нем признаки. Которые добавить в А.

Как раз за счет этого и будет происходить развитие "понимающей" системы.

Поделиться

42 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Первое это вам надо понять что импликация это второй уже этаж над булевой алгеброй - логика булева логика.

А когда мы делаем прямое произведение двух линейных пространств (векторное произведение) мы автоматически попадаем на новую размерность A x B = Z.

Брусенцов просто говорит что Реальное произведение (двух бинарных аргументов даёт троичный вариант - такие то же функции есть называются тернарные с булевыми аргументами) и проекция от произведения (тернаного результата на пространство бинарных функций) или (булева логика) это две различные вещи.

Я давал ссылку на импликацию Брусенцова (есть на вики в статье Троичная Логика, особенно на тех которые сохранили Русскую Вики до израильской чистки - была у них такая операция по деградации русской вики за счет сокращения объема статей, удаления статей и переписывания по принципу вначале результат вывода, потом пояснения по частм вывода, а предпосылки аксиомы удалить ). Найдете табличку легко в интернете.

Только не забудьте что 0 в троичной логике - неопределенное состояние.

   B
   |
-1 0 1
 0 0 0 _A
 1 0 0

Убираем центральный крест из функции получаем:

B
|
-1  1
 1  0 _A

Тернарная функция от бинарных аргументов

А Б  <=
0 0   1  (2)
0 1  -1  (3)
1 0   0  (1)
1 1   1  (1)

Дальше смотрите и сравнивайте

Троичная_логика

Делаем проекцию на бинарное множество (меняем -1 на 0, а 0 меняем на 1, 1 сохраняем как есть). Получили обратную импликацию.

А Б  <=
0 0   1  (2)
0 1   0  (3)
1 0   1  (1)
1 1   1  (1)

Булева_функция

Вот не способность понять очевидные вещи большинством людей - Брусенцов и назвал "Блуждание в трёх соснах."

Поделиться

43 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

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

Были попытки делать без синхро импульса, тогда надо вводить асинхронную модель и делать регистры которые содержать флаг готовности либо триггеры ставить с защелкой.

А вот у Брусенцова работали сразу по 2 цепи устройств (четная и нечетная на следующем такте). Причем они друг другу работали синхроимпульсом.


Ситуация Истина->Ложь требует доработки лжи до состояния, когда она будет способна быть правдой а не всякую ерунду выдавать.


Брусенцов "А что делают в математической логике, там если нет А, а есть Б, то всё равно следование выполняется. " - это Брусенцов говорит про материальную (прямую) импликацию. Так что он знал получше нас с вами предмет о котором написал не одну книгу и проверил все на компьютере - каждое логическое выражение.

Поделиться

44 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Брусенцов "А что делают в математической логике, там если нет А, а есть Б, то всё равно следование выполняется. " - это Брусенцов говорит про материальную (прямую) импликацию. Так что он знал получше нас с вами предмет о котором написал не одну книгу и проверил все на компьютере - каждое логическое выражение.

Поделиться

45 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Есть булевых функций материальная импликация, есть обратная. А есть импликация для троичных функций (тернарной) логики. А можно сделать функции с 3 состояниями 2 входов и выходы могут быть в 2 состояниях, а могут быть в трех. Но троичная логика с функций импликации Брусенцова - подходить для ИИ больше других. (Про логику по основанию логарифма не буду говорить, допускаю что есть, но не изучал).


Вместо того чтоб взять статью или книгу и прочитать, сразу бросаетесь спорить (лаять).

Хотя бы перед тем как говорить почитали (подумали) про различную арность логических функций. Книгу Льюиса Керола для детей, статью (не одну) Брусенцова (он в отличии от вас работы всех логиков проштудировал).

http://gotai.net/forum/default.aspx?pos … 840#197840

С рождества все ссылки вывесил и на книги в том числе и на примеры реализации кода бинарных функций. Понять слова из выступления Брусенцова это не значит освоить смысл, чтоб понять смысл многим нужно более подробное объяснение.

Троичная логика материальных предметных вещей это не Булевая логика высказываний. Это скорее относиться к предельному случаю Fuzzy логики. Когда произвльновыбранная функция распределения представляется неопределенным состоянием 0.

Поделиться

46 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Jang J.-S.R., Sun C.-T., Mizutani E. Neuro-fuzzy and soft computing.. a computational approach to le027928258E.djvu

Адаптивные fuzzy if-then правила, которые заранее составлены для данной модели, но могут дополняться или подстраиваться, вероятно, могут быть не плохой точкой для старта в задаче простого предсказания.

Помню что наша программа для контроля заряда аккумулятора имела близкие черты. Были промерены все необходимые диапазоны для конкретного типа батарей (которые в итоге сплайнами были сжаты до таблицы). И были найдены формулы изменения поведения в зависимости от дельты между параметрами при включении и позже, через 10 мин.

В целом такая программа занимала очень мало места и удовлетворительно делала прогноз заряда батареи. Скажем с точности в 3 деления перешли на 5-6 делений.

Поделиться

47 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Троичная логика с функцией импликации Брусенцова материальных предметных вещей это не Булевая логика высказываний. Это скорее относиться к предельному случаю Fuzzy логики. Когда произвльновыбранная функция распределения или перехода от -1 до 1 представляется неопределенным состоянием 0.

В Fuzzy правилах логические выражения в А , представляются алгебраическими кусочно-непрерывными интервальными функциями (можно считать например сплайнами).

Такие конструкции нужны для представлений оценочных выражений обычного человеческого языка в котором преобладают сравнительные категории (больше или меньше) а не численные выражения.

Поделиться

48 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Но и ув. ignat99 с Брусенцовым правы в одном очень важном аспекте - закон исключенного третьего (N+1 для мажоритарных), в его вреде. На мой вкус, этот закон играет примерно такую же роль как аксиома Эвклида о параллельных, его чрезмерное применение приводит к очень сильному упрощению результатов. Да и вообще логический вывод - это очень примитивная технология, будущее, конечно, за NARS'ами типа http://www.applied-nars.com/

Поделиться

49 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Jang J.-S.R., Sun C.-T., Mizutani E. Neuro-fuzzy and soft computing.. a computational approach to le027928258E.djvu

Вот в этой книге с 60 по 63 страницу, с картинками.  Там же приведены эквивалентные формулы (одну из которой вы цитировали выше), которые почему то в логике более 2 состояний совсем не эквивалентные.

Могли бы взять каклькулятор и составить силлогизмы на логических функциях. Дело 5-ти минут.

У каждого логика (в многозначных логиках) своя импликация, импликация Брусенцова как раз для ИИ, силлогизмов и практического результата на вычислительной машине.

Она не только учитывает значения, но и дополнения к значениям. Грубо если вы нарисовали кружек на плоскости, то внутри кружка заданное множество, а снаружи дополнение.

Поделиться

50 Ответ от ignt99

Re: Конструктор Николай Петрович Брусенцов

Без тернарных логик и без нечёткой логики Заде ИИ не построить - IMHO.

А функция импликации Брусенцова дает преимущество перед обычной материальной бинарной импликацией и перед обратной бинарной импликацией. Так же она выделяется явным прагматизмом среди тернарных функций импликации (каковых из известных 4 различных).

Троичные_функции#Импликации

В учении о силлогизмах импликации отвечает «общеутвердительное атрибутивное высказывание».


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

По сути мы вплотную подошли к описанию способа работы Нейросеток. Хотя бы в Википедии посмотрите "Нечёткая_логика", "Вероятностная_логика". Если сказать коротко - это все о сплайнах и прочих вейвлетах.

http://forum.ksri.info/viewtopic.php?pid=10109#p10109

Поделиться