Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barwise, J., Seligman, J.: Information Flow. The Logic of Distributed Systems. In: Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge (1997)
Davis, R., Shrobe, H.E., Szolovits, P.: What is a knowledge representation? AI Magazine 14(1), 17–33 (1993)
Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)
Ghidini, C., Giunchiglia, F.: A semantics for abstraction. In: ECAI proceedings (2004)
Giunchiglia, F., Bouquet, P.: Introduction to contextual reasoning. an artificial intelligence perspective. Perspectives on Cognitive Science 3, 138–159 (1997)
Giunchiglia, F., Sebastiani, R., Villafiorita, A., Walsh, T.: A general purpose reasoner for abstraction. In: Canadian Conference on AI, pp. 323–335 (1996)
Giunchiglia, F., Walsh, T.: Using abstraction. In: AISB 1991. Proc. of the Eighth Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, pp. 225–234, Leeds, England (1991)
Giunchiglia, F., Walsh, T.: A theory of abstraction. Artificial Intelligence 57(2-3), 323–389 (1992)
Hobbs, J.R.: Readings in Qualitative Reasoning about Physical Systems. In: Weld, D.S., de Kleer, J. (eds.), pp. 542–545. Kaufmann, San Mateo, CA (1990)
Keefe, R.: Vagueness. Cambridge University Press, Cambridge (2000)
De Saeger, S., Shimojima, A.: Contextual reasoning in agent systems (Revised Selected and Invited Papers). In: Inoue, K., Satoh, K., Toni, F. (eds.) Computational Logic in Multi-Agent Systems. LNCS (LNAI), vol. 4371, Springer, Heidelberg (2007)
Nayak, P.P., Levy, A.: A semantic theory of abstractions. In: Mellish, C. (ed.) Proc. of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 196–203. Morgan Kaufmann, San Francisco (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Saeger, S., Shimojima, A. (2007). Channeling Abstraction. In: Miguel, I., Ruml, W. (eds) Abstraction, Reformulation, and Approximation. SARA 2007. Lecture Notes in Computer Science(), vol 4612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73580-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-73580-9_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73579-3
Online ISBN: 978-3-540-73580-9
eBook Packages: Computer ScienceComputer Science (R0)