Z. V. Makridin, S. P. Odintsov, “On strong equivalence theorem for answer set semantics with strong negation”, Сиб. электрон. матем. изв., 2015, том 12,страницы 108

Математическая логика, алгебра и теория чисел

On strong equivalence theorem for answer set semantics with strong negation

Z. V. Makridin^a, S. P. Odintsov^b

^a Novosibirsk State University, Pirogova 2, 630090, Novosibirsk, Russia
^b Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

Аннотация: We discuss the problem of finding a minimal deductive base for paraconsistent and ordinary answer set semantics satisfying the strong equivalence theorem.

Ключевые слова: answer set, paraconsistency, strong negation, strong equivalence of logic programs, Nelson logic.

УДК: 512.5

MSC: 13A99

Поступила 25 ноября 2014 г., опубликована 22 февраля 2015 г.

Язык публикации: английский

DOI: 10.17377/semi.2015.12.010