Professional Documents
Culture Documents
1)Human Agent:
• Sensors: Eyes, Skin, Ears, Nose, Tongue
• Actuators: Hands, Legs
2)Robot Agent:
• Sensors: Camera, Informed range finders, etc
• Actuators: Various types of motors,
Printing devices, etc.
KNOWLEDGE BASED AGENTS
• Knowledge based agents are the agents with
specific knowledge.
• Knowledge based agents update their knowledge
based on the environment they are present in.
• Knowledge based agents can take actions based on
the knowledge it has.
• Normal agents cannot do all these things.
• There are two most important components of
Knowledge based agents: Knowledge base and
inference engine.
1. KNOWLEDGE BASE
1. Propositional Logic
2. First Order Logic(FOL)
1. PROPOSITIONAL LOGIC
• Propositional logic simplifies complex statements into symbols and logical operators,
facilitating analysis of truth values and relationships without considering internal
structures.
• Symbols of propositional logic:
Symbols are used in propositional logic to represent English written sentences in a
form that is machine understandable.
EXAMPLES OF PROPOSITIONAL LOGIC
• X: It is cold.
Y: It is sunny.
Z: It is breezy.
1. It is not cold.
ans: ~x
2. It is cold and breezy.
ans: x^z
3. If it is breezy, then it is not sunny.
ans: z ~y
EXAMPLES OF PROPOSITIONAL LOGIC
Action performed by
FIRST ORDER LOGIC
• First order logic are more expressive than propositional logic, because they
use quantifiers along with symbols used in propositional logic.
• FOL is widely used as compared to propositional logic.
¬ (Negation), ∧ (Conjunction), ∨ (Disjunction), → (Implication), ↔
Connectives
(Biconditional)
Then a=4 I
N
N
I
G N
• Conclusion: a=4 G
KNOWLEDGE ENGINEERING IN FOL
• Involves process of representing knowledge in a structured and logical
manner so that it can be effectively utilized by computer system on other
knowledge based systems.
• In knowledge engineering, unification and resolution are fundamental
concepts used in inference and reasoning, particularly in logic based systems
like FOL.
UNIFICATION RESOLUTION
UNIFICATION
• The process of finding a substitution that makes two logical expressions identical is called
Unification.
• It simply means making expressions look identical.
• Unification is done using the process of simplification.
• Example:
p(x, f(y))_________1
p(a, f(g(2))_________2
1 and 2 are identical if x is replaced with a and y is replaced with g(2).
p(a, f(g(2))
X is replaced by a y is replaced by g
(2)
RESOLUTION
• Resolution is an inference rule used in logic for proving the validity of a
statement by contradiction.
• Resolution is based on the principle of refutation: To prove a statement,
assume the negation of the statement to derive a contradiction.
• Example:
1.Alice is a musician or Alice is a painter.
2.Alice is not a painter.
• By applying resolution, we can infer:
• Alice is a musician.
• This inference is made by resolving the two statements to derive the conclusion that Alice must be
a musician, as she cannot be both a painter and not a painter simultaneously.
PROBLEMS: SOLVE USING PL
EMPOWER
ILLUMINATE