Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:abbreviation |
gptkb:NAL
|
| gptkbp:creator |
gptkb:Pei_Wang
|
| gptkbp:feature |
non-monotonic reasoning
resource-bounded reasoning uncertainty handling |
| gptkbp:field |
gptkb:artificial_intelligence
gptkb:logic |
| gptkbp:publicationYear |
1995
|
| gptkbp:purpose |
reasoning with insufficient knowledge and resources
|
| gptkbp:relatedTo |
gptkb:NARS
artificial general intelligence |
| gptkbp:website |
http://www.cis.temple.edu/~pwang/NAL.html
|
| gptkbp:bfsParent |
gptkb:NAL_(programming_language)
gptkb:Non-Axiomatic_Reasoning_System_(NARS) |
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Non-Axiomatic Logic
|