Nonmonotonic Reasoning in FLORA-2
- Cite this paper as:
- Kifer M. (2005) Nonmonotonic Reasoning in FLORA-2. In: Baral C., Greco G., Leone N., Terracina G. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2005. Lecture Notes in Computer Science, vol 3662. Springer, Berlin, Heidelberg
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.
Unable to display preview. Download preview PDF.