Main

Text:

Ronald J. Brachman and Hector J. Levesque, Knowledge Representation and Reasoning (Elsevier / Morgan Kaufmann, 2004). [Cited herein as B&L]

Syllabus:

Introduction. [B&L, ch 1.]

Part One: Computational Logic.

• Semantics of First-Order Logic. [B&L, ch 2, ch 3.]

• Resolution Theorem-Proving. [B&L, ch 4.]

• Alternative Proof Systems:
• Tableau Calculus. • Sequent Calculus.

• Alternative Logics:
• Intuitionistic Semantics. • Intuitionistic Proof Systems.

• Modal Logics.
• Possible World Semantics. • Modal Tableau Proofs.

Part Two: Restricted Languages.

• Horn Clause Logic. [B&L, ch 5, ch 6.]

• Description Logic. [B&L, ch 8, ch 9.]

Part Three: Modalities.

• Reified Action Languages. [B&L, ch 14.]

• Temporal Logic.

• Dynamic Logic.

• Deontic Logic: Permissions and Obligations.

• Epistemic Logic: Knowledge and Belief.

Part Four: Applications.

• Software System Specifications.

• Natural Language Processing.

• Proposals for a Semantic Web.

• Ontologies.

Part Five: Conclusion.

• Evaluation and Critique. [B&L, ch 16.]
• Alternatives. • Hybrid Representations.

Spring 2007

Tuesday, 6:40-9:30 PM

Hill 254

Busch Campus

Rutgers University

L. Thorne McCarty

Office: CORE 330

Hours: Tue, 1:00-3:00 PM

(732) 445-6430 X4941