A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic

Zhuang, ZQ; Wang, Z; Wang, KW; Delgrande, J

Zhuang, ZQ (reprint author), Tianjin Univ, Coll Intelligence & Comp, Tianjin, Peoples R China.

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019; 64 (): 147

Abstract

AGM contraction and revision assume an underlying logic that contains propositional logic. Consequently, this assumption excludes many useful logics s......

Full Text Link