{"resolved":true,"match_type":"uuid","source_type":"original_book","book_id":"cf76bc49-7e9b-4f42-bee8-3050a9fb9feb","title":"智慧的疆界 从图灵机到人工智能","author":null,"edition":null,"publisher":null,"year":null,"isbn":"9787111778004","requested_by":"printed_page","book":{"source_type":"original_book","book_id":"cf76bc49-7e9b-4f42-bee8-3050a9fb9feb","id":"cf76bc49-7e9b-4f42-bee8-3050a9fb9feb","uuid":"cf76bc49-7e9b-4f42-bee8-3050a9fb9feb","title":"智慧的疆界 从图灵机到人工智能","normalized_title":"智慧的疆界从图灵机到人工智能","author":null,"edition":null,"publisher":null,"year":null,"isbn":"9787111778004","isbns":["9787111778004","9787111695714"],"parsed":true,"ai_readable":true,"document_type":"book","page_count":456,"navigation_url":"https://workshop.closeclaw.top/ai/book/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb","title_url":"https://workshop.closeclaw.top/ai/title/%E6%99%BA%E6%85%A7%E7%9A%84%E7%96%86%E7%95%8C%20%E4%BB%8E%E5%9B%BE%E7%81%B5%E6%9C%BA%E5%88%B0%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD","fixed_page_url_template":"https://workshop.closeclaw.top/ai/book/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb/page/{printed_page}","path_api_url_template":"https://workshop.closeclaw.top/api/ai/book/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb/page/{printed_page}","read_url":"https://workshop.closeclaw.top/api/ai/read/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb","page_url":"https://workshop.closeclaw.top/api/ai/books/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb/page","search_url":"https://workshop.closeclaw.top/api/ai/books/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb/search"},"page":{"printed_page":79,"pdf_page":94,"physical_index":94,"physical_index_base":0,"printed_page_status":"recognized","page_sha256":"eb6b42494ddac81ae641298e0b773d4ec7e38babf92d41b183df6b750d512a79"},"chapter":"内容简介","content":"at（我，书桌）at（书桌，我家）at（汽车，我家）at（我家，城市）at（机场，城市）\n\n● 我们还可以使用谓词 at 来定义一些新的规则，如令谓词“ go(x, y, z)”表示“从 x 通过 z 的方式到达 y”，即以下式子：\n\n$$\n\\mathrm { d i d } ( \\mathrm { g o } ( x , y , z ) ) { \\to } \\mathrm { a t } ( x , y )\n$$\n\n● 那么代表“步行可达”和“驾车可达”含义的谓词“ walkable”和“drivable”就可以这样来定义：\n\n● 然后用这些规则进一步定义两个事实：“家附近是可以走路到达的”与“城市里则需要开车到达”：\n\n● 再定义一个谓词“ canachult”表示“如果x 可以进行y 动作，就可以通过完成y 来获得 $z ^ { \\dprime }$ ”，即：\n\n$$\n( x \\to \\mathrm { c a n } ( y ) ) , ( \\mathrm { d i d } ( y ) \\to z ) \\to \\mathrm { c a n a c h u l t } ( x , y , z )\n$$\n\n● 显然，canachult 也是具有传递性的，如果x 可以通过y 动作来得到z，z又可以通过 u 动作来得到 v，那么，x 依次经过y、u 动作就可以得到 $\\nu _ { \\mathrm { ~ o ~ } }$ 如果使用谓词“ prog(y, u)”来表示依次完成 y、u 动作的话，上面这句话可以用谓词逻辑表示为：\n\n第 3 章 符号主义学派\n\n79","previous_page":78,"next_page":80}