Distributed Processing of Rule-Programs in Knowledge Bases

本研究的重点是基于规则的 必须管理大量规则的知识库， 数据有效实施这些制度，特别是 如果它们被分发，已被证明是一个主要的绊脚石 影响了他们的高效表现。在这个项目中， 用于解决性能问题的并行处理是 研究了本研究的目标是：（1）建立一个 并行和分布式规则处理理论;（2）基于 在理论上，设计加工策略和标准， 比较它们，以便可以选择最佳策略， 给定的基于规则的程序、数据结构和 并行/分布式体系结构。研究结果 将在Net-mate中进行实验评估，Net-mate是一个用于 管理非常大的通信网络（数百个 成千上万的互联计算机），目前正在 在哥伦比亚大学的发展。 中的一个重要问题 网络管理是故障状况的自动检测。 基于规则的编程是实现这一目的的理想选择，但它需要 分析大量的统计数据， 分布式配置数据，导致 这是本研究要解决的问题。所以 Net-mate系统是一个理想的实验平台， 项目预计将受益于合作，并提供 结果适用于分布式和并行计算。

This research focuses on performance issues in rule-based knowledge bases that have to manage large amounts of rules and data. An effective implementation of such systems, particularly if they are distributed, has proven to be a major stumbling block in the way of their efficient performance. In this project, parallel processing for solving the performance problem is investigated. The goals of the research are: (1) to establish a theory of parallel and distributed rule processing; and (2) based on the theory, to devise processing strategies and criteria for comparing them, so that an optimal strategy can be selected for a given rule-based program, data structures, and a parallel/distributed architecture. The results of the research will be experimentally evaluated in Net-mate, a system for management of very large communication networks (hundreds of thousands of interconnected computers), that is currently under development at Columbia University. An important issue in network management is automatic detection of fault conditions. Rule-based programming is ideal for this purpose, but it requires the analysis of very large amounts of statistical and configuration data that is distributed, leading to the type of performance problems that this research aims to solve. Hence, the Net-mate system is an ideal testbed for this research, and both projects are expected to benefit from the cooperation and provide results applicable to distributed and parallel computing.