%0 Journal Article
%T Substructural logic of epistemic and temporality in belief of agent<br>智能主体的信念认知时态子结构逻辑模型*
%A LIU Dong-ning
%A TANG Yong
%A <br>刘冬宁
%A 汤庸
%J 计算机应用研究
%D 2010
%I 
%X There are two kinds of approach to get belief as an agent. One is extrospectiveness, which gets information from other body through outside interaction. The other is introspectiveness, which gets information from own history database. The two ways are indispensable to describe belief of agent. However, nowadays BDI logics mostly use extrospectiveness, not combination of extrospectiveness and introspectiveness. Also, most BDI logics are usually based two-value logic, classical modal logic or its transmutation, which makes many logic systems have problems such as logic omniscience and coarse depiction.For these problems, this paper made some research and put forward a substructural logic of epistemic and temporality(BSoET)focusing as belief of agent.
%K 智能主体
%K 信念
%K 自省
%K 他省
%K 认知时态子结构逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=1A800BE7F5347240B050CEC0CBE56E67&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=DF92D298D3FF1E6E&sid=91EAE2015CCB136A&eid=BDA3BB1BF50DB969&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=18