Name
Abstract | ||
|---|---|---|
. This paper discusses the relationship between incidence calculusand the ATMS. It shows that managing labels for statements in anATMS is similar to producing the incidence sets of these statements inincidence calculus. We will prove that a probabilistic ATMS can be implementedusing incidence calculus. In this way, we can not only producelabels for all nodes in the system automatically, but also calculate theprobability of any of such nodes in it. The reasoning results in incidence... |
Year | DOI | Venue |
|---|---|---|
1993 | 10.1007/BFb0028207 | ECSQARU |
Keywords | Field | DocType |
incidence calculus | Computer science,Probabilistic logic,Calculus,Belief revision | Conference |
ISBN | Citations | PageRank |
3-540-57395-X | 3 | 0.54 |
References | Authors | |
9 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Weiru Liu | 1 | 1597 | 112.05 |
| A. Bundy | 2 | 3713 | 532.03 |
| David Stuart Robertson | 3 | 124 | 16.02 |