negation as failure

Terms from Artificial Intelligence: humans at the heart of algorithms

The glossary is being gradually proof checked, but currently has many typos and misspellings.

Some implemetations of logic, notably Prolog apply negation as failure, whuch means that if a solution is not found (failure), the thing you are trying to solve is deemed as not true (negation). This effectvely adopts the closed world assumption - if raw facts are not explciitly stated they are false, or in other words all facts are known in the knowledge base.

Used in Chap. 2: page 16; Chap. 17: page 253