论文信息 - Parallelism in Inheritance Hierarchies with Exceptions

Parallelism in Inheritance Hierarchies with Exceptions

In a recent paper, Etherington & Reiter formalized a simple version of semantic networks with exceptions in terms of Reiter's Default Logic. With this approach they were able to formally characterize the correctness of an inference algorithm in terms of Default Logic, and exhibited an algorithm that was correct in this sense. Finally, they concluded that massively parallel architectures for semantic networks, such as NETL apparently cannot implement this algorithm. In this paper, we present a different massively parallel architecture for the simplified semantic networks outlined in their paper which appears to avoid the objections to NETL. We also present some results of simulations in this framework of the examples presented in Etherington and Reiter.

Garrison W. Cottrell | G. Cottrell

[1] David S. Touretzky,et al. Cancellation in a Parallel Semantic Network , 1981, IJCAI.

[2] Patrick J. Hayes,et al. In Defense of Logic , 1977, IJCAI.

[3] Elaine Rich,et al. Default Reasoning as Likelihood Reasoning , 1983, AAAI.

[4] Lokendra Shastri,et al. Evidential Reasoning in Semantic Networks: A Formal Theory , 1985, IJCAI.

[5] Scott E. Fahlman,et al. NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

[6] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..

[7] David W. Etherington. Formalizing Non-Monotonic Reasoning Systems , 1983 .

[8] Matthew L. Ginsberg,et al. Non-Monotonic Reasoning Using Dempster's Rule , 1984, AAAI.

[9] James L. McClelland,et al. An interactive activation model of context effects in letter perception: I. An account of basic findings. , 1981 .

[10] Raymond Reiter,et al. On Inheritance Hierarchies With Exceptions , 1983, AAAI.

[11] James L. McClelland. On the time relations of mental processes: An examination of systems of processes in cascade. , 1979 .

[12] Dana H. Ballard,et al. Parameter Nets , 1984, Artif. Intell..

[13] Geoffrey E. Hinton,et al. OPTIMAL PERCEPTUAL INFERENCE , 1983 .

[14] Garrison W. Cottrell. Re: Inheritance Hierarchies with Exceptions , 1984, NMR.

[15] David S. Touretzky,et al. The Mathematics of Inheritance Systems , 1984 .

[16] Lokendra Shastri,et al. Semantic Networks and Neural Nets , 1984 .