Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: defeasible logic

Sortuj według:

Ogranicz wyniki do:

Formalizing Defeasible Logic in CAKE

Madalińska-Bugaj E., Łukaszewicz W.

Fundamenta Informaticae

2003

Vol. 57, nr 2-4

193--213

Due to its efficiency, defeasible logic is one of the most interesting non-monotonic formalisms. Unfortunately, the logic has one major limitation: it does not properly deal with cyclic defeasible rules. In this paper, we provide a new variant of defeasible logic, using CAKE method. The resulting formalism is tractable and properly deals with circular defeasible rules.