ON THE INTEGRATION OF KNOWLEDGE IN A PROPOSITIONAL LOGICAL LAYER

Sebastian Bab

2011

Abstract

In general knowledge is complex which means that it is not an isolated entity, but a phenomenon which is coming (or can be derived) from different sources of knowledge. The position of the present paper is that it can be highly beneficial to study the integration of knowledge coming from different knowledge sources as an explicit propositional logical layer in knowledge engineering. Here the term of proposition is to be understood in the understanding of Frege as the inherent sense of a formal expression. We discuss a certain family of propositional logics – the so-called ƐT-logics – which allow for an explicit interpretation of formulas as propositions. We argue that the family of ƐT-logics-logics and their models offer a very expressive logical setting which is able to realize a certain scenario of the integration of knowledge from different knowledge sources.

References

  1. Bab, S. (2007). ?µ-Logik - Eine Theorie propositionaler Logiken. Shaker Verlag Aachen.
  2. Bab, S., Mahr, B., and Wieczorek, T. (2008). e -style (of) semantics. In Robering, K., editor, New Approaches to Classes and Concepts, Studies in Logic vol. 14. College Publications.
  3. Bab, S. and Wieczorek, T. (2010). On specific models for ?T -logics. In Bab, S. and Robering, K., editors, Judgements and Propositions, pages 1-10. Logos Verlag Berlin.
  4. Davis, R., Shrobe, H., and Szolowits, P. (1993). What is a knowledge representation? AI Magazine, 14:17-33.
  5. Frege, G. (2007). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Begriffsschrift und andere Aufsätze.
  6. Frege, G. (2008). Ü ber Sinn und Bedeutung. Gottlob Frege: Funktion, Begriff, Bedeutung. F ünf logische Studien, Günther Patzig (editor).
  7. Lewitzka, S. (2009). ?I : An intuitionistic logic without fregean axiom and with predicates for truth and falsity. Notre Dame Journal of Formal Logic, 50(3):275-301.
  8. Mahr, B. (1993). Applications of type theory. In Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development, pages 343-355. Springer Verlag.
  9. Mahr, B. (2010a). Intentionality and Modelling of Conception. In Bab, S. and Robering, K., editors, Judgements and Propositions - Logical, Linguistic and Cognitive Issues. Logos Verlag Berlin.
  10. Mahr, B. (2010b). On judgements and propositions. ECEASST, 26.
  11. Mahr, B. and Bab, S. (2005). ?T -Integration of Logics. In Formal Methods in Software and Systems Modeling, pages 204-219. Springer Verlag.
  12. Mahr, B., Sträter, W., and Umbach, C. (1990). Fundamentals of a theory of types and declarations. Forschungsbericht, KIT-Report 82, Technische Universität Berlin.
  13. Robering, K. (2011). Propositionen. (in print).
  14. Searle, J. R. (2008). Sprechakte - Ein sprachphilosophischer Essay. Suhrkamp Frankfurt a. M.
  15. Sträter, W. (1992). ?T Eine Logik erster Stufe mit Selbstreferenz und totalem Wahrheitsprädikat. Forschungsbericht, KIT-Report 98. Dissertation, Technische Universität Berlin.
  16. Tarski, A. (1935). Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica 1, pages 261- 405.
  17. Wache, H., Vögele, T., Visser, U., Stuckenschmidt, H., Schuster, G., Neumann, H., and Hübner, S. (2001). Ontology-based integration of information - a survey of existing approaches. pages 108-117.
  18. Zeitz, P. (2000). Parametrisierte ?T -Logik: Eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation. Logos Verlag Berlin. Dissertation, Technische Universität Berlin, 1999.
Download


Paper Citation


in Harvard Style

Bab S. (2011). ON THE INTEGRATION OF KNOWLEDGE IN A PROPOSITIONAL LOGICAL LAYER . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011) ISBN 978-989-8425-80-5, pages 299-303. DOI: 10.5220/0003688902990303


in Bibtex Style

@conference{keod11,
author={Sebastian Bab},
title={ON THE INTEGRATION OF KNOWLEDGE IN A PROPOSITIONAL LOGICAL LAYER},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011)},
year={2011},
pages={299-303},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003688902990303},
isbn={978-989-8425-80-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011)
TI - ON THE INTEGRATION OF KNOWLEDGE IN A PROPOSITIONAL LOGICAL LAYER
SN - 978-989-8425-80-5
AU - Bab S.
PY - 2011
SP - 299
EP - 303
DO - 10.5220/0003688902990303