Napaditelná logika - Defeasible logic - Wikipedia

Napaditelná logika je nemonotónní logika navrhl Donald Nute formalizovat neproveditelné uvažování. V proveditelné logice existují tři různé typy návrhů:

přísná pravidla
upřesněte, že skutečnost je vždy důsledkem jiné;
neproveditelná pravidla
upřesněte, že skutečnost je obvykle důsledkem jiné;
podbízení porazitele
specifikovat výjimky z neproveditelných pravidel.

Může být dáno prioritní uspořádání před neproveditelnými pravidly a poraziteli. Během procesu dedukce se vždy použijí přísná pravidla, zatímco proveditelné pravidlo lze použít pouze v případě, že žádný porazitel s vyšší prioritou neurčí, že by neměl.

Viz také

Reference

  • D. Nute (1994). Napaditelná logika. v Příručka logiky v umělé inteligenci a logickém programování, svazek 3: Nonmonotonické uvažování a nejisté uvažování, strany 353–395. Oxford University Press.
  • G. Antoniou, D. Billington, G. Governatori a M. Maher (2001). Výsledky reprezentace pro proveditelnou logiku. Transakce ACM ve výpočetní logice, 2(2):255–287.