5673056532

5673056532



Za pomocą takiej konstrukcji wprowadzamy koncept złożony, który obejmuje swym zakresem część wspólną zakresów konceptów Mężczyzna i ObywatelPolski. Interpretacja terminów złożonych nie jest dowolna i zależy ściśle od interpretacji terminów wykorzystanych do budowy danego terminu złożonego. W przypadku przecięcia jest ona definiowana następująco (C i D są— być może złożonymi — konceptami):

(CUD)1 =CJ nD1    (2.8)

Łatwość budowy nowych terminów na podstawie terminów istniejących jest jedną charakterystycznych cech logiki opisowej. Zauważmy, że chociaż w rachunku predykatów wprowadzenie nowego terminu ObywatelPolski-Mężczyzna jest możliwe, to wymaga wykorzystania bardziej skomplikowanej notacji. Koncentracja na manipulowaniu terminami (czyli opisami) jest uzasadnieniem dla nazwy logiki opisowej (z tego samego powodu ta gałąź wiedzy nosiła też kiedyś nazwę systemów terminologicznych — ang. terminological systems [BMNP03][BL04]).

To, jakie terminy złożone jesteśmy w stanie budować, zależy od zestawu dostępnych operatorów logiki opisowej. Zestaw ten jest wyznaczony przez dialekt logiki opisowej, którego używamy. Różne dialekty logiki opisowej różnią się od siebie zestawem oferowanych konstruktorów, a co za tym idzie, zakresem ekspresywności konstrukcji, które w danym dialekcie można budować. Uzasadnieniem dla ograniczania ekspresywności jest trudność implementacji i duża złożoność obliczeniowa wnioskowania lub wręcz nierozstrzygalność niektórych problemów w obecności niektórych terminów złożonych.

Przykład 2.3: Poniższa lista prezentuje koncepty złożone wykorzystywanych w jednym z popularniejszych dialektów logiki opisowej zwanym J?L£C. Zgodnie z przyjętą konwencją dowolne koncepty proste oznaczamy literami A, B, dowolne koncepty złożone literami C, D, dowolną rolę literą R.

•    koncept prosty. A

•    koncept uniwersalny: T, T7 = A7

•    koncept pusty. _L, _L7 = 0

•    przecięcie konceptów: C n D, (C n D)1 = C1 n D1

•    suma konceptów: C U D, (C U D)7 = C7 u D1

•    dopełnienie konceptu: —iC, (—iC)7 = A7 \ C7

•    kwanty fikać ja ogólna: VR.C, (V/?.C)1 = {a e A7: V* (a, b) e R1 —> b e C7}

•    kwantyfikacja egzystencjalna: 3R.C, (3R.Q 7 = [a e A7: 3*, (a, b) e R1 a b e C7}

W logice opisowej baza wiedzy (którą nazywać będziemy też ontologią, gdyż spełnia ona klasyczną definicję tego terminu) dzieli się na dwie części: terminologię i opis świata. Terminologia (TBox) wyszczególnia używane terminy; określa też związki pomiędzy konceptami i rolami. Opis świata (ABox) przyporządkowuje osobniki poszczególnym konceptom i przyporządkowuje pary osobników do odpowiednich ról.

Terminologia składa się ze zdań zwanych aksjomatami. Aksjomaty dzielą się na aksjomaty równoważności (ang. eąualities) i aksjomaty podrzędności (ang. inclusions). Aksjomaty równoważności stwierdzają, że dwa terminy mają równe zakresy. Aksjomaty podrzędności stwierdzają, że zakres pojęcia podrzędnego jest podzbiorem zakresu pojęcia nadrzędnego. W dialektach mniej ekspresywnych terminami tymi mogą być jedynie koncepty.

19



Wyszukiwarka

Podobne podstrony:
023 4 Przestrzenie cylindrowe nad obydwoma tłokami są połączone ze sobą za pomocą zespołu konstrukcy
pons210 Za pomocą tej konstrukcji wyrażamy czynności, które właśnie się rozgrywają, np: II est en tr
60721 zdj6 Budowanie programu za pomocą zasady programowania dynamicznego koncepcja: •   
pons210 telephoner 2. — Qu est-ce que tu -Je_ Za pomocą tej konstrukcji toyrażamy czynności, które w
DSC02992 ■    Pokarm za pomocą języka i policzków formowany jest w kęs, który następn
DSC02659 Pokarm za pomocą języka i policzków formowany jest w kęs, który następnie kierowany w celu
skanuj0093 Ćwiczenie 16Wyznaczanie naprężeń za pomocą tensometru oporowego I, Wprowadzenie I nisomet
IMG075 (3) rzykład 3 Za pomocą multimetru Kethley DMM 199 zmierzono napięcie stałe dla zakresu 3,00
Obraz 1 Ul KONCEPCJA KRYTYKI „narodowość”, wprowadza dychotomię pojęciową ogarniającą jakby swym zak
Obraz 1 Ul KONCEPCJA KRYTYKI „narodowość”, wprowadza dychotomię pojęciową ogarniającą jakby swym zak
galwanizacja 4 Jontoforeza Zabieg elektroleczniczy polegający na wprowadzeniu do ustroju za pomocą p
oooooooo Analiza statyczna konstrukcji przy użyciu MES OOOOOOOOOOMODELOWANIE ZA POMOCĄ MES Analiza s

więcej podobnych podstron