Premium
Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
Author(s) -
Caferra Ricardo,
Peltier Nicolas
Publication year - 2008
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.20304
Subject(s) - computer science , generalization , inference , usable , rule of inference , artificial intelligence , epistemology , philosophy , world wide web
Looking at inference as a way of transforming information so as to make it more easily usable (or interpretable) allows to consider accepted and rejected propositions as equally relevant and naturally gives a bipolar view of reasoning. The four possibilities of transforming information from accepted or rejected propositions into accepted or rejected ones are analyzed and examples illustrating them are given. This analysis is not only interesting per se but can also be useful in increasing capabilities of existing theorem provers. A unified framework based on former work by the authors is extended by incorporating the idea of theory‐anti‐subsumption related to Plotkin's generalization. Working on some technical details of this framework should allow automated reasoning tools to deal with different ways of connecting accepted and rejected propositions. © 2008 Wiley Periodicals, Inc.