Closed-World Assumption

From GM-RKB
(Redirected from negation as failure)
Jump to navigation Jump to search

A Closed-World Assumption is a model assumption that if a proposition is not a true proposition via deductive reasoning then it is a false proposition.



References

2009