Nonmonotonic Reasoning in FLORA-2

FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of the system and of some of the aspects of nonmonotonic reasoning in FLORA-2. These include scoped default negation, behavioral inheritance, and nonmonotonicity that stems from database dynamics.

• Type: Conference
• Year: 2005
• Where: LPNMR
• Authors: Michael Kifer
• Keywords: Advanced Knowledge Representation, LPNMR 2005, Nonmonotonic Reasoning, Transaction Logic