多视点间不一致性的认知推理

需求工程可以认为是一个知识表示,知识获取和知识分析的过程.多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对预期系统进行描述,从而形成更完备的需求规约.由于多视点方法的这种特性,导致多个涉众有可能对同一问题进行描述,从而形成重叠的需求.这些重叠的需求就是涉众之间的公共知识,对公共知识的不同解释是导致需求规约中不一致问题的根源.本文对基于问题域的多视点需求建模框架进行基于时序认知逻辑的解释和推理,期望达到以下目的:1)使用户陈述的需求更加结构化;2)使用形式化的方法帮助涉众发现那些重叠的需求.     

一种基于行为的多视点需求描述方法

传统多视点方法存在着诸多不足之处。本文在此基础上提出了一种基于行为的多视点需求描述方法（BVORA）,从行为的角度对需求进行了描述,提出了以场景对视点进行划分的方法,给出了视点的定义以及视点表达,定义了视点间的关系。     

一种基于视点相似度的参考视点选择方法*

研究多视点视频处理中视差估计的多参考视点问题,提出了一种基于视点相似度准则的多参考视点选择策略。实验证明本算法能在保证编码质量的前提下,减少视差估计的计算复杂度。     

基于多视点商品本体的商品视点知识分析方法研究

电子商务交易过程中,交易对象处于观察商品的不同视点下,视点持有人对商品的认知会存在差异.为解决商品认知的多视点特性,提出了将商品认知差异视为商品的视点知识的观点,分析商品视点知识的具体表现,构造商品视点知识的分析函数,并建立多视点商品本体描述商品的一般知识和视点知识.实验结果表明,加入商品视点知识的多视点商品本体更加拟合实际电子商务环境的需要.     

DDSS中不一致性处理

讨论ＤＤＳＳ中结论不一致性处理问题。将结论不一致转化为信度不一致来处理，引进ＡＴＭＳ中标签来记录模型假设环境，定义了一种信度不一致性程度，并讨论了信度修改问题。     

分布式多视点软件开发环境中的不一致性检测与管理

针对基于分布式多视点环境的软件开发中存在的不一致性问题,提出了一个不一致性管理模型ＩＭＭ,建立了水平不一致性和垂直不一致性的新概念。讨论了不一致性的检测方法和处理策略。     

一种关于Agent的模糊认知逻辑

由于经典逻辑不能表示模糊事实,而且Agent也不能利用经典逻辑的方法从模糊事实里获取知识,为了克服经典逻辑方面的不足,提出了一种关于Agent的模糊认知逻辑.首先,介绍了模糊认知逻辑和规则,该方法用数字来表示模糊事实,用模糊逻辑来获取知识.其次,引入了一种反向推理逻辑,利用该方法研究了条件和结论的相关性.最后,主要介绍Agent采用模糊认知逻辑获取知识的过程.     

一种视点相关的多分辨率地形实时绘制方法

本文提出了一种基于视点的地形分块策略,并以四叉树结构来组织地形分块,提出了一种利用受限四叉树对地形网格实时剖分的改进算法,实现了与视点相关的连续多分辨率地形网格的简化和实时绘制。     

一种用描述逻辑刻画多代理系统规约的方法

支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性.     

一种基于深度图的三维/多视点视频视点合成方法

基于深度图的视点合成技术已成为国际视频技术研究的热点之一.本文实现的基于深度图的三维/多视点视频视点合成算法,在点对点的三维变换的基础上增加了深度图预处理、去像素重叠、基于空间对象的插值等优化,此外试图针对不同的应用场合,对变换图像进行不同的空洞填补方法.实验结果表明,本方法最后合成的视点图像具有良好的视觉效果.     

Mechanizing common knowledge logic using COQ

This paper presents a formalization in Coq of Common Knowledge Logic and checks its adequacy on case studies. Those studies allow exploring experimentally the proof-theoretic side of Common Knowledge Logic. This work is original in that nobody has considered Higher Order Common Knowledge Logic from the point of view of proofs performed on a proof assistant. As a matter of facts, it is experimental by nature as it tries to draw conclusions from experiments.      

认知描述逻辑ALCKR＋：描述逻辑的一个非单调扩展

描述逻辑是语义Web的逻辑基础,是形式化表达领域知识的工具.但是描述逻辑只能表达单调推理,不能处理不完全知识.认知描述逻辑因其非单调特性和良好的时间复杂度等特点在处理不完全知识方面有较好的优势.本文在认知描述逻辑ALCK的基础上提出了新的认知描述逻辑语言ALCKR ,保留了描述逻辑原有的优点,加入传递角色属性,增强了表达能力,并通过认知查询拥有了非单调推理的能力.设计了ALCKR 的语法、语义以及表算法.     

基于超协调逻辑处理含有非协调信息的系统规约

随着计算机系统规模和复杂度的增长,在软件工程的各个阶段,开发者不得不面对包含大量非协调信息的各种类型的系统规约。由于平凡推理的问题,基于经典逻辑的方法不能用于分析含有非协调信息的系统规约。在简单介绍超协调逻辑的基础上,引进一种超协调时序逻辑,它用于描述计算机系统的时序性质,并且能用于处理含有非协调信息的系统规约。     

认识逻辑(2):多认识主体的认识逻辑MEL

认识逻辑ＥＬ给出了知识和信念在单一认识主体情形下的逻辑框架。本文将认识逻辑ＥＬ推广到多认识主体的情形,得到了一个可靠并且完备的系统ＭＥＬ。ＭＥＬ继承了ＥＬ的全部性质。ＭＥＬ的一个重要特点是各个认识主体的知识是可以共享的。ＭＥＬ可以作为分布式多ａｇｅｎｔ系统的逻辑基础。     

On combinations of propositional dynamic logic and doxastic modal logics

We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include three forms of commuting axioms, namely, axioms similar to the axiom of perfect recall and the axiom of no learning from temporal logic, and a Church–Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for the test operator to avoid unwanted side effects caused by the interaction of the classic test operator with the extra interaction axioms. This paper is a revised and extended version of Schmidt and Tishkovsky (2003).     

Encoding deductive argumentation in quantified Boolean formulae

There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arguments. A common assumption for logic-based argumentation is that an argument is a pair 〈Φ,α〉 where Φ is minimal subset of the knowledge-base such that Φ is consistent and Φ entails the claim α. Different logics provide different definitions for consistency and entailment and hence give us different options for argumentation. Classical propositional logic is an appealing option for argumentation but the computational viability of generating an argument is an issue. To better explore this issue, we use quantified Boolean formulae to characterise an approach to argumentation based on classical logic.