A consistency-recovering system for inference engines

• 1 January 1987
• book chapter
• Published by Springer Nature
• p. 225-233
• https://doi.org/10.1007/3-540-18579-8_22

Abstract

Keywords

• OBJECT MODEL
• CLASSICAL LOGIC
• INFERENCE ENGINE
• INTUITIONISTIC LOGIC
• ACTION POINT