zbMATH — the first resource for mathematics

What is negation as failure? (English) Zbl 1356.68031
Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 52-78 (2012).
Summary: An equational approach is used to give semantics to negation as failure. We offer an equational calculus and in it we define a new completion for programs with negation as failure in the body of clauses. This approach is compared with other approaches in the literature and a connection is established with argumentation theory.
For the entire collection see [Zbl 1241.68007].
68N17 Logic programming
68Q55 Semantics in the theory of computing
Full Text: DOI