A logical approach to reasoning by analogy
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Context and Relevance: A Pragmatic Approach
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Knowledge level and inductive uses of chunking (EBL)
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Knowledge compilation using horn approximations
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Forming concepts for fast inference
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Coping with the limitations of rational inference in the framework of possibility theory
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Multistrategy Operators for Relational Learning and Their Cooperation
Fundamenta Informaticae
| Hi-index | 0.00 |
This research describes the formalization of statements of the form fact f is irrelevant to fact g given theory M. We motivate the need for representing and reasoning with such statements in problem-solving systems, and outline the semantics and properties of statements about irrelevance. We then describe a logic irrelevance that serves as a language for specifying irrelevance claims in the world, and present an associated calculus that allows us to draw new irrelevance conclusions from given ones. The utility of the formalization and the types of inferences it sanctions are demonstrated with examples from data interpretation, representation reformulation and experiment design.