Алгоритмы распознавания достоверности рассуждений

@4ch · Регистрация: 24.10.2012

Студворк — интернет-сервис помощи студентам

Доброго времени суток. Дали одно задание, которое я абсолютно не знаю как делать (разве что слышал про метод резолюций) . Суть состоит в том, что нужно сделать программу, которая определяет достоверность рассуждений ( определяет правду или ложь, используя формулы алгоритмов высказываний). Как это выглядит : вводишь текст, на выходе выводит текст, который правдивый, и текст в котором ложь. Пример: Вася работает грузчиком. Вася зарабатывает 5 тысяч в месяц. Вася миллиардер. Выводит : Вася работает грузчиком true. Вася зарабатывает 5 тысяч в месяц - true, Вася миллиардер - false. (объяснил как мог).
Может кто знает хотя-бы примерно как его реализовать, буду благодарен любой оказанной помощи!

@Rolldan · 19.05.2015, 17:58

IGPIGP, компьютер тоже не может знать, пока мы ему не скажем. Понятие "достоверность" означает знание того, что какое-то суждение точно истинно. Если суждение ложно или мы не уверены в его истинности, то это суждение недостоверно с точки зрения логики.

@Mr.X · 19.05.2015, 18:14

Сообщение от cordfield

Наверное, требуется что-то попроще. Рассуждения вида:
Некоторые птицы - вороны.
Некоторые вороны - чёрные.
---
Некоторые птицы - чёрные = false

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

@it1234567890 · 19.05.2015, 18:19

IrineK, Подскажите пожалуйста как мне записать оператор выбора со значением до? Саse от 1 до 10?

@Rolldan · 19.05.2015, 18:27

Mr.X, предикат это высказывание с неизвестным параметром. Например, "X - это день недели". Такое высказывание - предикат и истинно, скажем, при X = "среда". В моём примере высказывания обычные.

@Mr.X · 19.05.2015, 20:00

Сообщение от cordfield

Mr.X, предикат это высказывание с неизвестным параметром. Например, "X - это день недели". Такое высказывание - предикат и истинно, скажем, при X = "среда". В моём примере высказывания обычные.

Я в терминах Википедии имел в виду. Там в логике высказываний кванторы не используются.

@IrineK · 20.05.2015, 02:19

Сообщение от it1234567890

Подскажите пожалуйста как мне записать оператор выбора со значением до? Саse от 1 до 10?

Это вы откуда и про что?

Сообщение от cordfield

Мы не знаем, что все вороны - птицы.

Это да. Подзабылось трошки.

Не по теме:

И про ворон тоже не помнится. Неужели все - птицы, или некоторые - таки рыбы )
Бедный комп.

IGPIGP · 20.05.2015, 10:58

Не по теме:

Сообщение от IrineK

Подзабылось трошки.

С воронами одни проблемы. Был мульт про "Падал прошлогодний снег":
И там на музыку Гладкова:
"Нам помнится вороне.
А может быть собаке,
А может быть корове,
Однажды повезло.
Прислал ей кто-то сыра,
Грамм думается двести..."
Известная тема. Решения пока нет.:pardon:

@SmittWesson · 20.05.2015, 11:53

Сообщение от IGPIGP

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

Ошибаешься. Предикат, это логическое предположение с вероятностью корень квадратный из n. Тривиальный случай корень из двойки.

Не по теме:

Добавлено через 2 минуты

Сообщение от IGPIGP

Падал прошлогодний снег

Ха-ха-ха. Я этот мульт, хорошо помню.

IGPIGP · 20.05.2015, 12:26

Сообщение от SmittWesson

Ошибаешься. Предикат, это логическое предположение с вероятностью корень квадратный из n. Тривиальный случай корень из двойки.

может и так, а ошибка то в чём?
Вот краткое изложение:
http://mathhelpplanet.com/stat... predikatov

Не по теме:

Сообщение от SmittWesson

Ха-ха-ха. Я этот мульт, хорошо помню.

Это очень давняя история. Один дядька написал:
"Кого-то, как-то раз,
Послал куда-то кто-то,
На что-то кто-то забралась... "
и далее по тексту. :)

@SmittWesson · 21.05.2015, 09:51

Не по теме:

Сообщение от IGPIGP

Кого-то, как-то раз,
Послал куда-то кто-то,
На что-то кто-то забралась... "

Ворону как-то Бог послал подальше с сыром.
На ель ворона взгромоздясь,
Сыр начала клевать неторопясь.

На ту беду лиса за водкою бежала.
Ей только закусона не хватало.
Плутовка видит сыр.
Плутовку сыр манит.

Ну и дальше по-тексту :).

Мораль сей басни такова:
Где слямзил там и жри,
А нефиг лазить по деревьям.

