CS 371: Introduction to Artificial Intelligence

Review/Introduction

Knowledge-based agent

Examples of KB Agents

Propositional Logic Syntax

Propositional Logic Syntax (cont.)

Propositional Logic Semantics

Truth Tables

Truth Tables (cont.)

Validity, Satisfiability, Models

Entailment

Inference

Semantics: Relating the Representation to the World

Relationships Between Entailment and Inference

Knowledge Representation and Reasoning

Knowledge Representation and Reasoning (cont.)

Knowledge-Based Agent Review

Advantages

Difficulties

Example: SSA Circuit Fault Testing

Problem Overview

Combinational Circuits

Larrabee Notation

Conversion to CNF

Eliminate Þ and Û

Move Negations In

Form Conjunction of Disjunctions (CNF) with Distribution

Conjunctive Normal Form

SSA Circuit Fault Testing Example

Fault Model

Test Pattern Generation

Test Pattern Generation (cont.)

SSA Test Pattern Generation Summary

Theorem Proving

Propositional Logic Inference

Resolution Theorem Proving Example

Summary