Artificial Intelligence
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
A General Purpose Reasoner for Abstraction
AI '96 Proceedings of the 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Contextual reasoning in agent systems
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Hi-index | 0.00 |
This paper presents work on the formalization of abstraction in knowledge representation. It is part of ongoing research on what might be termed "functional context dependence" or the relation between abstraction and idealization on the one hand, and approximation and the granularity of representation on the other. For the purpose of this paper we focus solely on abstraction. We briefly survey some existing theories, present an alternative framework for modeling abstraction based on channel theory and discuss two possible interpretations of the abstraction process -- abstraction as a mapping between representations of different granularity, and abstraction as a theory.