(12th-August-2020) • Making assumptions about what is working normally, and deriving what components could be abnormal, is the basis of...

(11th-August-2020) • Reasoning from contradictions is a very useful tool. For many activities it is useful to know that some combination...

(10th-August-2020) A Horn clause knowledge base can imply negations of atoms, as shown in Example 5.16.

(9th-August-2020) • Definite clauses can be used in a proof by contradiction by allowing rules that give contradictions. For example, in...

(8th-August-2020) • There is an infinite loop in the top-down derivation if there is an atom a that is being proved as a subgoal of a....

(7th-August-2020) • The second type of error occurs when an expected answer is not produced. This manifests itself by a failure when an...

(6th-August-2020) • An incorrect answer is an answer that has been proved yet is false in the intended interpretation. It is also called...

(5th-August-2020) Kowledge-level debugging is the act of finding errors in knowledge bases with reference only to what the symbols mean....

(4th-August-2020) • Another useful explanation is for why a question was asked. This is useful because • We want the system to appear...

(3rd-August-2020) • The explicit use of semantics allows explanation and debugging at the knowledge level. To make a system usable by...

(2nd-August-2020) • At design time or offline, there is typically no information about particular cases. This information arrives online...

(1st-August-2020) • Here are knowledge representation issues. Background Knowledge and Observations Querying the User Knowledge-Level...

(31th-July-2020)

(30th-July-2020) • In many AI programs, we want to separate the definition of a solution from how it is computed. Usually, the algorithms...

(28th-July-2020) There are a number of properties that can be established for the proof procedure • Soundness • Every atom in C is a...

(28th-July-2020) • So far, we have specified what an answer is, but not how it can be computed. The definition of specifies what...

(27th-July-2020) • One reason to build a description of a world is to be able to determine what else must be true in that world. After...

(26th-July-2020) • The language of propositional definite clauses is a sublanguage of propositional calculus that does not allow...

(25th-July-2020) • The knowledge base designer who provides information to the system has an intended interpretation and interprets...

(24th-July-2020) Step 1 A knowledge base designer chooses a task domain or world to represent, which is the intended interpretation. This...