On Logical Omniscience with STRF
摘要
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.