Artificial Intelligence BCS515B
Course Code: BCS515B
Credits: 03
CIE Marks: 50
SEE Marks: 50
Total Marks: 100
Exam Hours: 03
Total Hours of Pedagogy: 40H
Teaching Hours/Weeks: [L:T:P:S] 3:0:0:0
Introduction: What Is AI? , The State of The Art.
Intelligent Agents: Agents and environment, Concept of Rationality, The nature of
environment, The structure of agents.
Problem‐solving: Problem‐solving agents, Example problems, Searching for Solutions Uninformed Search Strategies.
Problem‐solving: Informed Search Strategies, Heuristic functions.
Logical Agents: Knowledge–based agents, The Wumpus world, Logic, Propositional logic,
Reasoning patterns in Propositional Logic.
First Order Logic: Representation Revisited, Syntax and Semantics of First Order logic, Using
First Order logic, Knowledge Engineering In First-Order Logic.
Inference in First Order Logic: Propositional Versus First Order Inference, Unification, Forward Chaining.
Inference in First Order Logic: Backward Chaining, Resolution.
Classical Planning: Definition of Classical Planning, Algorithms for Planning as State-Space
Search, Planning Graphs.