A Knowledge Representation Framework Based on Epistemic Logic
Journal Title: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki - Year 2014, Vol 8, Issue 11
Abstract
We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic which is sufficiently general to encompass several nonmonotonic formalisms, including circumscription, autoepistemic logic, various semantics proposed for logic programs and deductive databases (stable semantics, well-founded semantics and stationary semantics) as well as Gelfond’s epistemic specifications. The existence of such a uniform framework allows us not only to provide simpler and perhaps more natural definitions of various formalisms but it also enables us to better understand mutual relationships existing between them.
Authors and Affiliations
Teodor Przymusiński
Keywords
Related Articles
- EP ID EP168978
- DOI 10.26348/znwwsi.11.41
- Views 144
- Downloads 0
Porównanie wydajności algorytmu k-means zaimplementowanego w języku X10 i środowisku C++/MPI
W pracy opisano algorytm k-średnich oraz sposób jego implementacji w języku X10. Dokonano porównania tego rozwiązania z implementacją w języku C++11 z wykorzystaniem standardu MPI. Stwierdzono, że implementacja w języku...
Jak sprawnie zrealizować badanie efektów szkolenia zdalnego?
W artykule opisano realizację oceny efektów szkolenia w pięciu krokach. Tekst traktuje przede wszystkim o korzyściach płynących z badania efektów szkolenia zdalnego. Nie zaniedbuje przy tym zasad andragogiki i nauczania...
Porównanie indeksów zaangażowania w grze wyścigowej z wykorzystaniem neuronauki poznawczej
Popularność gier wideo powoduje, że istnieje zapotrzebowanie na metody pozwalające na ocenę ich zawartości pod kątem zadowolenia gracza już na etapie produkcyjnym. Do tego celu można wykorzystać indeksy stosowane w badan...
Analiza produktów w procesie wytwarzania oprogramowania w podejściu zwinnym
W artykule omówiono procesy (modele) wytwarzania oprogramowania w podejściu zwinnym na przykładzie metodyki ATERN. Przedstawiono szczegółowe opisy produktów (biznesowe, techniczne, zarządcze) tworzonych w procesie wytwar...
On the clustering of correlated random variables
In this work, the possibility of clustering correlated random variables was examined, both because of their mutual similarity and because of their similarity to the principal components. The k-means algorithm and spectra...