— Policies are increasingly being used to manage complex communication networks. In this paper we present our work on a " policy server " which is being used to provide centralized administration of packet voice gateways and " soft switches " in next generation circuit and packet telephony networks. The policies running in the policy server are specified… (More)
1. Introduction PRISM (a Parallel Inference System), for parallel execution of problems, has been implemented on ZMOB (Rieger ). PRISM is an experimental tool for the development of distributed AI problem solvers and is based on logic programming. Familiarity with logic programming (Kowalski ) is assumed. In conventional programming systems the… (More)
In this paper we introduce a language to write Distributed Action Plans (DAPs) to specify distributed network management tasks. To run these plans we use policy agents specified in T'D/~, an event-driven programming language developed at Bell Labs to perform policy-based network management.
This paper describes how integrity constraints , whether user supplied or automatically generated during the search, and analysis of failures can be used to improve the execution of function free logic programs. Integrity constraints are used to guide both the forward and backward execution of the Programs. This work applies to arbitrary node and literal… (More)