{"resolved":true,"match_type":"uuid","source_type":"original_book","book_id":"72c4da97-7cf2-441a-a985-c1252297d6a3","title":"人工智能的进化 计算机思维离人类心智还有多远","author":null,"edition":null,"publisher":null,"year":null,"isbn":"9787508685670","requested_by":"printed_page","book":{"source_type":"original_book","book_id":"72c4da97-7cf2-441a-a985-c1252297d6a3","id":"72c4da97-7cf2-441a-a985-c1252297d6a3","uuid":"72c4da97-7cf2-441a-a985-c1252297d6a3","title":"人工智能的进化 计算机思维离人类心智还有多远","normalized_title":"人工智能的进化计算机思维离人类心智还有多远","author":null,"edition":null,"publisher":null,"year":null,"isbn":"9787508685670","isbns":["9787508685670"],"parsed":true,"ai_readable":true,"document_type":"book","page_count":216,"navigation_url":"https://workshop.closeclaw.top/ai/book/72c4da97-7cf2-441a-a985-c1252297d6a3","title_url":"https://workshop.closeclaw.top/ai/title/%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD%E7%9A%84%E8%BF%9B%E5%8C%96%20%E8%AE%A1%E7%AE%97%E6%9C%BA%E6%80%9D%E7%BB%B4%E7%A6%BB%E4%BA%BA%E7%B1%BB%E5%BF%83%E6%99%BA%E8%BF%98%E6%9C%89%E5%A4%9A%E8%BF%9C","fixed_page_url_template":"https://workshop.closeclaw.top/ai/book/72c4da97-7cf2-441a-a985-c1252297d6a3/page/{printed_page}","path_api_url_template":"https://workshop.closeclaw.top/api/ai/book/72c4da97-7cf2-441a-a985-c1252297d6a3/page/{printed_page}","read_url":"https://workshop.closeclaw.top/api/ai/read/72c4da97-7cf2-441a-a985-c1252297d6a3","page_url":"https://workshop.closeclaw.top/api/ai/books/72c4da97-7cf2-441a-a985-c1252297d6a3/page","search_url":"https://workshop.closeclaw.top/api/ai/books/72c4da97-7cf2-441a-a985-c1252297d6a3/search"},"page":{"printed_page":126,"pdf_page":137,"physical_index":137,"physical_index_base":0,"printed_page_status":"recognized","page_sha256":"0b3f1fec633b92882b19504426bec8671ad693159765c4bf4130c53b307b6082"},"chapter":"第五章","content":"请看范例如下：\n\n1. 拆分并重写公式（ii）：(-AVB) (iv)\n\n2. 合并公式（iv）和（i）：(B∨C) (v)\n\n3. 拆分并重写公式（iii）：(Aν-C) (vi)\n\n4.合并公式（vi）和（v）：(AVB) (vii)\n\n5.合并公式（vii）和（iv）：B (viii)\n\n经过推理，我们最终得到结论B，即鲍勃有罪。(有趣的是，即使根据已知条件并不能推出艾丽斯或卡罗尔是否有罪，但我们仍可通过符号逻辑判定鲍勃有罪。)\n\n与代数的情况类似，在处理符号逻辑问题时，仅需少量的规则，就足以从已知条件中获取所需的结论。(有关上述示例中使用的两个规则的更多细节，请参见下文。）这其实也是符号处理的过程：我们从给定的字符串开始，例如“(A⊃B)；A;(B⊃C)”，按照某些既定规则进行处理，最终得到另一串字符“C”。我们当然更加乐于见到这样的结果。\n\n人工智能的进化\n\n126","previous_page":125,"next_page":127}