Skip to content

Meta-Guide.com

Menu
  • Home
  • About
  • Directory
  • Bibliography
  • Videography
  • Pages
  • Index
  • Random
Menu

What is reasoning, or automated reasoning, in the context of knowledge representation?

Posted on 2015/08/022016/09/10 by mendicott

What is reasoning, or automated reasoning, in the context of knowledge representation?

en.wikipedia.org/wiki/Knowledge_representation_and_reasoning

Knowledge representation and reasoning (KR) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can utilize to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language. Knowledge representation incorporates findings from psychology about how humans solve problems and represent knowledge in order to design formalisms that will make complex systems easier to design and build. Knowledge representation and reasoning also incorporates findings from logic to automate various kinds of reasoning, such as the application of rules or the relations of sets and subsets.

Examples of knowledge representation formalisms include semantic nets, Frames, Rules, and ontologies. Examples of automated reasoning engines include inference engines, theorem provers, and classifiers.

See also my quick and dirty webpages:

  • Automated Theorem Proving (Automated Deduction) | Meta-Guide.com
  • Inference Engines | Meta-Guide.com
  • Knowledge Representation and Reasoning (KR&R) | Meta-Guide.com

Popular Content

New Content

Virtual Human Systems: A Generalised Model (2021)

 

Contents of this website may not be reproduced without prior written permission.

Copyright © 2011-2025 Marcus L Endicott

©2025 Meta-Guide.com | Design: Newspaperly WordPress Theme