public:t-622-arti-13-1:lab_4_-_propositional_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-13-1:lab_4_-_propositional_logic [2013/02/21 14:44] – [Tasks] stephan | public:t-622-arti-13-1:lab_4_-_propositional_logic [2024/04/29 13:33] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 14: | Line 14: | ||
| ===== Tasks ===== | ===== Tasks ===== | ||
| - | - Encode all the given information as a knowledge base < | + | - Encode all the given information as a knowledge base in propositional logic. |
| - Write down which propositional symbols you used and which facts in the environment they represent. | - Write down which propositional symbols you used and which facts in the environment they represent. | ||
| - Use the inference rules and equivalences below to infer who is the thief. For each inference step note which sentences and which inference rule / equivalence you used! | - Use the inference rules and equivalences below to infer who is the thief. For each inference step note which sentences and which inference rule / equivalence you used! | ||
/var/www/cadia.ru.is/wiki/data/attic/public/t-622-arti-13-1/lab_4_-_propositional_logic.1361457882.txt.gz · Last modified: 2024/04/29 13:32 (external edit)