ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½¾ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÄÓ Ð ÒØ Ì ØÐ ÔØ Ö Ë Ø ÓÒ º½ º¾ Ò º µ ÁÅ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽¾¹ ¹
ÐÓ» ÒØ ÒØ Ð ÐÓ ÈÖÓÔÓ Ø ÓÒ Ð ÐÓ» Ö Ø¹ÓÖ Ö ÐÓ ÈÖ Ø º º ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÇÙØÐ Ò ÃÒÓÛÐ ÏÙÑÔÙ ÛÓÖÐ ÄÓ ÓÖ ÃÒÓÛÐ Ê ÔÖ ÒØ Ø ÓÒ ² Ê ÓÒ Ò ËÝÒØ Ü Ë Ñ ÒØ ÁÒ Ö Ò Ñ Ò Ñ ÓÑÔÐ Ü ØÝ ÓÑÔÐ Ø Ò
Ø Ò Ø ÛÓÖÐ Ö ÔÖ ÒØ Ø ÓÒ Ó Ø Ò Ø ÛÓÖÐ ÒØ Ò Ö ÔÖ ÒØ Ø ÓÒ Ó Ø Ò Ø ÛÓÖÐ Ò ÃÒÓÛÐ Ã µ Ø ÒØ Ò Ø Ó Ö ÔÖ ÒØ Ø ÓÒ µ Ó Ø ÓÙØ Ø ÛÓÖÐ º º ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÃÒÓÛÐ ÓÖÑ Ð Ð Ò Ù Á Ù ØÓ Ã Ê ÔÖ ÒØ Ø ÓÒ Ð Ò Ù µ Ê ÓÒ Ò Ò Ö Ò µ
Ô Ø ÑÓÐÓ Ð ½º Ö ÔØ ÓÒ Ó Û Ø Ø ÒØ ÒÓÛ ÓÙØ Ø ÛÓÖÐ ØÖ Ø ÄÓ Ð ¾º Ó ÒÓÛÐ ÒØÓ ÒØ Ò ÒÓ Ò ÁÑÔÐ Ñ ÒØ Ø ÓÒ º ÑÔÐ Ñ ÒØ Ø ÓÒ Ð Ø ÖÖ Ý Ø Ð Øºµ ØÙ Ð º º ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ Ä Ú Ð Ó ÃÒÓÛÐ ÒØ Ò Ú Û Ø Ú Ö ÓÙ Ð Ú Ð Î ÖÝ ÑÔÓÖØ ÒØ ÓÖ Ô Ö ÓÖÑ Ò Ó ÒØ ÁÖÖ Ð Ú ÒØ ÓÖ Ö Ð Ú Ð Ó ÒÓÛÐ
ÒØ ÑÙ Ø Ð ØÓ Ì Ø Ø Ø ÓÒ Øº Ö ÔÖ ÒØ Ò Û Ô Ö ÔØ ÒÓÖÔÓÖ Ø ÒØ ÖÒ Ð Ö ÔÖ ÒØ Ø ÓÒ Ó Ø ÛÓÖÐ ÙÔ Ø Ò ÔÖÓÔ ÖØ Ó Ø ÛÓÖÐ Ù ÔÔÖÓÔÖ Ø Ø ÓÒ Ù º º ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÑÔÐ Ã ¹ ÒØ function KB-AGENT( percept) returns an action static: KB, a knowledge base t, a counter, initially 0, indicating time TELL(KB, MAKE-PERCEPT-SENTENCE( percept, t)) action ASK(KB, MAKE-ACTION-QUERY(t)) TELL(KB, MAKE-ACTION-SENTENCE(action, t)) t t + return action
Ì ÐÐ Ã ÓÙØ Ò Û Ô Ö ÔØ Ò Û ÒØ Ò µ È Ö Ú Å ¹È Ö ÔØ¹Ë ÒØ Ò Ê ÔÖ ÒØ Ø ÓÒ ØÓ Ã Ã ÓÙØ Ø ÓÒ ØÓ Ø Ò Ö Ò µ ÔÖ Ñ Ø Ú Ò Ì ÐÐ Ö ÓÒ Ò Ø Ð ÌÛÓ Ì ÐÐ Ã ÓÙØ Ø ÓÒ Ò Û ÒØ Ò µ Ø Å ¹ Ø ÓÒ¹Ë ÒØ Ò Ê ÔÖ ÒØ Ø ÓÒ º º ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÒØ ÃÒÓÛÐ ¹ function KB-AGENT( percept) returns an action static: KB, a knowledge base t, a counter, initially 0, indicating time TELL(KB, MAKE-PERCEPT-SENTENCE( percept, t)) action ASK(KB, MAKE-ACTION-QUERY(t)) TELL(KB, MAKE-ACTION-SENTENCE(action, t)) t t + return action Å ¹ Ø ÓÒ¹ÉÙ ÖÝ
º º ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÅÓØ Ú Ø Ò Ü ÑÔÐ Ì ÏÙÑÔÙ ÛÓÖÐ ÖÐÝ ÓÑÔÙØ Ö Ñ ÒØ ÜÔÐÓÖ Ú Û Ø ÓØØÓÑÐ Ô Ø Ø Ø Ø Ø ÒÝÓÒ Û Ó ÒØ Ö Ø ÖÓÓÑ Ò Ô Ó ÓÐ ØÓ ØÖ Ô 4 3 2 Stench Stench Gold Stench START 2 3 4
ËÕÙ Ö ÒØ ØÓ ÏÙÑÔÙ Ö Ñ ÐÐÝ ÒÚ ÖÓÒÑ ÒØ ÒØ ØÓ Ô Ø Ö Ö ÞÝ ËÕÙ Ö ÓÐ Ò Ø Ñ ÕÙ Ö Ð ØØ Ö ÐÐ ÏÙÑÔÙ ÝÓÙ Ö Ò Ø Ë ÓÓØ Ò Ù ÙÔ Ø ÓÒÐÝ ÖÖÓÛ Ë ÓÓØ Ò Ô ÙÔ ÓÐ Ò Ñ ÕÙ Ö Ö Ò º º ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ È Ë Ö ÔØ ÓÒ Ó Ø ÏÙÑÔÙ ÛÓÖÐ È Ö ÓÖÑ Ò Ñ ÙÖ ÓÐ ½¼¼¼ Ø ¹½¼¼¼ ¹½ Ô Ö Ø Ô ¹½¼ ÓÖ Ù Ò Ø ÖÖÓÛ Ê Ð Ò ÖÓÔ Ø ÓÐ Ò Ñ ÕÙ Ö Ë Ò ÓÖ Ö Þ Ð ØØ Ö ËÑ ÐÐ ØÙ ØÓÖ Ä Ø ØÙÖÒ Ê Ø ØÙÖÒ ÓÖÛ Ö Ö Ê Ð Ë ÓÓØ
º º ÓÙ ÖÝ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÏÙÑÔÙ ÏÓÖÐ Ö Ø Ö Þ Ø ÓÒ Ø ÛÓÖÐ Á Ç ÖÚ Ð Ø ÖÑ Ò Ø Ô Ó ËØ Ø Ö Ø Ë Ò Ð ¹ ÒØ ÆÓ ÓÒÐÝ ÐÓ Ð Ô Ö ÔØ ÓÒ ÓÙØÓÑ Ü ØÐÝ Ô ÆÓ ÕÙ ÒØ Ð Ø Ø Ð Ú Ð Ó Ø ÓÒ ÏÙÑÔÙ»È Ø ÓÒ³Ø ÑÓÚ ÏÙÑÔÙ ÓÒ Ö Ò ØÙÖ Ð ØÙÖ
ÑÙ Ø Ø Ø Ò ÓÑÔÐ Ø Ð Ó ÒÚ ÖÓÒÑ ÒØ Ò Ø ÒØ Ô Ö ÓÖÑ Ò ÑÙ Ø Ø ÖÑ Ò ÑÔ Ö Ð ÜÔ Ö Ñ ÒØ Ú Ö º º ÓÙ ÖÝ ½¼ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ Ú ÐÙ Ø ÓÒ Ò Ð»ÑÙÐØ ÔÐ ÓÒ ÙÖ Ø ÓÒ ÑÔ Ö Ð ÒØ Ò Ó Û ÐÐ Ò Ò Ð ÒÚ ÖÓÒÑ ÒØ Ð ÖÒ Ø Ò ÒÚ ÖÓÒÑ ÒØ Ü ÙØ ÖÙÐ º ÓÒ ØÖ ÒØ Ø ÖØ ÖÓÑ ÔÓ Ø ÓÒ ½ ½ Ð Ñ Ø ØÓ Ö ÄÓ Ø ÓÒ Ó ÏÙÑÔÙ Ò ÓÐ Ó Ò Ö Ò ÓÑÐÝ Û Ø ØÖ ÙØ ÓÒ ÐÐ ÕÙ Ö Ö ÔÓ Ð Ü ÔØ ½ ½ µ ÙÒ ÓÖÑ ÕÙ Ö Ü ÔØ ½ ½ Ò Ô Ø Û Ø ÔÖÓ Ð ØÝ ¼º¾ Ì ÖÖ ÐÝ ÓÐ Ò Ô Ø ÓÖ ÙÖÖÓÙÒ Ý Ô Ø
º º ÓÙ ÖÝ ½½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÏÓÖÐ Ø Ò ² Ê ÓÒ Ò ÏÙÑÔÙ Ø Ö Ö Ú Ò Ò Ø Ð Ô Ö ÔØ ÒØ ÒÓÛ Ø Ò ½ ½ Ò Ø ÇÃ ÆÓ Ø Ò ÓÖ Ö Þ Ò ½ ½ ½ ¾ Ò ¾ ½ Ö Ò Ö¹ Ö ÙØ ÓÙ ÒØ ÑÓÚ ÓÒÐÝ ØÓ ÕÙ Ö Ø ÒÓÛ Ø ÇÃ ÒØ ÑÓÚ ÓÒÐÝ ØÓ ÕÙ Ö ¾ ½ Ø Ø Ö Þ Ý Ô Ø Ò ÕÙ Ö ½ ½ ¾ ¾ Ò ½ º ÒØ ÒÓÛ ÒÓ Ô Ø Ò Ò ÓÖ Ò ½ ½ È Ø Ò Ø Ò ¾ ¾ Ò ½ Û Ø È ÆÓØ Ú Ø ÇÃ ÕÙ Ö ÇÒÐÝ ½ ¾ º ÒØ Ó ØÓ ½ ½ ÔÖÓ ØÓ ½ ¾
º º ÓÙ ÖÝ ½¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÏÙÑÔÙ ÏÓÖÐ Ø Ò ² Ê ÓÒ Ò,4 2,4 3,4 4,4,3 2,3 3,3 4,3,2 2,2 3,2 4,2 OK, 2, 3, 4, A OK OK (a) A = Agent B = G = Glitter, Gold OK = Safe square P = Pit S = Stench V = Visited W = Wumpus B OK 4 3 2 Stench Stench START Stench Gold 2 3 4,4 2,4 3,4 4,4,3 2,3 3,3 4,3,2 2,2 3,2 4,2 P? OK, 2, 3, 4, A P? V OK (b)
½ ½ ½ ÓÖ ¾ ¾ º ÈÓ Ð Ø ÒÓÛ ½ ½ ÏÙÑÔÙ ¹ Ö ÒØ Û Ø Ö µ ÒØ Ò Ò Ö ¾ ¾ ÏÙÑÔÙ ¹ Ö Ø Ò Ò ¾ ½ µ ÒØ Ò Ö ÏÙÑÔÙ Ò ½ Ï µ ÒØ ÓÑ Ò ÒÓÛÐ Ò Ø Ö ÒØ Ø Ñ Ò ÁÒ Ö Ò ÝÓÒ Ø Ð Ø Ó ÑÓ Ø Ò Ñ Ð ÙØ ÄÓ Ð ÔÐ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÏÓÖÐ Ø Ò ² Ê ÓÒ Ò ÏÙÑÔÙ ÒØ Ø Ø Ø Ò Ò ½ ¾ ÏÙÑÔÙ Ò Ö Ý Ä Ó Ö Þ Ò ½ ¾ ¾ ¾ Ô Ø¹ Ö Ô Ø Ò Ø Ö ¾ ¾ ÓÖ ½ Ô Ø Ò ½ È µ ÙØ ÁÒ Ö Ò Ò Ò Ð Ø Ë Ò ¾ ¾ ÇÃ Ò ÒÓØ Ú Ø ÒØ ÑÓÚ Ø Ö Øº
º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÏÓÖÐ Ø Ò ² Ê ÓÒ Ò ÏÙÑÔÙ 4 3 2 Stench Stench START Stench Gold 2 3 4,4 2,4 3,4 4,4,3 2,3 3,3 4,3 W!,2 2,2 3,2 4,2 A S OK OK, 2, B 3, P! 4, V V OK OK (a) A = Agent B = G = Glitter, Gold OK = Safe square P = Pit S = Stench V = Visited W = Wumpus,4 2,4 3,4 4,4 P?,3 W! 2,3 3,3 4,3 A P? S G B,2 2,2 3,2 4,2 S V OK V OK, 2, B 3, P! 4, V V OK OK (b)
Û Ö Ø ÒØ Ö Û ÓÒÐÙ ÓÒ ÖÓÑ Ø Ú Ð Ð ÁÒ Ø Ø ÓÒÐÙ ÓÒ Ù Ö ÒØ ØÓ ÓÖÖ Ø Ø Ò ÓÖÑ Ø ÓÒ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ Ì ÔÓ ÒØ Ó Ø ÏÙÑÔÙ ÛÓÖÐ Ú Ð Ð Ò ÓÖÑ Ø ÓÒ ÓÖÖ Øº ÙÒ Ñ ÒØ Ð ÔÖÓÔ ÖØÝ Ó ÐÓ Ð Ö ÓÒ Ò º
Ò Ò Ö Ð ÄÓ Ö ÓÖÑ Ð Ð Ò Ù ÓÖ Ö ÔÖ ÒØ Ò Ò ÓÖÑ Ø ÓÒ Ù Ø Ø ÄÓ Ò Ø Ñ Ò Ò Ó ÒØ Ò º º Ò ØÖÙØ Ó Ë Ñ ÒØ ÒØ Ò Ò ÛÓÖÐ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÓÒÐÙ ÓÒ Ò Ö ÛÒ ËÝÒØ Ü Ò Ø ÒØ Ò Ò Ø Ð Ò Ù Ö ÑÑ Öµ Ø Ð Ò Ù Ó Ö Ø Ñ Ø Ü ÑÔÐ ËÝÒØ Ü x + 2 ÒØ Ò y x2 + y ÒÓØ ÒØ Ò > Ë Ñ ÒØ x + 2 y ØÖÙ Ø ÒÙÑ Ö x + 2 ÒÓ Ð Ø Ò Ø y ÒÙÑ Ö x + 2 y ØÖÙ Ò ÛÓÖÐ Û Ö x = 7, y = x + 2 y Ð Ò ÛÓÖÐ Û Ö x = 0, y = 6
ÓÑÑ ØÑ ÒØ ÇÒØÓÐÓ Ð Ü Ø Ø Ó Ø Ø Ñ Ð Û Ø ÓÑÑ ØÑ ÒØ Ô Ø ÑÓÐÓ Ð Ø Ø Ó ÒÓÛÐ Û Ø º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ Ó ÐÓ ÌÝÔ Ö Ö Ø Ö Þ Ý Û Ø Ø Ý ÓÑÑ Ø ØÓ ÔÖ Ñ Ø Ú ÄÓ Language Ontological Commitment Epistemological Commitment (What exists in the world) (What an agent believes about facts) Propositional logic facts true/false/unknown First-order logic facts, objects, relations true/false/unknown Temporal logic facts, objects, relations, times true/false/unknown Probability theory facts degree of belief 0 Fuzzy logic degree of truth degree of belief 0
º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÃÒÓÛÐ Ö ÔÖ ÒØ Ø ÓÒ ² Ö ÓÒ Ò Representation World Ø Ò Ø ÛÓÖÐ Sentences Facts Ê ÔÖ ÒØ Ø ÓÒ Ò Ø ÓÑÔÙØ Ö Semantics Entails Follows Sentence Ê ÓÒ Ò ÔÖÓ Ó ÓÒ ØÖÙØ Ò Ò Û Ö ÔÖ ÒØ Ø ÓÒ ÖÓÑ ÓÐ ÓÒ ÈÖÓÔ Ö Ê ÓÒ Ò Ò ÙÖ Ò Û Ö ÔÖ ÒØ Ø ÓÒ ÓÖÖ ÔÓÒ ØÓ Ø Semantics Fact Ø Ø ØÙ ÐÐÝ ÓÐÐÓÛ ÖÓÑ Ø Ò Ø ÛÓÖÐ
ÒØ ÐÑ ÒØ Ñ Ò Ø Ø ÓÒ Ø Ò ÓÐÐÓÛ ÖÓÑ ÒÓØ Ö ÒØ ÐÑ ÒØ Ö Ð Ø ÓÒ Ô ØÛ Ò ÒØ Ò º º ÝÒØ Üµ ÒØ ÐÑ ÒØ ÓÒ Ñ ÒØ Ø Ø º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ à = αµ ÃÒÓÛÐ Ã ÒØ Ð ÒØ Ò α α ØÖÙ Ò ÐÐ ÛÓÖÐ Û Ö Ã ØÖÙ Ã {a b} Ø Ò Ü ÑÔÐ = a à = b à = a b à α = βµ Ø ØÖÙØ Ó β ÓÒØ Ò Ø ØÖÙØ Ó α ÓÖ Ü ÑÔÐ Ü Ý µ = Ü Ýµ
º º ÓÙ ÖÝ ¾¼ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÅÓ Ð ØÝÔ ÐÐÝ Ø Ò Ò Ø ÖÑ Ó ÑÓ Ð Û Ö ÓÖÑ ÐÐÝ ÄÓ Ò ÛÓÖÐ Û Ø Ö Ô Ø ØÓ Û ØÖÙØ Ò Ú ÐÙ Ø ØÖÙØÙÖ Ý m ÑÓ Ð Ó ÒØ Ò α α ØÖÙ Ò m Ï M(α) Ø Ø Ó ÐÐ ÑÓ Ð Ó α M( α) Ì Ò KB = α Ò ÓÒÐÝ M(KB) M(α) M(KB) 00 000000 0000000 0000000 000000 00000 00000 0000 00
ÛÓÒ Ö Û Ø Ö Ô Ø Ò ½ ¾ ¾ ¾ Ò ½ ÒØ ÑÓ Ð Û Ö Ø Ã ØÖÙ ÇÒÐÝ º º ÓÙ ÖÝ ¾½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ Ò Ø ÏÙÑÔÙ ÛÓÖÐ ÒØ ÐÑ ÒØ ÒØ Ø Ø ÒÓØ Ò Ò ½ ½ Ö Þ Ò ¾ ½ Ë ØÙ Ø ÓÒ ¾ 3 ÔÓ Ð ÑÓ Ð È Ö ÔØ Ø È Ë Ö ÔØ ÓÒ Ã α ÒÓ Ô Ø Ò ½ ¾ α ØÖÙ Ò ÑÓ Ð º KB α 2 3 2 2 3 2 2 2 3 2 2 3 2 2 2 3 2 3 2 2 3 2 2 3
º º ÓÙ ÖÝ ¾¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÒØ ÐÑ ÒØ Ò Ø ÏÙÑÔÙ ÛÓÖÐ KB α 2 3 2 2 3 2 2 2 3 2 2 3 2 2 2 3 2 3 2 2 3 2 2 3 α ÓÒ Ö ÒÓ Ô Ø Ò ½ ¾ α 2 ÒÓ Ô Ø Ò ¾ ¾ Ò Ã = α Ã = α ÅÓ Ð 2 Ú Ò Ã ÒØ ÒÒÓØ ÓÒÐÙ Û Ø Ö α 2 ÓÐ ÓÖ ÒÓØ ÒØ ÐÑ ÒØ Ò Ù ØÓ Ö Ú ÓÒÐÙ ÓÒ ÁÒ Ö Ò ÁÒ Ö Ò Ö ÓÒ Ý ÑÓ Ð Ò
Ó Ã Ö Ý Ø α Ò Ð º ÓÒ ÕÙ Ò Ò Ð Ò Ý Ø Ò Ö Ò Ò Ò Ø ÒØ ÐÑ ÒØ Ø ÔÖÓ ÙÖ Û ÐÐ Ò Û Ö ÒÝ ÕÙ Ø ÓÒ Û Ó Ò Û Ö Ì Ø ÖÓÑ Û Ø ÒÓÛÒ Ý Ø Ã ÓÐÐÓÛ º º ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ½½ ÁÒ Ö Ò Ã i α Ö Ú ÖÓÑ Ã Ý ÔÖÓ ÙÖ α i i ÓÙÒ ËÓÙÒ Ò Ã Û Ò Ú Ö i Ø Ð Ó ØÖÙ Ø Ø Ã = α α i ÓÑÔÐ Ø ÓÑÔÐ Ø Ò Ã = α Ø Ð Ó ØÖÙ Ø Ø Ã Û Ò Ú Ö i α Ì Ö ÓÖ Ó ÓÔ Ö Ø ÓÒ Ó ÓÙÒ Ò Ö Ò ÔÖÓ ÙÖ ÔÖÓÓ Æ ÜØ ÔÖÓÔÓ Ø ÓÒ Ð ÐÓ ÝÒØ Ü Ñ ÒØ Ò Ò Ö Ò