{"resolved":true,"match_type":"uuid","source_type":"original_book","book_id":"7f418071-0fdc-4a5a-a4c5-82dd1979d9c2","title":"人工智能哲学","author":null,"edition":null,"publisher":null,"year":null,"isbn":"7532740544","requested_by":"printed_page","book":{"source_type":"original_book","book_id":"7f418071-0fdc-4a5a-a4c5-82dd1979d9c2","id":"7f418071-0fdc-4a5a-a4c5-82dd1979d9c2","uuid":"7f418071-0fdc-4a5a-a4c5-82dd1979d9c2","title":"人工智能哲学","normalized_title":"人工智能哲学","author":null,"edition":null,"publisher":null,"year":null,"isbn":"7532740544","isbns":["7532740544"],"parsed":true,"ai_readable":true,"document_type":"book","page_count":501,"navigation_url":"https://workshop.closeclaw.top/ai/book/7f418071-0fdc-4a5a-a4c5-82dd1979d9c2","title_url":"https://workshop.closeclaw.top/ai/title/%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD%E5%93%B2%E5%AD%A6","fixed_page_url_template":"https://workshop.closeclaw.top/ai/book/7f418071-0fdc-4a5a-a4c5-82dd1979d9c2/page/{printed_page}","path_api_url_template":"https://workshop.closeclaw.top/api/ai/book/7f418071-0fdc-4a5a-a4c5-82dd1979d9c2/page/{printed_page}","read_url":"https://workshop.closeclaw.top/api/ai/read/7f418071-0fdc-4a5a-a4c5-82dd1979d9c2","page_url":"https://workshop.closeclaw.top/api/ai/books/7f418071-0fdc-4a5a-a4c5-82dd1979d9c2/page","search_url":"https://workshop.closeclaw.top/api/ai/books/7f418071-0fdc-4a5a-a4c5-82dd1979d9c2/search"},"page":{"printed_page":184,"pdf_page":192,"physical_index":192,"physical_index_base":0,"printed_page_status":"recognized","page_sha256":"fa612444beaa67d9b70435e2d43ced87c497010c8200883cdc491330f4f6e223"},"chapter":"人工智能哲学","content":"然后简述使之实现的方法。沿着这一思路，我将简要说明这方案所假定的意义理论，并对另外一些理论作出批评。\n\n2. 方案总览\n\n这一方案要为物理世界中大量存在的普通日常知识构造一个形式化。举例来说，这种形式化有可能是一阶逻辑形式体系中若干推断的集合，或是KRL“单元”的集合，或是一个微型规划程序，或是许许多多别的什么东西中的一个。本方案并不打算建立新的形式体系来表达这种知识。尽管我们承认，形式体系也许在适当的时候有必要作大刀阔斧的改进，但是我们相信，已有的、大家熟知的形式体系尚有许多未曾发掘的潜力。本方案不打算用形式体系的方式编写能够解决问题、制定行动计划或做其他事情的程序。我有意地忽略了对执行过程细节的考虑，虽然控制和搜索问题，简单说就是计算问题，是必须重视的。我们一再看到，由于过早地考虑计算问题，在AI的表述问题方面的严肃工作被转移方向或全面受阻。\n\n我们认为形式体系应具备以下特征(详细说明见后)：\n\n1. 彻底性它应当涵盖日常物理现象的整个范围，例如，不仅仅局限于积木世界。既然从某个重要的角度来看，世界(甚至日常世界)包含着无限丰富的潜在现象，所以这种彻底性永远不会完美无缺。然而，我们应当尽量把所有重要的空位填满，至少应确认其存在。\n\n2. 精确性 应当对它作详细推敲。例如，在对积木世界的描述以及支撑关系中，一块积木的诸方面，如形状、材料、重量、刚度和表面组织，都应是可获得的概念。同时，由于世界可以无限细分，完全精确是不可能的，但是比起普通“玩具型问题”公理化那种十分粗劣的精确性，我们应当尽力做得更好些。例如在这种公理化中，一块积木位于另一积木“上方”的关系只是一个局部编序，这样才可能以整数作为公理的模型。\n\n人工智能哲学\n\n\\* P·J·海斯“朴素物理学宣言”一文，选自D·米基编辑的《微电子时代的专家系统》（爱丁堡大学出版社，1979)，第242—270页。\n\nP·J.海斯(PatrickJ. Hayes)，施乐公司研究中心的高级科学家。\n\n184","previous_page":183,"next_page":185}