Представление знаний и обоснование (KR² или KR&R) — область искусственного интеллекта, предназначенная для представления информации в мире в форме, которую компьютерная система может использовать для решения сложных задач, таких как диагностика состояния здоровья или диалог на естественном языке. Представление знаний включает в себя выводы психологии о том, как люди решают проблемы и предоставляют знания для разработки формализмов, которые упростят проектирование и построение сложных систем. Представление и рассуждения также включает выводы из логики для различных видов рассуждений, таких как применение правил или отношений наборов и подмножеств. Примеры формы представлений знаний включают семантические сети, системную архитектуру, фреймы, правила и онтологии. Примеры механизмов автоматического мышления, включая механизмы вывода, средства доказательства теорем и классификаторы.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]