Concept

Knowledge representation and reasoning

Overview

field of artificial intelligence on representing information in a form that a computer system can use to solve complex tasks

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• First-order logic
• Artificial intelligence
• Herbert A. Simon
• Logic programming
• Massachusetts Institute of Technology
• Information
• Mathematical logic
• Marvin Minsky
• Cognitive revolution
• Prolog
• Knowledge
• Automated theorem proving
• Allen Newell
• Scientific American
• Completeness (logic)
• Universal (metaphysics)
• Non-monotonic logic
• Formal system
• Logic
• Fuzzy logic
• Functional completeness
• Artificial Intelligence: A Modern Approach
• Universal quantification
• Existential quantification

Place in the tradition

Part of Description logic.

Explore Knowledge representation and reasoning in the interactive graph →