Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
1990 | 10.1109/12.55697 | IEEE Trans. Computers |
Keywords | Field | DocType |
knowledge based systems,parallel architectures,performance evaluation,backtracking,closed form expressions,function-free Horn logic,highly parallel asynchronous computer architecture,logical processing elements,message-driven model,message-oriented knowledge-base,sequential resolution scheme | Asynchronous communication,Expression (mathematics),Computer science,Parallel computing,Parallel processing,Knowledge-based systems,Real-time computing,Horn logic,Knowledge base,Backtracking,Distributed computing | Journal |
Volume | Issue | ISSN |
39 | 7 | 0018-9340 |
Citations | PageRank | References |
1 | 0.44 | 2 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wang-Chan Wong | 1 | 2 | 1.94 |
Tatsuya Suda | 2 | 1600 | 237.76 |
Lubomir Bic | 3 | 332 | 125.18 |