• Главная
• Правдомер
• Постановка задачи. Часть 1

Постановка задачи. Часть 1

Термины и определения

Тезис - суждение, истинность которого должна быть доказана или опровергнута аргументами.

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

Контраргумент – суждение, посредством которого опровергается истинность тезиса.

Факт - объективное и проверяемое наблюдение. Объективность здесь означает независимость от наблюдателя: независимо от того, кто проводит эксперимент, его наблюдаемые результаты должны оставаться неизменными. Достаточно адекватная информация об объекте, событии или явлении реальности.

Наблюдение (опыт, свидительство) – сведения о единичном, целенаправленном восприятии изучаемого объекта.

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

Объектная модель

Тезисы, аргументы и факты – во многом аналогичные информационные объекты. Тезис доказывается с помощью аргументов. Аргумент доказывается с помощью фактов. Факт доказывается с помощью наблюдений.

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

Тезис → Аргумент → Факт → Наблюдение

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

Факт выдвигается как гипотетическое предположение, которое доказывается с помощью результатов наблюдений «За» и «Против» данного предположения.

Аргумент выдвигается как гипотетическое предположение, которое доказывается с помощью фактов «За» и «Против» данного предположения.

Тезис выдвигается как гипотетическое предположение, которое доказывается с помощью аргументов «За» и контраргументов «Против» данного предположения.

То есть тезис, аргумент и факт имеют аналогичную информационную структуру:

– Гипотетическое предположение
– Обоснования предположения
– Опровержения предположения

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

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

Вычисление этих характеристик – отдельная, сложная задача. Если же, для простоты понимания задачи, условно пренебречь достоверностью и значимостью каждого аргумента, посчитать все аргументы абсолютно достоверными и равнозначными друг другу, принять веса всех аргументов равными единице, то истинность тезиса вычисляется относительно просто:

Истинность тезиса = Суммарный вес аргументов / (Суммарный вес аргументов + Суммарный вес контраргументов)) * 100%

Допустим, мы имеем 5 аргументов «За» и 3 контраргумента «Против» тезиса. В этом случае истинность тезиса равна: 5/(5+3) = 0,625 или 62,5%

При появлении новых аргументов и контраргументов - достоверность тезиса будет динамически изменяться.

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

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

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

Эта операция требует таких вычислительных ресурсов, что ее просто невозможно производить в уме. Поэтому все ныне известные способы определения истинности утверждения в уме без применения вычислительных средств – будут заведомо неточны.

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

На вершине объектной пирамиды находится тезис, который является конечным результатом работы системы. Вычисление достоверности, а значит правдивости любого тезиса – главная цель всей системы. Вне зависимости от важности, сложности, корректности, логичности – любой свой гипотетический тезис может добавить в систему любой желающий, но вот доказательство истинности или ложности данного тезиса – это уже сложная работа для всех участников проекта. Поэтому не представляющие интереса тезисы могут так и остаться без внимания. Мало кого заинтересует заниматься их доказательством или опровержением.

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

В результате работы системы любой желающий сможет узнать не только максимально точную информацию по любому вопросу, но и определить степень ее достоверности, даже если вопрос является крайне спорным и дискуссионным. Это позволит очистить информационную среду от гигантского количества недостоверной или слабодостоверной информации, которой сегодня переполнены все информационные ресурсы – СМИ, книги, интернет.

Похожие публикации (4)

• 27.03.2017 Постановка задачи. Часть 3
• 01.03.2017 Постановка задачи. Часть 2
• 11.12.2016 Технология правды 3 комментария
• 04.11.2016 Правдомер