【正文】
and S2 are sentences, S1 ? S2 is a sentence (implication) If S1 and S2 are sentences, S1 ? S2 is a sentence (biconditional)27人工智能原理 2023年春季 廣西大學(xué) 計(jì)算機(jī)學(xué)院 命題邏輯 : 語義Each model/world specifies true or false for each proposition symbol. P1,2 P2,2 P3,1 false true falseWith these symbols, 8 possible models, can be enumerated automatically.Rules for evaluating truth with respect to a model m:?S is true iff S is false S1 ? S2 is true iff S1 is true and S2 is trueS1 ? S2 is true iff S1is true or S2 is trueS1 ? S2 is true iff S1 is false or S2 is true ., is false iff S1 is true andS2 is falseS1 ? S2 is true iff S1?S2 is true andS2?S1 is true?P1,2 ? (P2,2 ? P3,1) = true ? (true ? false) = true ? true = true命題邏輯不要求 S1和 S2之間存在任何相關(guān)性或因果關(guān)系;如果 S1為真,則我主張 S2為真,否則我不做任何聲明28人工智能原理 2023年春季 廣西大學(xué) 計(jì)算機(jī)學(xué)院 Truth tables for connectives29人工智能原理 2023年春季 廣西大學(xué) 計(jì)算機(jī)學(xué)院 Wumpus world sentencesLet Pi,j be true if there is a pit in [i, j].Let Bi,j be true if there is a breeze in [i, j].start: ? P1,1? B1,1 B2,1Pits cause breezes in adjacent squaresB1,1 ? (P1,2 ? P2,1)B2,1 ? (P1,1 ? P2,2 ? P3,1)30人工智能原理 2023年春季 廣西大學(xué) 計(jì)算機(jī)學(xué)院 通過枚舉進(jìn)行推理Inference by enumeration 所有模型的枚舉是可靠和完備的 對于 n 個命題符號,枚舉所有模型的時間復(fù)雜度為 O(2n)... 因此需要一個更為聰明的推理! In particular, we are going to infer new logical sentences from the database and see if they match a query.31人工智能原理 2023年春季 廣西大學(xué) 計(jì)算機(jī)學(xué)院 32人工智能原理 2023年春季 廣西大學(xué) 計(jì)算機(jī)學(xué)院 演講完畢,謝謝觀看