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.
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
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License