Name
Abstract | ||
|---|---|---|
This paper is a sequel to Leitgeb. We show that certain networks called 'inhibition nets' may be regarded as mechanisms drawing nonmonotonic inferences if only an interpretation of net states as states of belief is introduced. We prove that each of the cumulative logical systems studied by Kraus et al. are sound and complete with respect to certain classes of such interpreted inhibition nets. Thus, there is an adequate cognitive network semantics for the systems C, CL, P, CM, and M of (nonmonotonic) logic. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1142/S0218488503002454 | International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems |
Keywords | Field | DocType |
adequate cognitive network semantics,systems c,nonmonotonic inference,nonmonotonic reasoning,certain class,cumulative logical system,inhibition net,certain network | Cumulativity,Non-monotonic logic,Artificial intelligence,Semantics,Mathematics,Cognitive network | Journal |
Volume | Issue | ISSN |
11 | Supplement | 0218-4885 |
Citations | PageRank | References |
2 | 0.59 | 6 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Hannes Leitgeb | 1 | 115 | 19.26 |