A hybrid, decidable, logic‐based knowledge representation system1
Peter F. Patel‐Schneider · Computational Intelligence · 1987
The major problem with using standard first‐order logic as a basis for knowledge representation systems is its undecidability. A variant of first‐order tautological entailment, a simple version of relevance logic, has been developed that has decidable inference and thus overcomes this problem. However, this logic is too weak for knowledge representation and must be strengthened. One way to strengthen the logic is to create a hybrid logic by adding a terminological reasoner. This must be done with care to retain the decidability of the logic as well as its reasonable semantics. The result, a stronger decidable logic, is used in the design of a hybrid, decidable, logic‐based knowledge representation system.