IGPIGP · 21.05.2015, 10:11

вороне как-то chees прислали по e-mail'у)))

Не по теме:

Сообщение от SmittWesson

Сыр начала клевать неторопясь.

Ты ещё больше чем я оптимист. В предложенной версии ворона успела хоть немного поклевать, а оригинале она его держала и клевать не могла. Проглотить с подбросом тоже наверно (неточная информация, но скорее всего так) из-за того что великоват кусок был и страшно подавиться. Уложить сыр на ветке тоже страшновато, - свалится 99% из 100. На землю бы спуститься, но снизу лиса. Да ещё хвалит!
Убедила себя ворона, что всё хорошо кончится. Шея затекла сыр держать, а просто улететь или поленилась или не догадалась.
В авторской интерпретации она ещё тупее была, - поверила вражескому льстивому тявканью.
Такой вариант тоже возможен.
История вечная как ~~мир~~СЫР. :pardon:

@SmittWesson · 21.05.2015, 16:59

Не по теме:

С воронами вобше, балшой праблем.
То им не ям, то я нэ ем.
То, вороны клювают тут и там.
То забухают все за "милых дам"

Ну, пониманье есть в моей башке.
Не в чёрной шапке, а в красном гребешке :).

IGPIGP · 21.05.2015, 18:32

Не по теме:

Сообщение от SmittWesson

Ну, пониманье есть в моей башке.
Не в чёрной шапке, а в красном гребешке

На гребне светлой мысли этой,
Щадя высокое собранье,
Закончим повесть о вороне,
Которая лежит на ветке.
Без сыра сырость разводя...
:pardon:
Резолюция (то есть сухо и по делу):
В той истории всё было не так и плохо: лиса знала кто есть ворона, да и ворона это знала. Но...
Не распарсила ворона лисицу и не проверила её контент на достоверность. Может алгоритма не было, а может поленилась. :scratch:

@SmittWesson · 21.05.2015, 18:51

Не по теме:

Сообщение от IGPIGP

Закончим повесть о вороне,

Так если уж закончим о вороне.
Заканчивать придётся о лисе.
Но мне сдаётся, что о предикатах
И здесь ещё не в курсе все.

Воронье дело, слишком уж постыло.
Да и ворон не видно уж давно.
Другое дело, логопредикаты.
Мы их с тобой, не видели давно.

@Mr.X · 23.05.2015, 15:01

Не по теме:

Сообщение от SmittWesson

сей басни

Знаю только начало, может кто знает продолжение.
Один кавказец рассказывает другому басню:
- Сыдыт на дэрэвэ такой чорний-чорний с длынным носом.
- Грузын шьто ли?
- Да нэт, варон. И дэржит во рту такой дырявий-дырявий, ванучий-ванучий.
- Носок шьто ли?
- Да нэт, сир. А внизу бежит такой рижий-рижий, хытрый-хытрый.
- Иврэй шьто ли?
- Да нэт, лиса.

IGPIGP · 23.05.2015, 16:44

Не по теме:

Сообщение от Mr.X

- Грузын шьто ли?

Недоганялки - забава такая. Вот ещё пример:
Тащат двое горцев вниз по тропе тушу медведя. Навстречу идет ещё один и поздоровавшись восклицает:- "Вах! Какой большой... гризли наверное?"
Один из охотников отвечает:-"Н-нэт, не гризли. Руками задушили."
:pardon:

@SmittWesson · 25.05.2015, 08:19

Не по теме:

Сообщение от Mr.X

Один кавказец рассказывает другому басню:
- Сыдыт на дэрэвэ такой чорний-чорний с длынным носом.
- Грузын шьто ли?
- Да нэт, варон. И дэржит во рту такой дырявий-дырявий, ванучий-ванучий.
- Носок шьто ли?
- Да нэт, сир. А внизу бежит такой рижий-рижий, хытрый-хытрый.
- Иврэй шьто ли?
- Да нэт, лиса.

И гаварыт лысыц варону: "Дай мине сыру", а варон сыр под крыло положил и гаварыт: "Не дам, сходы лучше к бени...
- К Бени Махарадзе?
- Нет, к бениматэри...

@cybercitizen · 31.05.2015, 00:34

Здесь пролог упоминался. Как раз его ниша.

