<span id="fpn9h"><noframes id="fpn9h"><span id="fpn9h"></span>
<span id="fpn9h"><noframes id="fpn9h">
<th id="fpn9h"></th>
<strike id="fpn9h"><noframes id="fpn9h"><strike id="fpn9h"></strike>
<th id="fpn9h"><noframes id="fpn9h">
<span id="fpn9h"><video id="fpn9h"></video></span>
<ruby id="fpn9h"></ruby>
<strike id="fpn9h"><noframes id="fpn9h"><span id="fpn9h"></span>

從邏輯全知問題認定看當前基于邏輯的agent研究的兩個認識盲點

Two Blind Spots in Recent Logic-Based Agent Study Inferred from the Declaration of Logical Omniscience Problem

  • 摘要: 通過對當前邏輯全知問題的認定過程進行仔細的分析和嚴格的邏輯論證后發現,這一結論的得出主要來源于人們關于模態邏輯用于agent研究的兩點模糊認識,在此基礎上進一步指出,如果承認邏輯推理的過程意義,并且不用意識系統的特征來約束邏輯系統,那么就不會有真正意義上的邏輯全知問題存在,該結論無疑對當前基于模態邏輯的agent形式化研究具有十分重要的意義。

     

    Abstract: Through detail analysis and strict argumentation about two main premises based upon that scholars give the declaration of logical omniscience problem, it was found that the conclusion was made in fact according to two obscure ideas related with the approach to agent study based upon modal logic. From those it is pointed out that, if we admit logical reasoning is in fact an executing process of a studied agent or computer, and if we do not reduce an intentional system as a pure logical system, there surely will not be logical omniscience problem, which is an important conclusion for the vigorous study about agent based upon modal logic.

     

/

返回文章
返回
<span id="fpn9h"><noframes id="fpn9h"><span id="fpn9h"></span>
<span id="fpn9h"><noframes id="fpn9h">
<th id="fpn9h"></th>
<strike id="fpn9h"><noframes id="fpn9h"><strike id="fpn9h"></strike>
<th id="fpn9h"><noframes id="fpn9h">
<span id="fpn9h"><video id="fpn9h"></video></span>
<ruby id="fpn9h"></ruby>
<strike id="fpn9h"><noframes id="fpn9h"><span id="fpn9h"></span>
www.77susu.com