|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| W.-C. Wong, T. Suda, L. Bic, "Performance Analysis of a Message-Oriented Knowledge-Base," IEEE Transactions on Computers, vol. 39, no. 7, pp. 951-957, July, 1990. | |||
| BibTex | x | ||
| @article{ 10.1109/12.55697, author = {W.-C. Wong and T. Suda and L. Bic}, title = {Performance Analysis of a Message-Oriented Knowledge-Base}, journal ={IEEE Transactions on Computers}, volume = {39}, number = {7}, issn = {0018-9340}, year = {1990}, pages = {951-957}, doi = {http://doi.ieeecomputersociety.org/10.1109/12.55697}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - Performance Analysis of a Message-Oriented Knowledge-Base IS - 7 SN - 0018-9340 SP951 EP957 EPD - 951-957 A1 - W.-C. Wong, A1 - T. Suda, A1 - L. Bic, PY - 1990 KW - closed form expressions; message-oriented knowledge-base; message-driven model; function-free Horn logic; logical processing elements; highly parallel asynchronous computer architecture; sequential resolution scheme; backtracking; knowledge based systems; parallel architectures; performance evaluation. VL - 39 JA - IEEE Transactions on Computers ER - | |||
A message-driven model for function-free Horn logic is presented, where the knowledge base is represented as a network of logical processing elements communicating with one another exclusively through messages. The lack of centralized control and centralized memory makes this model suitable for implementation on highly parallel asynchronous computer architecture. The performance of this message-driven system is analyzed and compared to that of a sequential resolution scheme using backtracking. Closed-form expressions for both approaches are derived.
[1] L. Bic and C. Lee, "A data-driven model for a subset of logic programming,"ACM Trans. Programming Languages (TOPLAS), vol. 9, no. 4, Oct. 1987.
[2] IEEE Comput. Mag., Special Issue on Dataflow Systems, vol. 15, no. 2, Feb. 1982.
[3] A. Deliyanni and R. A. Kowalski, "Logic and semantic networks,"Commun. ACM, vol. 22, no. 3, pp. 184-192, 1979.
[4] R. Kowalski,Logic for Problem Solving. New York: North-Holland, 1979.
[5] T. J. Lehman, "Design and performance evaluation of a main memory relational database system," Ph.D. dissertation, CS Dep., Univ. of Wisconsin-Madison, 1986.
[6] W. Wong, T. Suda, and L. Bic, "Performance analysis of a message-oriented knowledge-base," TR 87-11. ICS Dep., Univ. of California, Irvine, 1987.