📄 http:^^www.cs.washington.edu^education^courses^415^hw2.assign.html
字号:
Date: Mon, 02 Dec 1996 14:42:51 GMTServer: NCSA/1.4.2Content-type: text/html<HEADER><TITLE>CSE 415 Homework Assignment 2</TITLE></HEADER><BODY><pre>Subject: 415-Homework due Thursday, April 25, 1996 I introduced Predicate Logic at the last class and gave someexamples of expressing English sentences, and an example (using the x>y predicate) to illustrate the use of quantifiers and show howexistential quantifiers can be removed, using Skolem functions. I alsodefined clause form and talked about the transformations that willproduce clause form when applied to any well formed formula in thepredicate logic. At this point, you should read all of chapter 5 in Rich and Knight,paying particular attention to the discussion of proof procedures on p 113,the logic representation of 9 sentences on pages 134 to 136, the relatedcomments, and the development of a proof. Also, note the sections on Resolution and Conversion to Clause form and the Unification algorithm.I will cover the latter topics in the next class. Homework Problems Rich and Knight Chapter 5, page 166. Do problems 1, 3, 4 and 8 (a) and (b). Notes: Problem 1. Here you need to make substitutions into the predicate logic forms of the facts, to prove hate(Marcus, Caesar) is True or False. ie you will be unifying. Problem 4. The sentence, "Anything anyone eats and isn't killed by is food" is ambiguous. Use the sense that if at least one person eats it and is not killed, it is food. Problem 8 (a), (b). Assume that a is a constant and x,y are variables.</body>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -