public:t-622-arti-14-1:lab_4_-_propositional_logic
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| public:t-622-arti-14-1:lab_4_-_propositional_logic [2014/02/18 10:10] – created stephan | public:t-622-arti-14-1:lab_4_-_propositional_logic [2024/04/29 13:33] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 17: | Line 17: | ||
| - 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! | ||
| - | |||
| ===== Hints ===== | ===== Hints ===== | ||
| Line 23: | Line 22: | ||
| * You should have 7 symbols in total, but different solutions are possible. | * You should have 7 symbols in total, but different solutions are possible. | ||
| * When doing the inference do not think about the meaning of the symbols or which things are true and which are false! Just mechanically match the patterns of the inference rules with the sentences in your knowledge base to generate new sentences. | * When doing the inference do not think about the meaning of the symbols or which things are true and which are false! Just mechanically match the patterns of the inference rules with the sentences in your knowledge base to generate new sentences. | ||
| + | * Equivalences can be used as inference rules in both directions. E.g., < | ||
| + | * You can the latex template on MySchool for your answers. If you do not have Latex installed, you can use [[https:// | ||
| ===== Inference Rules and Equivalences ===== | ===== Inference Rules and Equivalences ===== | ||
| - < | - < | ||
| - < | - < | ||
| - | - < | + | - < |
| - < | - < | ||
| - | - < | + | - < |
| - < | - < | ||
| - < | - < | ||
/var/www/cadia.ru.is/wiki/data/attic/public/t-622-arti-14-1/lab_4_-_propositional_logic.1392718224.txt.gz · Last modified: 2024/04/29 13:32 (external edit)