Performance analysis of a message-oriented knowledge-base

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 impl...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on computers Vol. 39; no. 7; pp. 951 - 957
Main Authors Wong, W.-C., Suda, T., Bic, L.
Format Journal Article
LanguageEnglish
Published New York, NY IEEE 01.07.1990
Institute of Electrical and Electronics Engineers
Subjects
Applied sciences
Artificial intelligence
Centralized control
Closed-form solution
Computer architecture
Computer science; control theory; systems
Exact sciences and technology
Logic
Performance analysis
Parallel processing
Knowledge base
Performance analysis
Modeling
Message transmission
Online AccessGet full text

Cover

More Information
Summary: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.< >
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0018-9340
1557-9956
DOI:10.1109/12.55697