{"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":217,"pdf_page":225,"physical_index":225,"physical_index_base":0,"printed_page_status":"recognized","page_sha256":"eaaef77fb77942af82262294e3feec976ab2bed3e17f158bda07934086666cbb"},"chapter":"人工智能哲学","content":"第一个，是以我最近解决“液体”问题的经验为基础的，我一直认为这是“表述理论”中最困难的问题之一(Hayes1975)。使我感到惊讶的是，使得这些重要问题得以顺利解决的，是对(由物理边界定义的)空间区域而不是对液体区域进行量化的思想。这里的关键之点是找到区分液态物体的正确方式：一个借以表示这类东西的判据。我相信，对区分判据的类似的考虑，也可能在另外一些簇的研究方面取得很大的进展。例如在认识的形式化方面，麦卡锡(私人通信1977)已开始采用一个以“概念”区分为基础的新方法，亦即对人们头脑里的思想作出区分。\n\n乐观主义的第二个原因，来自前已略述的关于历程的思想。我认为，由于对变化和动作所取的不恰当的本体论，多年来使得物理世界的形式化遇到阻力，而历程将提供一个绕过这一主要障碍的方法。\n\n第三个原因基于已经论述过的不编程的方法论。直截了当地说，几乎没有人试图建立一个大型的、启发方式恰当的形式化。我们可能发现，从完成行为方式程序的前提中解放出来之后，它会比我们想象的要容易些。\n\n第四个原因是，有一个显然可实现它的方法论。近年来，在许多领域内，已证明这一方法论是相当成功的。\n\n12. 怎样去做\n\n有一个经过验证的正确方法，可以把知识从人头脑里取出来并变为形式化。在 AI中，费根鲍姆(Feigenbaum 1977)把它称作“知识工程”，然而，语言学家基本上也在使用同样的方法。其做法如下：对“专家”作咨询时(专家就是那些脑袋里装有知识的人；人们知道这一点，因为他能完成人们所关切的任务)，根据专家对他们头脑里的知识所作的内省说明，建立一个初步的形式化。然后，该形式化以特定的方式实施行为，并将它的行为方式同专家的做法加以比较。一般情况下，它的行为方式相当差劲。专家仔细观察了形式化的行为方式之后，常常能够更准确地指出第一次内省说明中的不当之处，并能提出更详细的修正版本。这个版本又经形式化、评判和修正，如此进行下去。专家不断地面对他所作内省的形式结果，随着时间的推移，一般来说，他变得更加善于作细致的内省。\n\n8 朴素物理学宣言\n\n217","previous_page":216,"next_page":218}