- Tytuł:
-
Negatywna informacja w języku regułowym 4QL
Negative information in a rule-based language 4QL - Autorzy:
-
Małuszyński, J.
Szałas, A. - Powiązania:
- https://bibliotekanauki.pl/articles/91461.pdf
- Data publikacji:
- 2013
- Wydawca:
- Warszawska Wyższa Szkoła Informatyki
- Tematy:
-
regułowe języki zapytań
wnioskowanie niemonotoniczne
informacja negatywna
informacja sprzeczna
informacja niepełna
rule-based query languages
nonmonotonic reasoning
negative information
inconsistent information
incomplete information - Opis:
-
Problematyka negatywnej informacji w językach regułowych jest zasadnicza z punktu widzenia
dużej liczby aplikacji. Była ona rozważana w rozszerzeniach języków zapytań w dedukcyjnych
bazach danych, opartych na wnioskowaniach niemonotonicznych, początkowo wynikających
z założenia o zamkniętym świecie CWA (Closed World Assumption). W wielu zastosowaniach,
w tym związanych z Semantycznym Internetem i robotyką, założenie CWA nie jest
właściwe i zwykle przyjmuje się w nich założenie o świecie otwartym OWA (Open World
Assumption).
W niniejszym artykule omawiamy nowe podejście do tego problemu, przedstawione
w [2] [3] [4], gdzie zaproponowaliśmy język regułowy 4QL w stylu Datalogu, jednak bez ograniczeń
na wystąpienie negacji. Język ma architekturę warstwową. Najniższe warstwy 4QL,
oparte na OWA, są w pełni monotoniczne. W celu zmniejszenia stref niewiedzy/sprzeczności
w [2] [3] wprowadzono proste konstrukcje pozwalające na wyrażanie mechanizmów wnioskowań
niemonotonicznych, w tym umożliwiających rozwiązywanie sprzeczności, użycie lokalnych
domknięć świata (a więc także CWA) oraz różnych form wnioskowań przez domniemania.
Obliczanie zapytań w 4QL ma złożoność wielomianową ze względu na rozmiar bazy danych.
The problem of negative information in rule languages is crucial in many applications. It has been addressed in extensions of query languages in deductive databases, based on nonmonotonic logics initially derived from the Closed World Assumption (CWA). In many applications, including Semantic Web technologies and robotics systems, CWA is not necessarily applicable and developments in these fields usually follow the Open World Assumption (OWA). In this paper we summarize a novel approach to the problem reported in [2] [3] [4], where we proposed a DATALOG-like language 4QL with unrestricted negation. The language supports a layered architecture. The monotonic layer of 4QL, based on OWA, is fully monotonic. To reduce the unknown/inconsistent zones, in [2] [3] we have introduced simple constructs which allow one to express various mechanisms of nonmonotonic reasoning. In particular, this provides means for application-specific disambiguation of inconsistent information, the use of Local CWA (thus also CWA, if needed), and various forms of default reasoning. Query evaluation in 4QL is still tractable as regards its data complexity. - Źródło:
-
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2013, 7, 9; 7-14
1896-396X
2082-8349 - Pojawia się w:
- Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
- Dostawca treści:
- Biblioteka Nauki
Artykuł