Please enable JavaScript.
Coggle requires JavaScript to display documents.
Knowledge Representation and Reasoning with Logic - Coggle Diagram
Knowledge Representation and Reasoning with Logic
Knowledge representation and reasoning
Intelligent agents should have capacity for
Reasoning
Perceiving
Knowledge Representation
Acting
The primary component is knowledge-base
A knowledge-base is a set of sentences
Each sentence is in knowledge representation language
New sentences are derived from old
Process is called as Inferencing or reasoning
new sentences should follow logically from the previous ones
Logic is used for representing and reasoning about knowledge
Logic
Attributes of Logic
Allows for automated reasoning
Logic is precise and definite
Allow programs to be written
Limitation in logic
Large potion on the Knowledge bases accuracy could be uncertain
Language Reasoning requires inferring hidden state, namely the the intention of the speaker.
Main component of logic
Syntax
Semantics
Syntactic inference method
Logical Systems
Propositional logic
First Order Predicate logic
Temporal
Modal
Higher order logic
Non-monotonic