信念修正开放过程模式可判定公式表达能力

来源 :吉林大学学报(工学版) | 被引量 : 0次 | 上传用户:bdysh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种可以在两个极大可判定前缀词公式类上实现信念修正OPEN过程模式的算法,该算法从初始形式理论出发,依据不断获取的新事实信息,迭代修正形式理论,完成形式理论的进化。探讨了OPEN过程模式的两种可判定公式类的表达能力,证明了其表达能力强于一阶逻辑的子集FO~2和模态逻辑,并给出了实际应用例子。
其他文献
面向线性不可分的未知格式网络数据,提出了一种基于支持向量机的无监督特征选择算法。该算法通过非线性映射函数将不可分的网络数据映射到高维空间中,然后在高维空间中进行无
太阳直射点的回归运动,是地球上形成四季的根本原因和划分五带的重要依据。如何使学生能够通过演示,来获得直观印象,帮助其真正理解呢?近年来我在教学中采用了地球仪与铁架
综合考虑了实时系统的容错和节能,针对处理器提供离散的频率和电压,提出了基于检查点机制的容错节能调度算法(CPFTEs)。该算法利用动态电压缩放技术节能,通过确定优化的检查点且使
生态文化是人与自然环境和谐相处的文化,它代表了人与自然环境关系演进的趋向,理应成为高校和谐校园建设的主流文化。笔者认为和谐校园建设中要以生态文化理念为指导,积极构
极值理论(EVT)在金融风险管理中起着重要的作用,它是关于金融市场风险的建模与量化的主要方法之一。本文运用极值理论中POT模型的除串法对沪深股市近11年来的投资风险VaR和CVaR
国务院发布的《关于加快发展旅游业的意见》确定了把“旅游业培育成国民经济的战略性支柱产业和人民群众更加满意的现代服务业”的战略目标,在旅游服务方式上强调“以国内游客
报纸
经纬纺织机械股份有限公司榆次分公司(以下简称经纬)是中国最大的纺织机械生产制造企业。公司主要产品包括棉纺设备、化纤设备、织造设备、染整设备及其专配件。产品畅销全国
商务部日前出台《关于支持中西部地区承接加工贸易梯度转移工作的意见》。按照国务院提出的坚持政策引导和市场机制相结合,注重运用经济措施和法律手段,引导和推动加工贸易向中
针对粒子群算法未成熟收敛的弱点进行了改进。给出了保证算法全局收敛的充分条件,即全局性假设条件和单调性假设条件,进而依据提出的全局收敛的充分条件,设计了具有柯西随机
以2011年诺贝尔化学奖及准晶体的特性为背景和材料,命制了一道化学题,并对命题思路、解题方法进行了分析,提供了参考答案。