Abstract
Knowledge can be specified at different levels of conceptualisation or abstraction. In this paper, lessons learned on the philosophical foundations of cognitive science are discussed, with a focus on how the relationships of cognitive theories with specific underlying (physical/biological) makeups can be dealt with. It is discussed how these results can be applied to relate different types of knowledge specifications. More specifically, it is shown how different knowledge specifications can be related by means of reduction relations, similar to how specifications of cognitive theories can be related to specifications within physical or biological contexts. By the example of a specific reduction approach, it is shown how the process of reduction can be automated, including mapping of specifications of different types and checking the fulfilment of reduction conditions.
This is a preview of subscription content, log in via an institution to check access.
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
Bennett, M.R., Hacker, P.M.S.: Philosophical Foundations of Neuroscience. Blackwell, Malden (2003)
Bickle, J.: Psychoneural Reduction: The New Wave. MIT Press, Cambridge (1998)
Craver, C.F.: Role Functions, Mechanisms and Hierarchy. Philosophy of Science 68, 31–55 (2001)
Galton, A.: Operators vs Arguments: The Ins and Outs of Reification. Synthese 150, 415–441 (2006)
Gleitman, H.: Psychology. W.W. Norton & Company, New York (2004)
Glennan, S.S.: Mechanisms and the Nature of Causation. Erkenntnis 44, 49–71 (1996)
Hooker, C.: Towards a General Theory of Reduction. Dialogue 20, 38–59, 201–236, 496–529 (1981)
Kim, J.: Philosophy of Mind. Westview Press (1996)
Kim, J.: Physicalism, or Something Near Enough. Princeton University Press, Princeton (2005)
Kreisel, G.: Models, translations and interpretations. In: Skolem, T.A.l. (ed.) Mathematical Interpretation of Formal Systems, pp. 26–50. North-Holland, Amsterdam (1955)
Nagel, E.: The Structure of Science. Harcourt, Brace & World, New York (1961)
Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL. LNCS, vol. 2283. Springer, Heidelberg (2002)
Ramsey, F.P.: Theories. Ramsey, F.P (1931); The Foundations of Mathematics and Other Essays. In: Braithwaite, R. B. (eds.). Routledge and Kegan Paul, London (1929)
Schoenfield, J.R.: Mathematical Logic. Addison-Wesley, Reading (1967)
Tarski, A., Mostowski, A., Robinson, R.M.: Undecidable Theories. North-Holland, Amsterdam (1953)
Treur, J.: Laws and Makeups in Context-Dependent Reduction Relations. In: Love, B.C., McRae, K., Sloutsky, V.M. (eds.) Proc. of the 30th Annual Conference of the Cognitive Science Society, CogSci 2008, pp. 1752–1757. Cognitive Science Society, Austin (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sharpanskykh, A., Treur, J. (2010). Verifying Context-Dependent Reduction Relations for Knowledge Specifications. In: Filipe, J., Fred, A., Sharp, B. (eds) Agents and Artificial Intelligence. ICAART 2009. Communications in Computer and Information Science, vol 67. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11819-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-11819-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11818-0
Online ISBN: 978-3-642-11819-7
eBook Packages: Computer ScienceComputer Science (R0)