Cognitive logic gives artificial intelligent agent the formal expression, but as its base, modal logic with common sense understanding and its standard semantics, can seemly cause logic omniscient problems. There are many schemes trying to solve the problem. STRF provides an endogenous understanding of modal logic in which there is no omniscient problem at all, and forwards theoretical representation of intelligent emergence.ds.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Logical Omniscience with STRF

  • Xiaoyu Li,
  • Weirui Wan

摘要

Cognitive logic gives artificial intelligent agent the formal expression, but as its base, modal logic with common sense understanding and its standard semantics, can seemly cause logic omniscient problems. There are many schemes trying to solve the problem. STRF provides an endogenous understanding of modal logic in which there is no omniscient problem at all, and forwards theoretical representation of intelligent emergence.ds.