User Tools

Site Tools


public:t-622-arti-12-1:lab_3_-_logic

Link to this comparison view

public:t-622-arti-12-1:lab_3_-_logic [2012/02/23 12:33]
stephan
public:t-622-arti-12-1:lab_3_-_logic [2012/02/23 12:36] (current)
stephan
Line 27: Line 27:
   - Proof that your guess is right (KB entails A) using resolution.   - Proof that your guess is right (KB entails A) using resolution.
  
 +====== Part 2 - First-Order Logic ======
 +Encode the information for the problem above in First-Order Logic (FOL):
 +  - Decide which constants, functions, and predicates you want to use.
 +  - Write down FOL sentences for the given facts.
 +  - Compare the size of the FOL knowledge base with the size of the propositional knowledge base.
  
/var/www/ailab/WWW/wiki/data/pages/public/t-622-arti-12-1/lab_3_-_logic.txt ยท Last modified: 2012/02/23 12:36 by stephan