济南通信助手,咨询济南通信助手,办理济南通信助手
协泽商贸是一家针对电话销售而成立的通讯公司，三大运营商和虚商合作，推出稳定的白名单电话销售卡，可超频、稳定可靠、全国拨打、全国归属地基本上都可以单独定制，一证五户，满足各行业的电销需求。我司长期提供各类防封电销卡。欢迎各界老板洽谈合作
事实上，作为一个智能主体，其获取信念(知识)的途径主要有两种:a)他省(extrospectiveness)，即通过外界交互，从其他主体中获取信息;b)自省(introspectiveness)，即通过自己的历史数据库获取相关知识的信息。因此，对于主体信念的描述与刻画，两种途径缺一不可。在当前研究中，体现他省的BDI模型较多，却较少带自省功能的模型。但从时态数据库、时态知识库的角度看，智能主体的知识也是一个随着时间轴向前推进的历史数据库序列H=(H?0，…，H?n，Hn+1，…)，在不同的阶段有不同的知识集，这些知识集对当前信念的建立影响巨大，自省不可忽视。因此，在逻辑建模中，必须体现他省和自省，并处理其间的各类知识冲突。
考虑到主体理论模型中普遍存在逻辑全知的问题，这也主要是因为相关模型使用了经典模态逻辑(或相关变形系统)、二值逻辑导致的结果。逻辑全知问题主要包括两个方面:
a)一个主体如果知道一个命题，那么它知道它所知道的命题的全部逻辑后承。
b)一个主体知道所有的真理(重言式)。
