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 152
- Downloads 0
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...
Podejście zwinne a tradycyjne do projektów wytwarzania oprogramowania
Artykuł stanowi próbę porównania podejścia tradycyjnego oraz zwinnego do projektów wytwarzania oprogramowania. Omówione zostały podstawowe pojęcia dotyczące kontekstu, w którym realizowane są projekty produkcji oprogramo...
Algorithms Using List Scheduling and Greedy Strategies for Scheduling in the Flowshop with Resource Constraints
The paper addresses the problem of scheduling in the two-stage flowshop with parallel unrelated machines and renewable resource constraints. The objective is minimization of makespan. The problem is NP-hard. Fast heurist...
Systemy ekspertowe w e-zdrowiu: studium przypadku diagnostyki grypy
Systemy ekspertowe, które stanowią jedną z dziedzin sztucznej inteligencji, wykorzystywane są w rozwiązywaniu problemów oraz wspomagają użytkownika w procesie podejmowania decyzji poprzez podpowiadanie możliwych rozwiąza...
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...