Knowledge

Sentence
An assertion about the world in a knowledge representation language

Propositional Logic
P Q R

Logical Connectives
¬ not
∧ and
∨ or
→ implication
↔ biconditional

Screenshot not attached: Pasted image 20260914113246.png

it's not P=Q
it's:
Q happens if P happens

P→Q = false
happens only if:
P = true
Q = false

if P is false
then it doesn't mean Q is gonna be false or true

Model
Assignment of a truth value to every propositional symbol (a "possible world")

Knowledge base
A set of sentences known by a knowledge-based agent

Entailment
In every model in which sentence α is true, sentence β is also true.
α ⊨ β
read this as alpha entails beta

Implication
An implication is an if–then statement
Example:
(P ∧ ¬Q) → R

Inference
the process of deriving new sentences from old ones

P: It is a Tuesday.
Q: It is raining.
R: Harry will go for a run.

KB(Knowledge Base): (P ∧ ¬Q) → R

How to read:
P and not Q implies R

Model Checking
Entailment example:
Does
KB ⊨ α
?

Knowledge Engineering
Take a problem and trying ti figure it out how to distill it down into knowledge that is representable by a computer.