Рассуждать — значит делать умозаключения, соответствующие ситуации. Умозаключения делятся на дедуктивные и индуктивные. Пример первого: «Фред должен быть либо в музее, либо в кафе. Его нет в кафе, следовательно, он в музее», а второй: «Предыдущие аварии такого рода были вызваны неисправностью приборов, следовательно, эта авария произошла из-за неисправности приборов». Наиболее существенное различие между этими формами рассуждений заключается в том, что в дедуктивном случае истинность посылок гарантирует истинность заключения, в то время как в индуктивном случае истинность посылок подкрепляет заключение, не давая абсолютной уверенности. Индуктивные рассуждения распространены в науке, где собираются данные и разрабатываются предварительные модели для описания и предсказания будущего поведения, пока появление аномальных данных не заставит пересмотреть модель. Дедуктивные рассуждения распространены в математике и логике, где сложные структуры неопровержимых теорем строятся из небольшого набора базовых аксиом и правил.
В программировании компьютеров на умозаключения достигнуты значительные успехи. Однако истинное рассуждение включает в себя не просто умозаключения: оно включает в себя умозаключения, относящиеся к решению конкретной задачи или ситуации. Это одна из самых сложных проблем, стоящих перед ИИ.
