Новое в МатЛогике. Тригонометрия на логических величинах- в том числе субъекте, объекте и предикате

Деление на 0, Тригонометрические функции на логических величинах (например: на субъекте, объекте и предикате).
Я разработал четырехзначную логику для вычислительных систем.
Для этого я ввел операции вычитания и деления в множество логических операций.
И новое значение логической величины Empty.
Логическая арифметика выглядит так:
True = True / True
False = False / True
Empty = True / False
Empty = False / False
Empty = True / Empty
Empty = False / Empty
Empty = Empty / Empty
False = True - True
True = True - False
- True = False - True
False = False - False
Empty = True - Empty
Empty = Empty - True
Empty = False - Empty
Empty = Empty - False
Empty = Empty - Empty
2True = True + True
True = True + False
Empty = True + Empty
False = False + False
Empty = False + Empty
Empty = Empty + Empty
power( True) = True * True
False = True * False
False = False * False
Empty = True * Empty
Empty = False * Empty
Empty = Empty * Empty
Not Empty = Empty
Not True = False
Not False = True
True Xor True = False
False Xor True = True
Empty Xor Empty = Empty
False Xor Empty = Empty
True Xor Empty = Empty
-(True) = -True
-(False) = False
-Empty = Empty
-True Xor True = False
-True Xor False = -True

Empty производится почти от всех операций с участием Empty, а так же от деления на False и 0, всех неверных приведений типа, и всех нерезультирующих функций, в том числе от деления матриц и деревьев.
Введение операции деление на логических величинах позволяет применять к ним тригонометрические функции, что облегчит поиск истины и сделает возможным осуществление тригонометрических функций на субъекте, объекте и предикате.
У меня много наработок по новым языкам программирования. Я разрабатываю модель, в которой C-образный язык Cross, LISP-образный язык Word и LINQ-образный язык Think (для эмуляции работы ума и поиска по элементам системы, в том числе по иерархической базе данных) работали бы на единой модели кода, что усилило бы инструментарий искусственного интеллекта.
У меня есть разработки по новой иерархической СУБД для систем искусственного интеллекта.

Сергей Стрельцов.

0

Погодите, ещё зима не закончилась, хоть и потеплело изрядно.

0

Сообщение от Mikhaylo ещё зима не закончилась, хоть и потеплело изрядно.

Упоротость Упорство истинных непризнанных гениев может превозмочь и таки должно превозмогать любую сезонность климата!
Но зато и лечащему персоналу тоже проще отрабатывать более-менее равномерное круглогодичное поступление пациентов, чем авралить весенний призыв заезд сразу целой толпы обострившихся.

0

Сообщение от moscowpoet Я разработал четырехзначную логику

Empty, True, False... А где четвёртое значение?

0

moscowpoet, увы, Ваша радость вызывает лишь разочарование.

Смотрите, какой я гад.

Произведём замену.

True -> 1 в двоичном дополнительном коде
False -> 0 в двоичном дополнительном коде
Empty -> неопределённость, обозначим, например, Ошибка.

Перепишем Ваше творение с этими заменами:

1 = 1 / 1
0 = 0 / 1
Ошибка = 1 / 0
Ошибка = 0 / 0
Ошибка = 1 / Ошибка
Ошибка = 0 / Ошибка
Ошибка = Ошибка / Ошибка
0 = 1 - 1
1 = 1 - 0
-1 = 0 - 1
0 = 0 - 0
Ошибка = 1 - Ошибка
Ошибка = Ошибка - 1
Ошибка = 0 - Ошибка
Ошибка = Ошибка - 0
Ошибка = Ошибка - Ошибка
2 * 1= 1 + 1
1 = 1 + 0
Ошибка = 1 + Ошибка
0 = 0 + 0
Ошибка = 0 + Ошибка
Ошибка = Ошибка + Ошибка
1² = 1 * 1
0 = 1 * 0
0 = 0 * 0
Ошибка = 1 * Ошибка
Ошибка = 0 * Ошибка
Ошибка = Ошибка * Ошибка
Not Ошибка = Ошибка
Not 1 = 0
Not 0 = 1
1 Xor 1 = 0
0 Xor 1 = 1
Ошибка Xor Ошибка = Ошибка
0 Xor Ошибка = Ошибка
1 Xor Ошибка = Ошибка
-(1) = -1
-(0) = 0
-Ошибка = Ошибка
-1 Xor 1 = 0
-1 Xor 0 = -1

Теперь найдите одно отличие от обычной арифметики. Никаких отличий.

Я из Вашей "логики" с помощью простой замены "изобрёл" арифметику.

Попробуем понять, что же изобрели Вы... А ничего не изобрели.

И ещё одно. В подавляющем большинстве доморощенных трёхзначных логик существует проблема "привелегированного состояния". Так происходит, когда какое-либо особое состояние (бесконечность, ошибку, неопределённость) неумело пытаются поставить в один ряд с логическими константами.

Дело в том, что в любой логике все логические значения равноправны, и из любого логического значения можно получить любое другое логическое значение с помощью каких-либо операций. У Вас нельзя получить из Empty с помощью каких-либо операций другие логические значения. Из Empty у Вас может получиться только Empty, поэтому, как только где-то в вычислениях появилось Empty, дальше можно ничего не вычислять: результат всё равно будет Empty. Из-за "привелегированности" Empty Ваша "логика" никакого практического применения иметь не может. Сами видите: Ваше Empty ведёт себя точно так же, как моя Ошибка.

0