# ln008 - Knowledge Representation Attribute-Value pairs...

This preview shows pages 1–5. Sign up to view the full content.

Knowledge Representation Attribute-Value pairs, frames, and semantic networks allow you to represent knowledge very effectively, but. .. ...accessing and reasoning with this knowledge is ad hoc . However, our reasoning does not seem ad hoc ...we follow certain reasoning patterns or rules.

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

View Full Document
Rule-based Systems Rule-based systems try to mimic our reasoning steps with sets of if-then rules: if is-fresh(coffee) then pour(coffee) if not is-fresh(coffee) then make(coffee) This kind of reasoning was already studied by the ancient Greeks and is referred to as the modus ponens, if A then B A = true ------------- B = true Sometimes rules are also referred to as productions or production rules . Rules: If <condition> then <action> Read Chap 11, Alex’ Book Read Prolog Tutorial on course website
Rule-based Systems Current State of the Reasoning (Computation) Computation step: The interpreter selects a rule from the rulebase applies the rule to the symbols in the working memory updates the working memory Rules can be selected in an arbitrary order only depending on the state of the computation.

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

View Full Document
Rule-based Systems A convenient framework for rule- based reasoning is first-order logic Rather than arbitrary data structures first-order logic depends on Quantified Variables Predicates Logical Connectives If-then Rules
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 10/03/2011 for the course CSC 592 taught by Professor Staff during the Spring '11 term at Rhode Island.

### Page1 / 13

ln008 - Knowledge Representation Attribute-Value pairs...

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

View Full Document
Ask a homework question - tutors are online