Кто изучает Неполноту информации?

antcatt77

Неполноту информации, противоречивость, гипотезы и т.д. - только теория игр изучает, или еще какие-то науки?

angel_18

Математическая логика, неклассические логики.

antcatt77

Изучает в плане построения высказываний, или еще какие-нибудь интересные темы копают?

angel_18

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

antcatt77

но это именно система высказываний.
а более интересные вещи?:
если есть противоречие, какую информацию "лучше" считать верной,
что такое достоверность информации,
как строить гипотезы,
использование той же закономерности Оккама
и т.д.

976evil

попробуй посмотреть в сторону модальных логик, вероятностных логик.

angel_18

А, понял. Именно этим занимается семиотика. Но копать придется достаточно глубоко: насколько я знаю, сейчас семиотика только для этого и используется -- это универсальный язык, в частности, философии.

antcatt77

спасибо
слова страшные, но посмотрю

antcatt77

> Именно этим занимается семиотика
почитал чуть-чуть.
интересно, спасибо.

kravecnata

использование той же закономерности Оккама
Check keywords: Algorithmic Information Theory, Minimum Description Length (MDL/MML) principle.

seregen-ka

логику, информацию или ее неполноту, сразу переводятся на язык булевых алгебр.
Нечеткая логика
Оставить комментарий
Имя или ник:
Комментарий: