{"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":221,"pdf_page":229,"physical_index":229,"physical_index_base":0,"printed_page_status":"recognized","page_sha256":"bbf6059783abe57fc841661c5a157d1a166a6ad5b856a679c78bbefe70a2ee53"},"chapter":"人工智能哲学","content":"9 纯粹理性批判\n\nD·麦克德莫特\\*\n\nP·海斯在1978年发表了《朴素物理学宣言》（此文最终得以刊印在霍布斯和莫尔 1985年主编的正式出版物中，Hobbs and Moore1985)，在这篇文章里，他提议为了使常识性知识形式化，可采用一阶逻辑作为标记法，为此需要作一番全面彻底的工作。这种努力可以追溯到更早的研究，特别是J·麦卡锡的工作，不过海斯方案的提法既新颖，又雄心勃勃。他认为，使用塔尔斯基的语义学，我们就可以摆脱计算机程序的限制，去研究内容庞大的知识表述问题。这个提议鼓动起一伙人，去实际地尝试用谓词演算的方式来记录所有(或大部分)常识性知识。海斯以自己关于“液体”的文章(也在霍布斯和莫尔1985年主编的书中)开始了这项工作，试图为现实领域确立本体论和标记法，这是一项很诱人的工作。这以后，有多篇同样思路的文章发表(Allen1984；Hobbs 1986；Shoham 1985)。我本人也曾是这一运动的热心鼓吹者，写过泛泛的宣传文章(McDermott1978)，也尝试做过一些具体工作(1982，1985)。我甚至以海斯的思想为蓝本与人合著过一本教科书(Charniak and McDermott 1985)。\n\n由是，我是怀着切肤之痛来写这篇文章的，文中对于海斯的计划目前已有的和期待得到的进展，基本上取否定的态度。简言之，我认为目前看到的这种微不足道的进展，决非偶然，事实上，未来也很难有大的改观。其原因是，海斯在论证中没有言明的前提，即大量的推理可以作为演绎的或近似演绎的来分析，是错误的。\n\n221","previous_page":220,"next_page":222}