Lect10 - Homework 2A due today Homework 2B due Tuesday(9/28...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Homework 2A due today Homework 2B due Tuesday (9/28) 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
More on Soundness and Completeness of inference procedures 2
Background image of page 2
I Inference Procedure Database (axiom set) 1 , 2 , 3 ,… Derived theorems Inference Procedure: choose one or more inference rules choose conventional (derive the goal directly) or refutational (add negated goal, derive contradiction) (if ambiguous we will assume conventional) Intrinsic properties of I (soundness and completeness) force important relations between and { i } Derivation requires an inference procedure Entailment does NOT 3
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Completeness An inference procedure is complete iff for any database (axiom set), any sentence entailed by the database can be derived from the database using the inference procedure. It may not be possible for an inference procedure to derive a sentence even though the sentence is entailed by the database. Such an inference procedure is incomplete . Given a database, a complete inference procedure must derive everything entailed by it (including all tautologies). 4
Background image of page 4
An inference procedure is sound iff for any database (axiom set) every sentence derivable from the database using the inference procedure is entailed by the database. Some inference procedure may derive statements that do not follow logically from the database. Such an inference procedure is unsound . Given a database, a sound inference procedure must only derive statements that are entailed by it (that logically follow from it). 5
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/13/2011 for the course CS 440 taught by Professor Levinson,s during the Fall '08 term at University of Illinois, Urbana Champaign.

Page1 / 26

Lect10 - Homework 2A due today Homework 2B due Tuesday(9/28...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online