Abstract
This paper describes an architecture for rule-based interpretation of uncertain data, which is currently under development at our labs. Inference on uncertain input facts is a central topic in Al, with application, e.g., to the syntactic-semantic layers of speech understanding systems. The severe requirements of real-time applications dictate a parallel approach to this problem. The description covers the main aspects related to parallelism and communication at the three levels which have interacted in the design of this architecture: the hardware machine, a highly-parallel homogeneous structure of processing element — memory pairs interconnected by a fast packet-switching network; the programming language, which is a dialect of Lisp augmented with asynchronous message passing primitives; the inferential algorithm, which unifies goal-driven and data-driven strategies under a score-guided search control. Rules are mapped into a set of processes which cooperate by exchanging, via the primitives and the network mentioned above, messages corresponding to succinct representations of intermediate deductions.
This work is partially sponsored by European Economic Community under contracts for ESPRIT Projects N. 26 and N. 1219.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
5 References
R. Pieraccini, F. Raineri, A. Giordana, P. Laface, A. Kaltenmeier, H. Mangold, "Algorithms for Speech Data-reduction and Recognition", Proceedings of the 1985 ESPRIT Technical Week, Brussels, Sept. 1985.
C.L. Seitz, "Concurrent VLSI Architectures", IEEE Trans. on Computers, Vol. C-33, No.12 Dec. 1984, pp. 1247–1265.
Arvind, R. A. Iannucci, "Two Fundamental Issues in Multiprocessing", Computation Structures Group Memo 226-3, Lab. for Comp. Science, MIT, Cambridge, Aug. 1985
C. Whitby-Strevens, "The Transputer", Proceedings of the 12th Annual Inter. Symp. on Computer Architeture, Boston, Mass., June 1985, pp. 292–300.
F. W. Burton, M. M. Huntbach, "Virtual Tree Architectures", IEEE Trans. on Computers, Vol.C-33, No. 3, March 1984, pp. 278–280.
B. W. Wah, G. Li, C. F. Yu, "Multiprocessing of Combinatorial Search Problems" IEEE Computer, June 1985, pp.93–108.
J. Chailloux, M. Devin, J. Hullot, "LeLisp, a Portable and Efficient LISP System" Proc. of the 1984 ACM Symp. on LISP and Functional Programming, Austin, Texas, Aug. 1984,pp.113–122.
D.D.Corkill, V.R.Lesser, E.Hudlicka, "Unifying data-directed and goal-directed control an example and experiments", Proc. of the AAAI '82, Pittsburgh, PA, pp.143–147.
W. A. Woods, "Optimal Search Strategies for Speech Understanding Control", Artificial Intelligence 18, 1982, pp. 295–236.
L. D. Erman, F. Hayes-Roth, V. R. Lesser, D. Raj Reddy, "The Hearsay-II Speech Understanding System: Integrating Knowledge to Resolve Uncertainty", ACM Computing Survey 12, 1980, pp. 213–253.
G. Giandonato, G. Sofi, "Parallelizing Prolog-based Inference Engines", ESPRIT Project N. 26, Subtask T4.3 Techn. Rep., Sept. 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bosco, P.G., Giachin, E., Giandonato, G., Martinengo, G., Rullent, C. (1987). A parallel architecture for signal understanding through inference on uncertain data. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds) PARLE Parallel Architectures and Languages Europe. PARLE 1987. Lecture Notes in Computer Science, vol 258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17943-7_122
Download citation
DOI: https://doi.org/10.1007/3-540-17943-7_122
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17943-6
Online ISBN: 978-3-540-47144-8
eBook Packages: Springer Book Archive