GotAI.NET

Форум: Проблемы искусственного интеллекта

 

Регистрация | Вход

 Все темы | Новая тема Стр.6 (6)<< < Пред.   Поиск:  
 Автор Тема: На: Правильная математика
NO.
Сообщений: 10700
На: Правильная математика
Добавлено: 18 окт 17 17:45
наверно неконсистентность тоже можно формализовать
[Ответ][Цитата]
гость
188.170.82.*
На: Правильная математика
Добавлено: 19 окт 17 1:20

первое что приходит в голову это паранепротиворечивость и релевантные логики, в рамках чего можно вводить меры (не)противоречивости. Неконсистентными могут оказаться и формализации неконсистентности..
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Правильная математика
Добавлено: 19 окт 17 3:04
Можно тоже сделать многомерные значения. Вместо T,F будут T0,T1,F0,F1
Вместо отрицания T-F Будут два варианта T0-F0 и T0-T1
И тогда можно запретить обычное противоречие T0&F0, но разрешить T0&F1.
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Правильная математика
Добавлено: 19 окт 17 3:25
Изменено: 19 окт 17 3:52
В информатике согласованность это когда есть избыточность памяти. Например есть память и кэш, если рассогласовано то по одному адресу могут быть два значения.
Наверно неконсистентные логики тоже как бы с несколькими субъектами, с разными мнениями по одному вопросу. То есть это не одна логика, а группа логик в одной.
[Ответ][Цитата]
гость
188.170.72.*
На: Правильная математика
Добавлено: 19 окт 17 3:54

ну, многозначные варианты известны - со слабым и сильным противоречием, c различением противоречий разных видов.
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Правильная математика
Добавлено: 19 окт 17 4:14
Есть многозначные где больше 2 значений. Трехначные.
Есть многозначные где значение это множество значений. Недетерминированные.
А это многомерность. С двумя отрицаниями, объективным и субъективным. Объективное противоречие запрещено, а субъективное разрешено.
[Ответ][Цитата]
гость
188.170.73.*
На: Правильная математика
Добавлено: 19 окт 17 4:23

ну, это не называют многомерностью. Разные значения акцептируются логической системой на нескльких уровнях (не многомерность, а многоуровневость обработки) - на уровне алгебры значений и на уровне обработки множеств утверждений в которых порождаются разные по типу неконсистентности (могут быть еще рефлексивный уровень и уровень многоагентной логической системы).
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Правильная математика
Добавлено: 19 окт 17 18:54
Изменено: 19 окт 17 20:32
Совсем многомерное это когда части независимы, а тут небольшое ограничение на комбинации. Потому, что субъекты отражают объект. Если бы объектом была тоже пара субъектов, тогда нужна просто многомерность. Можно и наоборот сделать, как объект отражает пару субъектов. Вот это будет противоречивая логика, но наверно для мышления не очень годится потому, что с точки зрения объекта.

Многоуровневость можно делать как логику второго порядка. Либо нужно чем-то обусловить, тогда будут варианты. Либо по функционалу либо по данным. Можно логику определять в третьем уровне, тогда и функционал будет данными.
[Ответ][Цитата]
гость
188.170.73.*
На: Правильная математика
Добавлено: 20 окт 17 4:47

no> а тут небольшое ограничение на комбинации.

тут нужно различить - одно дело когда запрещенные комбинации значений вообще не допускаются правилами построения (как, cкажем, при типизации) и когда они сепарируются т.ск. постфактум - во втором случае точно это не многомерность, а многозначность и многоуровневость. Когда пара субъектов это объект то тоже может быть одноуровневая структура (при рефлексии, когда когда этот объект (его образ) дан одному или обоим этим субъектам) или двууровневая - при обьъективизации пары третьим субъектом. В общем случае многоуровневая организация логической системы это не то же что порядок логики - логику второго порядка можно изучать первопорядковыми металогическими средствами..
[Ответ][Цитата]
гость
188.170.75.*
На: Правильная математика
Добавлено: 21 окт 17 1:57

многомерностью наверное можно назвать (думал про многосортность, но это не то) альтернативное присвоение различающихся значений истинности, ложности и неопределенности (типа строгие и нестрогие)
и исследование последствий в разных возможных мирах.
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Правильная математика
Добавлено: 21 окт 17 6:50
Миры вроде бы совсем независимы, если по одной составляющей предположить значение другой это будет только гипотеза. Субъекты же кроме своих фантазий имеют одну общую модель, то есть мир. А кроме разных фантазий могут иметь разные языки. И обычно на самом деле T одна на всех, а F много разных.

Можно бит разделить и на миллион частей. Если на картинке изображен какой угодно кот то эта картинка имеет значение T, иначе F. Там ни один бит ничего не значит без других. Тут интересно, что можно сделать аксиомы и теоремы, что новый образ это тоже T. А там в обратную сторону самые разные значения, чего именно образу не хватает до T.
[Ответ][Цитата]
гость
166.70.207.*
На: Правильная математика
Добавлено: 21 окт 17 8:32
Цитата:
Автор: NO.

Миры вроде бы совсем независимы, если по одной составляющей предположить значение другой это будет только гипотеза. Субъекты же кроме своих фантазий имеют одну общую модель, то есть мир. А кроме разных фантазий могут иметь разные языки. И обычно на самом деле T одна на всех, а F много разных.

Можно бит разделить и на миллион частей. Если на картинке изображен какой угодно кот то эта картинка имеет значение T, иначе F. Там ни один бит ничего не значит без других. Тут интересно, что можно сделать аксиомы и теоремы, что новый образ это тоже T. А там в обратную сторону самые разные значения, чего именно образу не хватает до T.
Вам бы на dxdy об этом подискутировать, зря Вы здесь среди больных и юродивых мечети бесер, о математике и математической абстракции нужно разговаривать с математиками а не диванными философами. Да, на dxdy публика более требовательна к контенту, за каждое слово придется ответить, всё нужно доказывать, но это учит дисциплине ума, дисциплине ФОРМАЛЬНОГО ПРАВИЛЬНОГО МЫШЛЕНИЯ, а не образно-ассоциативного, как у животных. Заходите не стисняйтесь
[Ответ][Цитата]
гость
188.170.73.*
На: Правильная математика
Добавлено: 22 окт 17 4:21

no> И обычно на самом деле T одна на всех,

это зависит от природы реальности в которой находится предмет cуждения/теoрии (истина как соответствие понятия предмету) - если реальность зависит от деятельности (действительность), то строгая корреспондентная теория истины не срабатывает - истнность начинает зависеть от 'реализуемости' предмета. Появляется, cкажем, прагматическая теория истины (истина есть то что полезно). Иногда соотношение предмета и реальности трудно определимо и приходится соотноситься с другими понятиями, возникает когерентная теория (ситуация) истины. В отношении самого понятия истины возможны дефляционные и релятивистские стратегии. ВО всех случах осложнения корреспонденции (и референции) возникает субъективный аспект истины - и оправданность дифференцировать и выделенное значение истины.
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Правильная математика
Добавлено: 22 окт 17 4:31
Изменено: 22 окт 17 4:34
на dxdy меня забанили навечно

"природа будды" все-таки научнее любой истины
[Ответ][Цитата]
гость
188.170.73.*
На: Правильная математика
Добавлено: 22 окт 17 4:46

никакая будда не отменяет того что можно сказать в рамках аналитической теории истины - поверх всяких буддийских и небуддийских наук и философий философия (и реальность) самоорганизации эпистемических сообществ..
[Ответ][Цитата]
 Стр.6 (6)1  2  3  4  5  [6]<< < Пред.