public:t-622-arti-12-1:lab_3_-_logic
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| public:t-622-arti-12-1:lab_3_-_logic [2012/02/23 12:33] – stephan | public:t-622-arti-12-1:lab_3_-_logic [2024/04/29 13:33] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| 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/cadia.ru.is/wiki/data/attic/public/t-622-arti-12-1/lab_3_-_logic.1330000398.txt.gz · Last modified: 2024/04/29 13:32 (external edit)