Premium
A general approach for determining the validity of commonsense assertions using conditional logics
Author(s) -
Groeneboer Chris,
Delgrande James P.
Publication year - 1990
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.4550050505
Subject(s) - modal operator , unary operation , computer science , possible world , operator (biology) , principle of compositionality , accessibility relation , class (philosophy) , truth value , sentence , statement (logic) , mathematics , theoretical computer science , artificial intelligence , discrete mathematics , epistemology , description logic , programming language , multimodal logic , philosophy , biochemistry , chemistry , repressor , transcription factor , gene
An approach to theorem proving for the class of normal conditional logics is presented. These logics have been shown to be appropriate for representing a wide variety of commonsense assertions, including default and prototypical properties, counterfactuals, notions of obligation, and others. the logics are based on a possible worlds semantics but unlike the better‐known modal logics of necessity and possibility, they contain a binary “variable conditional” operator, ⟹, rather than a unary modal operator. the truth of a statement A ⟹ B depends both on the accessibility relation between worlds and on the proposition expressed by the antecedent A. The approach develops an extension of the semantic tableaux approach to theorem proving. Basically, it consists in attempting to find an interpretation which will falsify a sentence or set of sentences. If successful, then a specific falsifying truth assignment is obtained; if not, then the sentence is valid. Since this method is based directly on the notion of truth, it is arguably more natural and intuitive than those based on proof‐theoretic methods. the approach has been proven correct for the class of normal conditional logics. In addition, it has been implemented and tested on a number of different logics. Various heuristics have been incorporated, and the implementation, while exponential in the worst case, is shown to be reasonably efficient for a large set of test cases.