中文会议： 计算机工程与科学21卷

会议日期： 1999-09-30

会议地点： 浙江金华

主办单位： 中国计算机学会

出版方 ： 中国计算机学会

出版日期： 1999-09-30

出版地： 北京

作　　者： ;

机构地区： 暨南大学信息科学技术学院计算机科学系

出　　处： 《1999年全国理论计算机科学学术年会》

摘　　要： 该文对于逆反逻辑或逆反推理进行了初步研究，讨论了表现形式，推是机制和推理算法，并同其他普通常识的推是机制进行了一些比较。

关 键 词： 逆反逻辑 推理 机制

分 类 号： [O141]

领　　域： [理学] [理学]