search

berkantaydin / fuxi

Automatically exported from code.google.com/p/fuxi
0 stars 0 forks source link

Inference involving negation might not be consistent #3

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
Usually systems that provide some form of closed world assumption (or 
non-monotonic) negation 
have a way to ensure the program (the rules and facts) are stratified (i.e., 
there are no circular 
references between antecedents and consequents of rules).  This guarantees 
unique, consistent 
answers for queries involving default negation

Original issue reported on code.google.com by chime...@gmail.com on 24 Sep 2009 at 1:24