Два вопроса, не тесно связанных. Я отвечаю только на первый - начинайте новый вопрос SO для второго.
В логике есть два значения звука. Первое, что распространено в философии, это то, что дал Михаил. Второй - который обычно используется в формальной логике логиками под влиянием терминологии теории моделей - mdash; заключается в том, что обоснованные выводы сохраняют истину, т. е. всякий раз, когда предпосылки истинны, таков вывод, или, другими словами, предпосылки подразумевают заключение.
Обратите внимание, что первое является более требовательным, чем второе: на первом счете предпосылки обоснованных аргументов должны быть истинными, а на втором - нет. Таким образом, все рассуждения, которые являются звуком счета № 1, являются звуком счета № 2, но не наоборот, и пост Майкла объясняет, почему: первый из его примеров - звук в соответствии с обоими критериями, а второй - только в соответствии с второй.
Я думаю, что в ИИ второе определение более распространено, но, учитывая, что ИИ является такой разнообразной дисциплиной, с сильным влиянием философии, вы вполне можете столкнуться с первым. Когда я учил ИИ, я использовал второе.
Я не знаю, откуда появилось первое определение, но второе от Тарского. Люди, которые используют первое определение разумности, используют термин valid , чтобы говорить о сохраняющих правду аргументах. См. Интернет-энциклопедию философии по Действительность и обоснованность для обсуждения первого определения и статью Википедии по обоснованности для объяснения второго.