登入選單
返回Google圖書搜尋
Constraint Relaxation and Nonmonotonic Reasoning
註釋Abstract: "The purpose of this paper is to bring together the two AI areas of constraint-based and nonmonotonic reasoning. In particular, we analyze the relation between different forms of constraint relaxation and a particular approach to nonmonotonic reasoning, namely, preferred subtheories. In effect, we provide formal semantics for the respective forms of constraint relaxation."