Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems

Despite the obvious relevance of plausible reasoning to real-world problem solving, nonmonotonic logics are rarely used in commercial applications or large- scale commonsense reasoning systems. This is largely because few efficient algorithms and tools have thus far been developed.