Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Knowledge Representation and Logic
-
The term knowledge representation describes the design and implementation of formalisms, to model a part of the reality (a domain).
-
A model represented using a formalisms and implemented by an interpreter is often called a knowledge base.
-
A knowledge base is a collection of facts and beliefs.
-
Modelling of knowledge bases happens on a conceptual level.
-
Intention: To model a domain of discourse and to draw inferences about the objects in the domain (reasoning)
-
Logic studies the principles of reasoning and offers
-
Formal languages for expressing knowledge
-
Well understood formal semantics
-
Reasoning methods to make implicit knowledge explicit