{"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":31,"pdf_page":39,"physical_index":39,"physical_index_base":0,"printed_page_status":"recognized","page_sha256":"d3c3651fab012da2aa26a286e282736e1572c59674a1814fc64816ec3e00970e"},"chapter":"人工智能哲学","content":"定理Ⅲ\n\n设一个复杂语句 $\\pmb { S } _ { 1 }$ 是已知的，它通过下列任何命题联系：否定、析取、合取、蕴涵和等价，以任何方式由一些 ${ \\pmb p } ( { \\pmb z } _ { 1 } \\textrm { -- } { \\pmb z } { \\pmb z } )$ 形式的基本语句组成，这里zz是任何数字，于是 $\\pmb { S } _ { 1 }$ 就是一个TPE，并且只有在假定它的成分 ${ \\pmb p } ( { \\pmb z } _ { 1 } \\textrm { -- } { \\pmb z } { \\pmb z } )$ 全部为假—亦即被假语句所替代时，它才为假，或是它的真值表的最后一行包含一个“假”，或是在只由否定项组成的它的希尔伯特析取的正则形式中，一个项也不存在。\n\n这后三个条件当然是等价的(Hilbert and Ackermann 1938)。我们由归纳看到，第一个条件是必要的，因为当 $p ( z _ { 1 } - z z )$ 被一个假语句替代时， $p ( z _ { 1 } - z z )$ 就变成假的，而当 $\\pmb { S } _ { 1 }$ 和 $S _ { 2 }$ 两个成分都为假时， $\\pmb { S } _ { 1 }$ $\\vee S _ { 2 } , S _ { 1 } . S _ { 2 }$ 和 $s _ { \\textsc { i } } . \\sim s _ { \\textsc { i } }$ 全为假。注意到下述情况，我们就看到最后的一个条件是充分的；当一个析取的成分都是TPE时，它就是TPE，同时任何项 $S _ { 1 } , S _ { 2 } , \\cdots S _ { m } , \\sim S _ { m + 1 } , \\sim . \\cdots \\sim S _ { n }$ 都能够写成 $( S _ { 1 } , S _ { 2 } , \\cdots$ $ { \\boldsymbol { S } } _ { m } ) _ { \\cdot } \\sim (  { \\boldsymbol { S } } _ { m + 1 } \\vee  { \\boldsymbol { S } } _ { m + 2 } \\vee \\dots \\vee  { \\boldsymbol { S } } _ { n } )$ ，它显然是一个TPE。\n\n有一些发生在过去的久远不定的事件，在条件说明中无从得到参考，对于这种情况来说，上述定理事实上就为构造这种要求下的神经网提供了一个十分方便和有效的方法。作为例子，我们可以考虑由瞬间冷引起发热感觉的情况。\n\n如果一个冰冷的物体贴近皮肤片刻，然后移走，就会有热的感觉；如果作用的时间更长一些，则只有冷的感觉，而不再有开始时即使是瞬间的热感。我们知道，有一种皮肤感受器能够对热起反应，而另外一种能够对冷起反应。如果我们用 $N _ { 1 }$ 和 $N _ { 2 }$ 分别表示这两种感受器的动作，用 $N _ { 3 }$ 和 ${ \\pmb N } _ { 4 }$ 表示那些含有热冷感觉活动的神经元的动作，我们的要求就可写为：\n\n1 神经活动内在概念的逻辑演算\n\n31","previous_page":30,"next_page":32}