Главное меню
Мы солидарны с Украиной. Узнайте здесь, как можно поддержать Украину.

Вариант логического конланга

Автор Тайльнемер, февраля 5, 2014, 06:27

0 Пользователи и 1 гость просматривают эту тему.

Rusiok

Цитата: Тайльнемер от марта  1, 2014, 16:10
Цитироватьver
    S истинно, O ложно
Тут, наверное, можно написать по общей схеме: «S истиннее, чем O». Или это чушь?
Не чушь, если выйти из предельной системы дискретных 0, 1. В непрерывной шкале от 0 до 1 понятие "более истинно" приобретёт смысл. Какой именно смысл - зависит от общей концепции (философии) моделируемого мира: большей вероятности; или большей уверенности говорящего в правдивости информации; или большей доли миров мультиверсума, в которых S истиннее O и т. д.
"проект предлагал сократить разговорную речь путем сведения многосложных слов к односложным и упразднения глаголов" - Джонатан Свифт. Путешествие в Бальнибарби

_Swetlana

В схемах приближённых рассуждений (мициноподобных) экспертных систем пользователь отвечает не да/нет, а числом из отрезка [-1; +1].
-1 - нет
0 - не знаю
+1 - да
Это число называется коэффициентом достоверности (определённости) и показывает субъективную степень уверенности говорящего в сообщаемой им информации.
Как это работает.
База знаний состоит из правил "если -то" и истинных фактов.
Рассмотрим простую импликацию из A следует B. Пусть эксперт сообщил, что достоверность этого правила 0.9 (правило, по наблюдениям эксперта, срабатывает в 90 случаях из 100).
Пользователя спрашивают, истинно ли A? Пользователь отвечает 0.5
ct(A)*ct(rule) = 0.5*0.9 = 0.45 - коэффициент достоверности B.
🐇

Awwal12

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

"Да здравствуют ДОЯРКИ!! Потому что доярки - это раса сверхчеловеков. За ними будущее планеты. Они переживут даже атомную войну, потому что доярки вечны, ибо хтоничны. И дадут потомство, которое тоже будет доярами и доярками. Ура, товарищи!.." (c) Awwal12

Быстрый ответ

Обратите внимание: данное сообщение не будет отображаться, пока модератор не одобрит его.

Имя:
Имейл:
Проверка:
Оставьте это поле пустым:
Наберите символы, которые изображены на картинке
Прослушать / Запросить другое изображение

Наберите символы, которые изображены на картинке:

√36:
ALT+S — отправить
ALT+P — предварительный просмотр