type
status
date
slug
summary
tags
category
icon
password
Knowledge base
Knowledge base Logical Agents
- Knowledge representation: Store and represent fact about the world
- Knowledge base: "database"of al facts("sentences")
- Knowledge reasoning: making logical inference about stored facts
- ASK function: takes an input question("sentences")returns T or F or not defined.
- TELL function: deriving new sentences from old ones
- entailment:
- inference:
Propositional logic
- Syntax: defines the possible well-formed configurations of symbols in the language
- Semantic: defines the "meaning" of the sentence, and the truth of a sentence in a world
- conjunctions:
- implies:
- equivalence:
- Not:
- Variables:
- Quantifiers:
- Constant: CSE3521
- Functions:
Semantics in the truth table form
Forward and backward chaining
- Forward: triggered by addition of new fact to KB (using TELL)
- Backward: chaining designed to find all answers to a question posed to KB (using ASK)