Negatywna informacja w języku regułowym 4QL
Journal Title: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki - Year 2013, Vol 7, Issue 9
Abstract
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.
Authors and Affiliations
Jan Małuszyński, Andrzej Szałas
Keywords
Related Articles
- EP ID EP169281
- DOI -
- Views 103
- Downloads 0
Cloud computing jako środowisko integracji usług informatycznych
W niniejszym artykule dokonano analizy możliwości integracji usług wspomagania działań biznesowych w środowisku chmury obliczeniowej (ang. cloud computing). Środowisko chmury obliczeniowej jest traktowane jako platforma...
An Ant Colony Optimization Algorithm for Scheduling Parallel Machines with Sequence-Dependent Setup Costs
The paper addresses the problem of scheduling preemptive jobs on parallel unrelated machines in the presence of renewable resource constraints and sequence-dependent setup costs. The objective is to minimize the weighted...
Zastosowanie algorytmu optymalizacji rojem cząstek do znajdowania ekstremów globalnych wybranych funkcji testowych
Praca dotyczy zastosowania algorytmu optymalizacji rojem cząstek do znajdowania ekstremów globalnych dla wybranych funkcji jedno i wielomodalnych. Na podstawie wyników eksperymentu obliczeniowego wyłoniono wariant...
Networked Virtual School - beyond OER and MOOC
In the article there are presented genesis, basic assumptions and pedagogical results of IT School Program based on personalized IT virtual learning system (PITLS) designed and implemented for secondary school students a...
Ontologia wiedzy ukrytej dla działu serwisowego w przedsiębiorstwie produkcyjnym
W artykule przedstawiono model ontologii wiedzy ukrytej w notacji UML dla działu serwisowego przedsiębiorstwa produkcyjnego. W pierwszej części artykułu została przeprowadzona analiza literatury przedmiotu w zakresie ont...