📄 http:^^www.cs.washington.edu^education^courses^473^assignment4.html
字号:
Date: Mon, 02 Dec 1996 16:00:03 GMTServer: NCSA/1.4.2Content-type: text/html <html><TITLE>CSE 473 Assignment 4</TITLE><body><H1>CSE 473 Assignment 4<br></h1> <p>Due Monday, April 22 in class.<p>This assignment involves no computer programming!<P><H2>Reading</H2>In Chapter 4, review pp. 162-168 (especially 4.8.11).Read sections 4.13-4.15.In Chapter 5, read up through p. 240.<p><H2>Part 1: Exercises</H2>At the end of Chapter 4, do exercises 15, 16, 17, 19.<p>Note: It has been called to my attention that there is a miswordingin problem 16. Please make the following change, and answer theresulting question.<p>Replace the phrase "However, if the symbol P werereplaced by the identifier 'Raining' "by the phrase<p>However, if the symbols 'Weather', 'Today', and 'Raining' werereplaced by the symbols 'P', 'a', and 'b', "<hr><p>At the end of Chapter 5, do exercise 6, and either 8 or 9.<hr><H2>Part 2: Mini-project</H2>Choose one or more of the following aspects of your education hereat the University of Washington. <UL><LI> the goals of your undergraduate education (in terms of masteryof subject matter, jobs, social objectives, family objectives, etc.);<LI> the goals you have in taking this course on artificial intelligence;<LI> academic advice you would give to a freshman orsophomore who aspires to major in computer science and engineering;<LI> the programming skills or computer science concepts you have learned here.</UL>Describe that (or those) aspect(s) in English. This should bea paragraph of several sentences, including not only simple facts,but "rules" --- generalizations that will permit inferences to be made.<p>Now encode the English sentences in the predicate calculus.You should end up with: (1) several simple facts of the form P(a)(but using more descriptive "non-standard" notation), (2) at leastone rule using a universal quantifier, (3) at least oneformula using an existentially quantified variable,and (4) at least one use of each of the logical connectivesOr, And, Implies, and Not. You may need to adjust your Englishparagraph in order to be able to obtain all of these features inyour formulas.<p>Identify and describe the domain you are assuming for your formulas.<p>State your intended meaning for each predicate symbol, functionsymbol, and constant that you use.<p>How well do you feel your logical formulas represent the informationin the English paragraph? Is anything missing in the logical version?Does the logical version say anything that the English version does not?<HR><address>tanimoto@cs.washington.edu</address></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -