Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Knowledge Representation notes by: Eyal Amir
 

Summary: Knowledge Representation
notes by: Eyal Amir
May 6, 1997
Abstract
Knowledge Representation is one of the central issues in AI since the
late 50's. It is extremely large, and also very close and overlapping with
Reasoning.
Contents
1 Introduction 3
1.1 Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 Syntactic Representation (Avi: ``analytic'') 4
2.1 Propositional Logic . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.1.1 Boolean algebra . . . . . . . . . . . . . . . . . . . . . . . 5
2.1.2 Resolution for Propositional Logic . . . . . . . . . . . . . 6
2.2 1st order logic : Syntax and Semantics . . . . . . . . . . . . . . . 6
2.2.1 The language of FOL . . . . . . . . . . . . . . . . . . . . 6
2.2.2 The Semantics of FOL . . . . . . . . . . . . . . . . . . . . 7
2.2.3 The Proof Theory of FOL . . . . . . . . . . . . . . . . . . 8
2.2.4 The Herbrand Universe . . . . . . . . . . . . . . . . . . . 8
2.3 1st order logic : Calculi . . . . . . . . . . . . . . . . . . . . . . . 9

  

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

 

Collections: Computer Technologies and Information Sciences