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

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