Thanks to visit codestin.com
Credit goes to www.scribd.com

Scribd
Upload
30 views2 pages

SYLLABUS

The document outlines a course on Knowledge Representation and Reasoning, detailing its objectives, units, and outcomes. Key topics include logic, resolution, reasoning algorithms, object-oriented representation, and the use of various programming tools. Upon completion, students will be able to apply knowledge representation techniques and implement knowledge-based systems.

Uploaded by

123033007
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
30 views2 pages

SYLLABUS

The document outlines a course on Knowledge Representation and Reasoning, detailing its objectives, units, and outcomes. Key topics include logic, resolution, reasoning algorithms, object-oriented representation, and the use of various programming tools. Upon completion, students will be able to apply knowledge representation techniques and implement knowledge-based systems.

Uploaded by

123033007
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 2

23CST205 KNOWLEDGE REPRESENTATION AND L T P J C

SEM-IV REASONING 3 0 0 0 3

COURSE OBJECTIVE

1 To explore various representation and formalisms

2 To gain knowledge about resolution

3 To understand algorithms for reasoning, facts and rules

4 To understand problem solving and representation of object and frames

5 To understand various tool


UNIT I INTRODUCTION 9
Key concepts – Need of knowledge representation and reasoning – Role of Logic – First
order Logic – Syntax- Semantics- Pragmatics – Explicit and Implicit Belief – Expressing
Knowledge
UNIT II RESOLUTION 9
Propositional Case – Handling Variables and Quantifiers – Dealing with
Computational Intractability – Reasoning with Horn Clauses –Horn Clauses- SLD
Resolution – Computing, SLD Derivations.
UNIT III REASONING 10
Procedural control of Reasoning – Facts and Rules – Rule formation and Search Strategy –
Algorithm Design – Backtrack control – Negation as Failure – Rules in Production Systems
UNIT IV REPRESENTATION 9
Object Oriented Representation – Object and Frames – Frame Formalism – Structured
Descriptions – Description Language – Meaning and Entailment – Computing Entailments
– Taxonomy and classification.
UNIT V LANGUAGES AND TOOLS 8
Working with LISP, Prolog – RDF Tools – Ontology tools.
L:45 P:0 J:0 TOTAL: 45 PERIODS
TEXT BOOKS
Ronald J.Brachman and H.J.Levesque, “Knowledge Representation and
1
Reasoning”, Elsevier, Morgan Kaufman publishers, 2004
REFERENCES
Deepak Khemani, “A First Course in Artificial Intelligence”, , McGraw-
1
Hill, First Edition 2013.
2 Stuart J Russell and Peter Norvig, “Artificial Intelligence – A Modern Approach”,
Third Edition, PHI, 2009
COURSE OUTCOME
Upon completion of this course, the students should be able to
CO 1 Explain various knowledge representations formalism in real world problem
solving

CO 2 Describe knowledge engineering tools in problem solving


CO 3 Explain algorithms for reasoning
CO 4 Understand object oriented representation
CO 5 Implement a knowledge based system using various tools

You might also like