The Library
Finding problems in knowledge bases using modal logics
Tools
Gent, Ian (1991) Finding problems in knowledge bases using modal logics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-173.pdf - Other - Requires a PDF viewer. Download (1149Kb) | Preview |
Abstract
In this paper I propose that it is suitable to consider some statements that an expert makes during knowledge elicitation as being statements in a modal logic. This approach gives us several advantages in finding inconsistencies between a knowledge base and an expert's intuition in her field. I illustrate this approach by using the modal logic VC, a logic of counterfactual conditionals. In an appendix, I give brief details of theorem proving in VC.
Item Type: | Report | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Library of Congress Subject Headings (LCSH): | Modality (Logic), Expert systems (Computer science) | ||||
Series Name: | Department of Computer Science research report | ||||
Publisher: | University of Warwick. Department of Computer Science | ||||
Official Date: | February 1991 | ||||
Dates: |
|
||||
Number: | Number 173 | ||||
Number of Pages: | 12 | ||||
DOI: | CS-RR-173 | ||||
Institution: | University of Warwick | ||||
Theses Department: | Department of Computer Science | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Unpublished | ||||
Funder: | Science and Engineering Research Council (Great Britain) (SERC) | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year