negation as failure (Q2119400)
Jump to navigation
Jump to search
non-monotonic inference rule implying that the impossibility to derive a statement allows to infer its negation
- negation by default
- NaF
- NAF
- Negation as failure, NAF
- weak negation
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | negation as failure |
non-monotonic inference rule implying that the impossibility to derive a statement allows to infer its negation |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(9 entries)
- dewiki Schwache Negation
- enwiki Negation as failure
- frwiki Négation par l'échec
- itwiki Negazione come fallimento
- jawiki 失敗による否定
- nlwiki Negatie als falen
- ptwiki Negação por falha
- ukwiki Заперечення як відмова
- zhwiki 否定为失败