Новые блоги и статьи Все статьи Все блоги /
SUNO Ai - Река Без Дна zorxor 31.07.2026 Автор стихотворения - астрофизик Марина Катыс Ссылка на сгенерированную музыкальную композицию: https:/ / suno. com/ song/ 6f6e5464-b290-4650-be6c-44c85f8d8013 Я говорю, что Время- как вода течет. . .	Из невошедшего на форум (диалог с ИИ-гугла) zorxor 29.07.2026 А вот, что интересно, сказал мне ИИ-гугла: Этот текст — эмоциональный пост пользователя под ником zorxor на интернет-форуме (вероятно, посвященном мистике, непознанному или альтернативной науке). . . .	Был праздник вчера, а я и не знал. kumehtar 28.07.2026 27. 07. 2026г. Intel Core 2 Duo исполнилось 20 лет Новости компьютерного мира и их обсуждение (4) Салют, шампанское, овации! :drink:	Нейтральные знания, чистый код - бла-бла-бла-бла, на самом деле кликбейт и самореклама, плагиат, и вот почему Hrethgir 27.07.2026 То-есть отклонение такой публикации говорит само за себя, и пусть только возьмут на вооружение после отклонения публикации - это будет чистейшим актом плагиата. Отклонял Хабр. Дословно, отклонённая. . .
тв 16 бой ии anaschu 27.07.2026 Великий Перелом ИИ: Как уравнения ОДУ Radau дожали цензурные фильтры Алисы Фиксируем в мемофонде Теории Всего беспрецедентный факт в истории ИИ-зондирования. В затяжном многораундовом. . .	мв 15. непроверенное, возможно, глюк anaschu 27.07.2026 НАУЧНО-АНАЛИТИЧЕСКИЙ ОТЧЕТ. РАЗДЕЛ 1. 1: «НАУКА» (РАСШИРЕННАЯ СТЕХИОМЕТРИЧЕСКАЯ И ГЕНЕТИЧЕСКАЯ ВЕРСИЯ)Тема: Теоретическое обоснование инвариантности 19-мерного тензорного ядра непрерывных ОДУ и. . .	Очистка реквизитов и табличных частей документа при копировании (вариант 2) Maks 26.07.2026 Алгоритм из решения ниже разработан на примере нетипового документа "ЗаявкаНаРаботу", разработанного в КА2. Задача: Заменить алгоритм запрета копирования документов для сотрудников с ролью "Стажер",. . .	Доктрина интенционального знания - Доктрина для портала "Срез". Hrethgir 25.07.2026 Может найдётся кто захочет оценить доктрину. . . Написания правил участия для меня роскошь, требующая лимита времени, поэтому все сообщения не прошедшие модерацию будут видны только участникам портала,. . .

@4ch 19 / 19 / 0 Регистрация: 24.10.2012 Сообщений: 72

	Алгоритмы распознавания достоверности рассуждений 17.05.2015, 17:41. Показов 3631. Ответов 37 Метки нет (Все метки) Доброго времени суток. Дали одно задание, которое я абсолютно не знаю как делать (разве что слышал про метод резолюций) . Суть состоит в том, что нужно сделать программу, которая определяет достоверность рассуждений ( определяет правду или ложь, используя формулы алгоритмов высказываний). Как это выглядит : вводишь текст, на выходе выводит текст, который правдивый, и текст в котором ложь. Пример: Вася работает грузчиком. Вася зарабатывает 5 тысяч в месяц. Вася миллиардер. Выводит : Вася работает грузчиком true. Вася зарабатывает 5 тысяч в месяц - true, Вася миллиардер - false. (объяснил как мог). Может кто знает хотя-бы примерно как его реализовать, буду благодарен любой оказанной помощи! 0

@Rolldan 44 / 44 / 19 Регистрация: 04.05.2014 Сообщений: 190
	19.05.2015, 17:58
	IGPIGP, компьютер тоже не может знать, пока мы ему не скажем. Понятие "достоверность" означает знание того, что какое-то суждение точно истинно. Если суждение ложно или мы не уверены в его истинности, то это суждение недостоверно с точки зрения логики. 0

@it1234567890 0 / 0 / 0 Регистрация: 19.05.2015 Сообщений: 54
	19.05.2015, 18:19
	IrineK, Подскажите пожалуйста как мне записать оператор выбора со значением до? Саse от 1 до 10? 0

@Rolldan 44 / 44 / 19 Регистрация: 04.05.2014 Сообщений: 190
	19.05.2015, 18:27
	Mr.X, предикат это высказывание с неизвестным параметром. Например, "X - это день недели". Такое высказывание - предикат и истинно, скажем, при X = "среда". В моём примере высказывания обычные. 0

@SmittWesson
	21.05.2015, 16:59
	Не по теме: С воронами вобше, балшой праблем. То им не ям, то я нэ ем. То, вороны клювают тут и там. То забухают все за "милых дам" Ну, пониманье есть в моей башке. Не в чёрной шапке, а в красном гребешке :). 0

@cybercitizen 204 / 26 / 5 Регистрация: 22.05.2015 Сообщений: 357
	31.05.2015, 00:34
	Здесь пролог упоминался. Как раз его ниша. 0