Graduate studies at Western
|Abstract||The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundational point of view. We identify the following form of integration problems: an informal (mathematical; i.e, logically underspeciﬁed) speciﬁcation has multiple concrete formal implementations between which queries and results have to be transported. The integration challenge consists in dealing with the implementation-speciﬁc details such as additional constants and properties. We pinpoint their role in safe and unsafe integration schemes and propose a proof-theoretic solution based on modular theory-graphs that include the meta-logical foundations. This also gives a clean conceptual basis for earlier attempts that explain integration via “content/semantic markup”.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Lew Gerbilsky (2006). The Philosophy of Integratism. The Proceedings of the Twenty-First World Congress of Philosophy 4:35-43.
Ladislav Tondl (2007). Rational Actions and the Integration of Knowledge. Journal for General Philosophy of Science 38 (1):91 - 110.
Christopher Menzel, Basic Semantic Integration. Semantic Interoperability and Integration, Proceedings of Dagstuhl Seminar 04391.
Fidel Gutiérrez Vivanco (2008). La Identidad, la Diferencia y la Integración de la Humanidad. Proceedings of the Xxii World Congress of Philosophy 18:141-147.
Jakob Hohwy (2007). Functional Integration and the Mind. Synthese 159 (3):315-328.
Michael Wertheimer (1988). Obstacles to the Integration of Competing Theories in Psychology. Philosophical Psychology 1 (1):131 – 137.
Katherina Glac & Tae Wan Kim (2009). The "I" in ISCT: Normative and Empirical Facets of Integration. [REVIEW] Journal of Business Ethics 88 (4):693 - 705.
Dale J. Cohen & Michael Kubovy (1999). Even Feature Integration is Cognitively Impenetrable. Behavioral and Brain Sciences 22 (3):371-372.
Massimo Pigliucci (2003). Phenotypic Integration: Studying the Ecology and Evolution of Complex Phenotypes. Ecology Letters 6:265-272.
Kevin Connolly, Craig French, David M. Gray & Adrienne Prettyman, The Unity of Consciousness and Sensory Integration: Conference Report.
Robert M. Veatch (2005). The Death of Whole-Brain Death: The Plague of the Disaggregators, Somaticists, and Mentalists. Journal of Medicine and Philosophy 30 (4):353 – 378.
Gabriel Vacariu (2012). Cognitive Neuroscience Versus Epistemologically Different Worlds. University of Bucharest Press.
Added to index2011-03-17
Total downloads3 ( #214,063 of 740,451 )
Recent downloads (6 months)0
How can I increase my downloads?