Logika i inżynieria wiedzy w telekomunikacji

Artykuł niniejszy jest poświęcony ogólnie roli logiki w poznaniu i kreowaniu wiedzy, w tym logiki wielowartościowej, najpierw z przeciwstawieniem jej roli klasycznej w filozofii oraz jej roli w zastosowaniach, zwłaszcza telekomunikacyjnych i teleinformatycznych, później zaś przykładowi zastosowania logik wielowartościowych w inżynierii wiedzy. Podkreślona jest konieczność pluralizmu logicznego, t.j. wyboru logiki o założeniach adekwatnych do danej dziedziny zastosowań. Dyskutowana jest kwestia pozornych paradoksów logicznych oraz ich usuwania przez wybór adekwatnej wersji logiki, a także przykład wyboru adekwatnej wersji logiki w zastosowaniu do systemu PrOnto wspomagania wyszukiwania tekstów interesujących dla użytkownika.

The paper presents the role of logics generally in cognition and knowledge creation, especially multivalued logics, firstly counterposing its classical role in philosophy and its current role in telecommunication and teleinformatic applications, further describing an example of applying multivalued logics in knowledge engineering. The paper stresses the need of logical pluralism, that is, a selection of a type of logics with underlying axioms adequate to a given type of application. The issue of ostensible paradoxes and their elimination through a choice of adequate logics is discussed and an example of selection of an adequate type of logics for a system PrOnto of choosing texts interesting for the user.