Professional Documents
Culture Documents
5. Structural knowledge:
o Structural knowledge is basic knowledge to
problem-solving.
o It describes relationships between various concepts
such as kind of, part of, and grouping of something.
o It describes the relationship that exists between
concepts or objects.
AI knowledge cycle:
An Artificial intelligence system has the following
components for displaying intelligent behavior:
Categories of knowledge: o Perception
Knowledge can be categorized into two major types: o Learning
Tacit knowledge o Knowledge Representation and Reasoning
Explicit knowledge o Planning
o Execution
Saquib Ali
Artificial Intelligence Notes
Module-II
Example:
For example, consider the statement "All humans are example, the following are atomic propositions:
mortal." This can be represented in propositional logic as a p: The sky is blue. q: The grass is green. r: 2+2=4. s: The
proposition, say P. Similarly, the statement "Socrates is a Earth orbits the Sun.
human" can be represented as another proposition, say Q.
The logical relationship between P and Q can be represented Compound Propositions
using logical connectives, such as "and," "or," and "not." Compound propositions are formed by combining atomic
For instance, the proposition "All humans are mortal, and propositions using logical operators. There are several
Socrates is a human" can be represented as P ∧ Q. logical operators in propositional logic, including negation,
conjunction, disjunction, implication, and equivalence.
Propositional logic is also used in AI to reason about the
relationships between propositions. Given a set of Example:
propositions, we can use logical inference rules to derive "It is raining today, and state it is wet."
new propositions. For example, if we know that P ∧ Q is "Ankit is a doctor, and his clinic is in Mumbai."
true, and we also know that P → R, we can infer that Q →
R is also true. Logical Connectives
Here are some basic facts about propositional logic in When connecting two simpler assertions or logically
AI: expressing a statement, logical connectives are used. Using
logical connectives, we can build compound propositions.
Propositional logic is a formal language that uses symbols The following list of connectives includes the main five:
to represent propositions and logical connectives to
combine them. The symbols used in propositional logic Negation
include letters such as p, q, and r, which represent The negation of a proposition p is denoted by ¬p and is read
propositions, and logical connectives such as "not p". For example: ¬p: The sky is not blue.
as ∧ (conjunction), ∨ (disjunction), and ¬ (negation),
which are used to combine propositions. Conjunction
An statement is a proposition if it is either true or false. The conjunction of two propositions p and q is denoted by p
Examples of propositions include "2+2=4," and "The sky ∧ q and is read as "p and q's". The conjunction is true only if
is blue." both p and q are true. For example: p ∧ q`: The sky is blue
Logical connectives are used to combine propositions to and the grass is green.
form more complex statements.
Truth tables are used to represent the truth values of Disjunction
propositions and the logical connectives that combine The disjunction of two propositions p and q is denoted by p
them. ∨ q and is read as "p or q". The disjunction is true if at least
Saquib Ali
Artificial Intelligence Notes
Module-II
one of p and q is true. For example: p ∨ q: The sky is blue or
the grass is green.
Implication
The implication of two propositions p and q is denoted by p
→ q and is read as "if p then q". The implication is false
only if p is true
Biconditional
A sentence such as P⇔ Q is a Biconditional sentence,
example I will eat lunch if and only if my mood improves.
P= I will eat lunch, Q= if my mood improves, it can be
represented as P ⇔ Q.
Eliminate all implication (→) and rewrite: Step 3: Reverse the statement that needs to be proven.
1. ∀x ¬ food(x) V likes(John, x) We will use negation to write the conclusion assertions in
2. food(Apple) Λ food(vegetables) this statement, which will be written as "likes" (John,
3. ∀x ∀y ¬ [eats(x, y) Λ ¬ killed(x)] V food(y) Peanuts)
4. eats (Anil, Peanuts) Λ alive(Anil)
5. ∀x ¬ eats(Anil, x) V eats(Harry, x)
6. ∀x¬ [¬ killed(x) ] V alive(x)
7. ∀x ¬ alive(x) V ¬ killed(x)
8. likes(John, Peanuts).
Saquib Ali
Artificial Intelligence Notes
Module-II
can be accomplished. knowledge about
something.
In the above diagram, we have represented the different type Example: Let's take an example of a frame for a book
of knowledge in the form of nodes and arcs. Each object is
connected with another object by some relation. Slots Filters
Conceptual Dependency: