协泽商贸是一家针对电话销售而成立的通讯公司,三大运营商和虚商合作,推出稳定的白名单电话销售卡,可超频、稳定可靠、全国拨打、全国归属地基本上都可以单独定制,一证五户,满足各行业的电销需求。我司长期提供各类防封电销卡。欢迎各界老板洽谈合作
尽管BDI或类BDI模型已成为研究智能主体理论模型的主要工具,但这些模型仍普遍存在下述的一些问题:
a)主体理论模型中普遍存在逻辑全知(logic omniscience)[1]。
b)重视主体间知识交互,而轻视主体内部知识或状态。
c)由经典模态逻辑或二值逻辑引起的理论模型对真实世界的刻画粗精度。
基于此,本文针对上述问题进行了相关研究,并将研究工作聚焦于智能主体的信念,针对其作出了相关逻辑模型。考虑到对于愿望和意图,不同的应用和应用观对其有不同的看法和定义,因此本文并未进行深入研究,只着重刻画了认知和决策的关键,即信念。
1 智能主体信念的形成与表示
1.1 智能主体信念的形成及其问题
无论是BDI模型还是其他的智能主体的理论模型,对于信念的形成与表示都是建模的基础。但是在当前的许多理论模型中,对信念的形成存在一定的问题。例如,作为经典的模型,在Rao等人[4]的模型中,在建模时虽使用到时态逻辑模型及其技巧,但仅考虑到系统的未来状态,而不关注过去的认知。实际上,造成类似的问题主要在于其对信念(知识)的获取仅考虑与外部主体进行交互,而轻视了主体在过去的知识。