Disjunctive logic and semantics of disjunctive logic programs

• 作 者: 沈一栋
• 机 构: DepartmentofComputerScience,ChongqingUniversity,Chongqing630044,China
• 出 处: 中国科学：技术科学英文版
• 发表日期: 1997年1期
• 关键词: DISJUNCTIVE LOGIC DISJUNCTIVE LOGIC PROGRAMMING semantics. disjunctive logic di
• 基金项目: Project supported in part by the National Natural Science Foundation of China, the State Education Commission and the Sichuan Youth Science and Technology Foundation of China The research was complete

In common sense reasoning with incomplete knowledge bases, conclusions are made by defaultHowever, it is observed that when the negation-by-default operator not is defined as not provable , the disjunctive logic program { a V b, not a, not b} should be co