Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
asacalowww
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
asacalowww
7y ago
Mm don't think so. It's a non-monotonic statement, in that given Tweety is a bird, and therefore might also be a penguin then it can't make an assertion either way as to whether Tweety can fly or not. Non-monotonic reasoning
2.
▲
by
asacalowww
7y ago
Just tried a set of classic non-monotonic reasoning statements and it didn't like it much: https://rule-reasoning.apps.allenai.org/?p=Penguins%20are%20...