含有文字序逻辑程序的一种辩论语义

有序逻辑程序的语义研究是常识推理的重要研究内容。文中对 Dung的辩论框架进行了扩充 ,针对含有文字序的逻辑程序提出了一种优先辩论框架 ,加入了对文字之间优先序的处理 ,进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是 Sakama回答集的特例 ,而优先扩充语义可以处理没有回答集的优先逻辑程序。

基于辩论语义的算子模糊逻辑

定义了一种基于辩论语义的算子模糊逻辑,这种逻辑是相关的、次协调的、非单调的,能形象地刻画认知过程中的信念修正,适于在知识不一致、不精确、不完全情形下推理.

一种扩展双极辩论模型

提出一种扩展双极辩论模型EBAF(extended bipolar argumentation framework).该模型不仅包括攻击和支援两种独立的语义关系,还允许攻击和支援的递归交互,即对攻击和支援关系进行攻击或支援,且递归次数不受限制.围绕该模型的可接受集合的确定问题,首先将该模型中的攻击和支援关系进行分离,得到攻击辩论框架和支援辩论框架;然后将攻击关系和支援关系作为实体,把递归攻击和递归支援转化为关系视角下的攻击和支援.在此基础上,定义了EBAF的基本语义概念和可接受集合,并给出了可接受集合的确定算法.最后将EBAF与其他相关辩论模型进行了比较.