L3-值命题逻辑的R-演算

在L 3-值命题逻辑中,对应于矢列式推导的Gentzen推理系统G是单调的,而对应于余矢列式推导的Gentzen推理系统G-是非单调的。基于G和G-,文中给出了一个R-演算S,使得任意的R-转换Δ|AΔ,C是有效的当且仅当它在S中可证。因此,S在限制A进入Δ时是单调的,而在将A添加到Δ中时是非单调的。     

一种基于行为分析的人物关系网络发掘方法

为了从人物行为引导出人物关系,提出一种基于人物行为分析发掘人物关系网络的方法.以特定领域的行为为分析对象,构建该领域的行为模型,获取该领域的核心人物集合,通过训练生成领域的关系模型,最后利用社会网络分析SNASNA(Social Network Analysis),技术发掘人物的领域关系网络.在行政官员活动领域试验该方法,获得了良好的效果.