Nonmonotone system - Open Access .click

Fundamenta Informaticae, 2004
A general framework for the algebraization of a category of nonmonotonic logics has been suggested. This method has been applied to the systems of Gabbay, and to Cumulative, Preferential and Ranked systems. The minimal logics required to serve as the base logics for the above systems are investigated.
Ghosh, Sujata, Chakraborty, Mihir Kr.
openaire +2 more sources

Validation of Nonmonotonic Knowledge-Based Systems

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1993
Nonmonotonic logical systems are logics in which the introduction of new axioms can invalidate old theorems. For practical applications, the authors restrict themselves to nonmonotonic systems that consist of facts and rules, and call them nonmonotonic knowledge-based systems (KBSs).
C.L. Chang, R.A. Stachowitz, J.B. Combs
openaire +1 more source

Multifault diagnosis of digital systems using nonmonotoning reasoning (for nonmonotoning read nonmonotonic)

[1991] Proceedings of the 30th IEEE Conference on Decision and Control, 2002
The authors present the design principles and the development of an expert system (called FAULT.ENT) for diagnosing multiple simultaneous faults in digital circuits (from first principles) using nonmonotonic reasoning and especially the default theory developed by R. Reiter. They give a detailed presentation of the algorithm, which has been implemented
S. Tzafestas, T. Chrisiou, Y.T. Yip
openaire +1 more source

other nonclassical logic
logic in artificial intelligence
mathematics

nonmonotonic rule systems
nonmonotonic logic
logic programming

nonmonotonic reasoning
fos: physical sciences
fos: computer and information sciences