but reasoning in inconsistent knowledge bases
A knowledge base and consistent technology, applied in electrical digital data processing, special data processing applications, instruments, etc., can solve problems such as too large knowledge base, not allowed to repair, no right to repair inconsistency, etc.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0013] I. Introduction
[0014] In the following Detailed Description, reference is made to the accompanying drawings, which form a part hereof. In the drawings, similar symbols typically identify similar components, unless context dictates otherwise. The illustrative embodiments described in the detailed description, drawings, and claims are not intended to be limiting. Other embodiments may be utilized, and other changes may be made without departing from the spirit or scope of the subject matter presented here. It will be readily understood that the various aspects of the disclosure, as generally described herein and illustrated in the drawings, may be arranged, substituted, combined and designed in various different configurations, all of which are expressly contemplated herein.
[0015] The present disclosure is depicted, among other things, as methods, apparatus, computer programs, and systems related to using "but inference" to determine "but answers" to Boolean queri...
PUM
Login to View More Abstract
Description
Claims
Application Information
Login to View More 