Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!
Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: wnioskowanie niemonotoniczne

Sortuj według:

Ogranicz wyniki do:

Negatywna informacja w języku regułowym 4QL

Małuszyński J., Szałas A.

Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki

2013

nr 9

7--14

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.

Complementary reasoning for geographic map image understanding

Stąpor K.

Archiwum Informatyki Teoretycznej i Stosowanej

2000

T. 12, z. 2

121-139

This paper presents the logical foundations of the proposed non-monotonic reasoning method for geographic map image understanding, called complementary reasoning which is a part of the general reasoning framework for knowledge-based geographic map image analysis proposed in [19]. The logical framework of the complementary reasoning is based on the modified Poole's approach to nonmonotonic reasoning. Due to the process of active hypothesis generation based on a map (domain) model, the complementary reasoning can be initiated at any time based on the incomplete information thus far obtained, and the description of the map can be constructed even if some information is missing.

W artykule przedstawiono logiczne podstawy wnioskowania niemonotonicznego, zwanego wnioskowaniem uzupełniającym, dla automatycznego rozumienia map geograficznych. Opracowana metoda wnioskowania uzupełniającego stanowi część zaproponowanego w [19], opartego o wiedzę środowiska dla automatycznej analizy map geograficznych, na które składają się: model mapy, metody detekcji obiektów geograficznych oraz schemat analizy obrazu, który z kolei składa sięz mechanizmu kontroli i metody wnioskowania. Logiczne podstawy wnioskowania uzupełniającego są oparte na zmodyfikowanej metodzie Poole'a. Główne modyfikacje polegają na wprowadzeniu zmiany w badaniu spójności oraz dynamicznej generacji faktów w trakcie procesu rozumowania. W metodzie wnioskowania uzupełniającego akumulowane są spójne zbiory obiektów oraz hipotez jako wyjaśnienia relacji między obiektami (relacje te stanowią ich logiczne konsekwencje).