人工智能作業(yè)講解47

1、作業(yè)講解作業(yè)講解詹杭龍詹杭龍第一次作業(yè)第一次作業(yè) 題目：題目：2.11 2.11 用謂詞邏輯公式表示如下自然數(shù)公理：用謂詞邏輯公式表示如下自然數(shù)公理：（1 1）每個數(shù)都存在一個且僅存在一個直接后繼數(shù)。）每個數(shù)都存在一個且僅存在一個直接后繼數(shù)。參考解答：定義謂詞：Equal(x,y): x和y相等，N(x):x是自然數(shù)，Succeed(x,y),y是x的后繼(x是y的前啟)。),(),(),(zyEqualzxSuceedzyxSuceedyx),(),()(),()()(zyEqualzxSucceedzNzyxSucceedyNyxNx),(),(),(zyEqualzxSuceedzyxS

2、uceedyxor 定義函詞：succ(x):x的后繼),()(,()(,(zyEqualxsucczEqualzxsuccyEqualyx2.11 （1）不好的解答：僅定義一個謂詞，未考慮對“僅存在一個”的描述，A(x)表示x存在一個且僅一個直接后繼數(shù)。)()(xAxNxEqual(x, y) 直接寫為 x = y，最好用謂詞來描述第一次作業(yè)第一次作業(yè) 題目：題目：2.11 2.11 用謂詞邏輯公式表示如下自然數(shù)公理：用謂詞邏輯公式表示如下自然數(shù)公理：（2 2）每個數(shù)都不以）每個數(shù)都不以0 0為后繼數(shù)。為后繼數(shù)。參考解答：定義謂詞：Equal(x,y): x和y相等，N(x):x是自然數(shù)，S

3、ucceed(x,y),y是x的后繼(x是y的前啟)。)0 ,()(xSucceedxNx)0 ,()(xSucceedxNx不好的解答：未考慮謂詞 N(x)第一次作業(yè)第一次作業(yè) 題目：題目：2.11 2.11 用謂詞邏輯公式表示如下自然數(shù)公理：用謂詞邏輯公式表示如下自然數(shù)公理：（3 3）每個不同于）每個不同于0 0的數(shù)都存在一個且僅存在一個直接前啟的數(shù)都存在一個且僅存在一個直接前啟數(shù)。數(shù)。參考解答：定義謂詞：Equal(x,y): x和y相等，N(x):x是自然數(shù)，Succeed(x,y),y是x的后繼(x是y的前啟)。),(),()(),()()0 ,()(zyEqualxzSucceed

4、zNzxySucceedyNyxEqualxNx),(),()(),()()0 ,()(zyEqualxzSucceedzNzxySucceedyNyxEqualxNx第一次作業(yè)第一次作業(yè) 題目：題目：2.122.12用一階謂詞邏輯表示下面的句子。用一階謂詞邏輯表示下面的句子。 （1 1）人人為我，我為人人。）人人為我，我為人人。參考解答：定義謂詞：定義 For(x,y)表示x為y, I表示我或I(x)表示x是我。Equal表示x,y是同一個人。不好的解答：1.需要再細分),(),(),(xIForIxForIxEqualx),(),(),()(xyForyxForyxEqualyxIx)()

5、(xMeforxFormex),(),(),(),(yIForIyEqualyIxForIxEqualx第一次作業(yè)第一次作業(yè) 題目：題目：2.122.12用一階謂詞邏輯表示下面的句子。用一階謂詞邏輯表示下面的句子。 （2 2）魚我所欲也，熊掌亦我所欲也。）魚我所欲也，熊掌亦我所欲也。參考解答：定義謂詞：I表示我或I(x)表示x是我，F(xiàn)ish(x)表示x是魚，Bearpaw(x)表示x是熊掌。不好的解答：1.描述對象錯誤2.沒有量詞 ),()()(xIWantxBearpawxFishx)()()(xwWantBearpaxWantFishxIx),()(),()(yIWantyBearpawy

6、xIWantxFishx),(),(PawIWantFishIWant第一次作業(yè)第一次作業(yè) 題目：題目：2.122.12用一階謂詞邏輯表示下面的句子。用一階謂詞邏輯表示下面的句子。 （8 8）歷史考試的最高分比生物考試最高分要高。）歷史考試的最高分比生物考試最高分要高。參考解答：主體是比較分數(shù)的高低，所以將分數(shù)作為變元x，注意是謂詞，不是函數(shù)，不能寫history(x)表示歷史最高分可以寫History(x)表示x是歷史最高分；Biology(x)表示x是生物最高分，Higher(x,y)表示x比y高。不好的解答：1.定義H為歷史最高分，B為生物最高分。),()()(yxHigheryBiol

7、ogyxHistoryyx),(BHHigher)()(xyyHyxBx不夠直觀第一次作業(yè)第一次作業(yè) 題目：題目：2.122.12用一階謂詞邏輯表示下面的句子。用一階謂詞邏輯表示下面的句子。 （1010）星期六，所有的學(xué)生或者去參加舞會了，或者工作）星期六，所有的學(xué)生或者去參加舞會了，或者工作去了，但是沒有兩者都去的。去了，但是沒有兩者都去的。參考解答： Student(x)表示x是學(xué)生，Dance(x)表示x周六去跳舞了，Work(x)表示x周六去工作了。（帶上不帶上星期六都可以，如果原題說的是每個星期六的話，最好帶上Saturday(x)()）)()()()()(xWorkxDancexWorkxDancexStudentx點評點評 謂詞的作用是描述對象的性質(zhì)和關(guān)系，因此，在定義謂詞的時候不應(yīng)當帶有“對象”。例如，forMe，wantFish，wantPaw等。 盡量用符號去表示常量和變量，并注意區(qū)分大小寫。 ，1) AO* 算法兩個關(guān)鍵點：算法兩個關(guān)鍵點：