近年来,有序逻辑程序被广泛应用于规划、诊断、行动推理等诸多领域。本文主要研究有序逻辑程序的回答集语义。文中首先通过对有序......

提出一种扩展双极辩论模型EBAF（extended bipolar argumentation framework）．该模型不仅包括攻击和支援两种独立的语义关系，还允许攻击......

有序逻辑程序的语义研究是常识推理的重要研究内容.文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论......