The DLS algorithm
Nested Abnormality Theories.
Enter block:
{Flies: all x (Flies(x)->Ab(x)), {Flies: all x (Bird(x) & -Ab(x) -> Flies(x)), {Bird: all x( Haswings(x) & -Ab(x) -> Bird(x)), Haswings(tweety), Haswings(pegasus), -Bird(pegasus) } } }
Generate the output unformated (default = no)
Clear
Main page
|
Circumscription page
|
Syntax