Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
We present a Preferential Default Description Logic (pddl) based on weighted defaults and show that the preferential entailment relation ∑satisfies all properties of system P and Rational Monotonicity. The main characteristics of this pddl is that it uses an ordering between multisets of defaults for priorization, treats defaults similar to material implications, and adheres...
Description Logics (DL), one of the major paradigms in Knowledge Representation, face efficiency problems due to large-scale applications, expressive dialects, or complete inference algorithms. In this paper we investigate the potential of parallelizing DL algorithms to meet this challenge. Instead of relying on a parallelism inherent in logic programming languages, we propose to exploit the application-specific...
In this paper we present a weak and a strong intuitionistic calculus for query answering in Description Logics (DL). Given the standard model-theoretic semantics for DL, a complete query-answering calculus has to perform complex case analyses to cope with implicit disjunctions stemming from some of the concept-forming operators in DL. To avoid this complexity we propose an intuitionistic approach...
Terminological Logics can be investigated under different perspectives. The aim of this paper is to provide the basis for a tighter combination of theoretical investigations with issues arising in the actual implementation of terminological representation systems. We propose to use inference rules, derived via the sequent calculus, as a new method for specifying terminological inference algorithms...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.