Форум программистов, компьютерный форум, киберфорум
Наши страницы
Искусственный интеллект
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.75/4: Рейтинг темы: голосов - 4, средняя оценка - 4.75
NezamovMark
0 / 0 / 0
Регистрация: 23.12.2015
Сообщений: 26
1

Деревья доказательств

28.10.2016, 11:20. Просмотров 707. Ответов 1
Метки нет (Все метки)

Помогите. Не могу понять с чего начинать деревья. По определению дается 1 или более посылок и с помощью последовательного применения правил вывода доказывается силлогизм. Так вот чего не понимаю откуда брать посылки???? Есть ли какая нибудь системой по которой их можно так сказать вычислить или как они берутся?
0
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
28.10.2016, 11:20
Ответы с готовыми решениями:

Деревья доказательств
Помогите. Не могу понять с чего начинать деревья. По определению дается 1 или...

Построить дерево доказательств
Я вывел второй конъюнкт заключения по правилу удаления эквиваленции. А как мне...

Построить дерево доказательств
Помогите построить дерево доказательств. (A>B) |- ((неB или C)>(неA или C))

Курсач по теме: Структуры данных. Двоичные деревья поиска. Красно-черные деревья
Здравствуйте, я первокурсник, преподавателя по информатике месяца 2 не было,...

Как понять логику автора при чтении доказательств?
Например здесь http://www.math.md/school/krujok/inductr/inductr.html...

1
NO_
64 / 25 / 6
Регистрация: 29.10.2016
Сообщений: 162
29.10.2016, 04:53 2
Либо идем от начала к концу, от посылок к доказываемому. По имеющимся фактам и правилам вывода выводятся эти самые выводы. Пока внезапно не получится вывод, тождественный доказываемому выражению.
Либо доказательство идёт в обратную сторону от доказываемого утверждения к посылкам, то есть гениально находятся условия, при которых доказываемое истинно. Пока эти условия не совпадут с посылками, которые заведомо истинны.
0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
29.10.2016, 04:53

Интерпол будет использовать ПО Microsoft для сбора электронных доказательств
Интерпол планирует распространить и использовать специализированное...

Деревья принятия решения (Деревья классификации)
Доброго времени суток! Столкнулся с такой проблемой: требуется написать...

В чем различие между "евклидовы минимальные остовные деревья" и просто "минимальные остовные деревья" ?
в чем различие между "евклидовы минимальные остовные деревья" и просто...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
2
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2019, vBulletin Solutions, Inc.
Рейтинг@Mail.ru