С точки зрения искусственного интеллекта и логического знания, в чем разница между звуком и необоснованными рассуждениями?В чем разница между звуком и необоснованными рассуждениями?
Также, какой поиск использует алгоритм ID3? Является ли это поиском по ширине?
Благодаря
Рассуждая звук, если посылки истинны и вывод можно сделать только в тех помещениях. Например:
Ответ upvote получает вас 10 респ
Джек 4 Ответ upvotes
Джек 40 респ
является звук (игнорируя другие факторы респ :)) , Если прочитать:
Ответ upvote получает вас 50 респ
Джека 4 Ответа upvotes
Джек 200 респ
рассуждения будет действительные, но не звук, потому что одно из помещений ложно
Может быть, я плотный, но я не понимаю, как изменились логические последствия между этими двумя примерами? – Kylotan
Это не так; оба аргумента * действительны *, что означает, что выводы следует из помещения. Чтобы аргумент был * звуком *, он должен быть действительным и иметь все истинные предпосылки, которые последние не –
Извините, я все еще смущен. Можете ли вы сделать еще один более яркий пример, пожалуйста? Спасибо – leon
Два вопроса, не тесно связанных. Я отвечаю только на первое - начните новый вопрос SO для второго.
В логике есть два значения звука. Первое, что распространено в философии, - это тот, который дал Майкл. Второй —, который обычно используется в формальной логике, логиками, на которые влияет терминология теории моделей —, заключается в том, что звуковые выводы сохраняют правду, т. Е. Всякий раз, когда помещение истинно, так и вывод, или, другими словами, помещение подразумевают заключение.
Обратите внимание, что первое является более требовательным, чем второе: на первом счете помещения звуковых аргументов должны быть истинными, а на втором - нет. Таким образом, все рассуждения, которые звучат на уровне учетной записи 1, звучат не по-другому, а наоборот, а статья Майкла объясняет, почему: первый из его примеров звучит по обоим критериям, а второй звучит только в соответствии с второй.
Я думаю, что в ИИ второе определение более распространено, но, видя, как ИИ является такой разнообразной дисциплиной, с сильным влиянием философии, вы можете встретить первое. Когда я преподавал ИИ, я использовал второе.
Я не знаю, откуда взялось первое определение, а второе - от Тарского. Люди, которые используют первое определение устойчивости, используют термин , действительный, чтобы поговорить об аргументах, сохраняющих истину. См. Интернет-энциклопедию философии по адресу Validity and Soundness для обсуждения первого определения и article on Soundness Википедии для объяснения второго.
Логика состоит из набора правил предложения и вывода на них.
С учетом логики L каждое предложение p, которое может быть получено путем последовательного применения правил вывода, называется звуком.
Любое предложение p, которое не может быть выведено, можно назвать необоснованным, но об этом никто не говорит. Мы просто говорим, что это не в L.
Логика L является полной, если каждое утверждение p, которое вы (как разумный человек) думаете, должно быть правдой, является звуковым.
Таким образом, мы ищем звуковую и полную логику.
Этот вопрос звучит как домашнее задание вопрос для AI 101.
псевдо-код алгоритма ID3 можно найти здесь: http://cs.nyu.edu/faculty/davise/ai/id3.pdf –
Вот статья из Массачусетского технологического института с начала 1990-х годов о представлении рассуждений и знаний в ИИ. http://groups.csail.mit.edu/medg/people/psz/ftp/k-rep.html –
Возможно, вам следует разделить это на два вопроса; они совершенно не связаны –