R. G. Smith. The CONTRACT NET: A formalism for the control of distributed problem solving. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA, 1977.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... practical impact: As the basis for task assignment we apply the Holonic Contract Net with Confirmation Protocol (HCNCP) The HCNCP (see Figure 1) uses the standards of the Foundation for Intelligent Physical Agents (FIPA) as a reference (cf. 5] It extends Smith s contract net protocol (CNET) [15] and avoids the problem of committing too early, which often leads to suboptimal outcomes in the CNET, and can be applied in a cascading manner (for more detailed discussions see [12] In the best case, the HCNCP requires six messages between a contractor and a contractee to assign a job. The ....

R. G. Smith. The contract net: A formalism for the control of distributed problem solving. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), page 472, 1977.

....these solutions back to the centralised problem solver which integrates the solutions of the sub problems into an overall solution for the original task. This approach to problem solving is of course much more structured than the pure emergent problem solving paradigm. The contract net protocol [17] is a widely accepted problem solving model in based on the divide and conquer model, where the centralised problem solving entity, called the manager for the task, separates the overall task into sub tasks. The manager uses a bidding procedure (a first price sealed bid auction) to find the most ....

R. G. Smith. The contract net: A formalism for the control of distributed problem solving. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), page 472, 1977.

....for a single service can be costly, but when programs are composed from multiple distributed services, delays in one service can have an undesirable cascade effect that destroys scheduling commitments for the entire client program. One aid to avoid such problems comes in the form of contracts [11, 34]. In the simplest contracts, clients use initial estimates of job completion time to bind service providers. This still does not guarantee that service providers will be able to meet the deadline of their contract. As such, it is also necessary to monitor job progress during execution to determine ....

R. G. Smith, "The CONTRACT NET: A formalism for the control of distributed problem solving," In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA, 1977.

....for example Z [31] and provide definitions within such a framework that support the specification of agents or agent systems [26] and . those which have essentially been developed de novo for particular kinds of agent systems. cassiopeia [7] for example, supports the design of Contract Net [29] based systems and has been applied to Robot Soccer. These design methodologies may also be divided into those that are essentially top down approaches based on progressive decomposition of behavior, usually building (as in Gaia) on some notion of role, and those such as cassiopeia that are ....

R. G. Smith, "The CONTRACT NET: a formalism for the control of distributed problem solving," in Proc. Fifth Int. Joint Conf. Artificial Intelligence (IJCAI-77), Cambridge, MA, 1977.

....i.e. the architecture and theories of individual agents. The latter is where the problem of capability brokering has been addressed previously and at which we will look in section 2.2. Two architectures that grew out of DAI are worth mentioning here. Firstly, there is the contract net [Smith, 1977, Davis and Smith, 1983] In the contract net architecture a given problem is first decomposed into sub problems. These sub problems are treated as contracts and a process consisting of contract 4 announcement, bidding, and contract awarding is used to distribute problem solving. This process of ....

Reid G. Smith. The contract net: A formalism for the control of distributed problem solving. In Proc. 5th IJCAI, page 472, Cambridge, MA, August 1977. MIT, William Kaufmann.

....for example Z [31] and provide definitions within such a framework that support the specification of agents or agent systems [26] and ffl those which have essentially been developed de novo for particular kinds of agent systems. CASSIOPEIA [7] for example, supports the design of Contract Net [29] based systems and has been applied to Robot Soccer. These design methodologies may also be divided into those that are essentially top down approaches based on progressive decomposition of behaviour, usually building (as in Gaia) on some notion of role, and those such as CASSIOPEIA that are ....

R. G. Smith. The CONTRACT NET: A formalism for the control of distributed problem solving. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA, 1977.

....research has evolved along a number of different dimensions. One dimension focuses on agents that cooperate to solve subproblems of a given problem and integrate the results [21,20,30,24,114,36] Other lines of inquiry concerns planning for task allocation, so that effective execution will result [141,95], centralized planning for multi agent execution [113,67] or centralized planning to avoid execution time action conflicts [50,51] Another area of research has concentrated on multiple agents mental attitudes for coordinating their activities [16,150,55,154] Another area of investigation has ....

R. G. Smith. The Contract net: A formalism for the control of distributed problem solving. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), 1977.

.... include: How can a problem be divided into smaller tasks for distribution among agents How can a problem solution by effectively synthesized from sub problem results The best known framework for distributed problem solving is the contract net, developed by Reid Smith for his doctoral thesis [100, 102, 101, 103]. The contract net proposes the following process for distributed problem solving. Problem solving begins when some agent has a problem that it either cannot solve on its own (for example, because it lacks the expertise) or would prefer not to (for example, because it would take too long) see ....

R. G. Smith. The CONTRACT NET: A formalism for the control of distributed problem solving. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA, 1977.

....actor paradigm is an elegant model of concurrent computation. However, actors do not comfortably map onto the idea of agents as propounded in this thesis: actors are very fine grained. 3.3. 4 The Contract Net Another innovation in the late 1970s was the contract net protocol, developed by Smith [159], 161] The aim of the contract net was to provide a framework for efficient cooperative problem solving. A contract net system contains a number of autonomous agents, or nodes, which communicate through the contract net protocol to perform cooperative tasks. Each node in a contract net system is ....

.... concurrent METATEM processes [62] 60] The cooperative problem solving paradigms specified are: a simple master slave framework, along the lines of that described in [140] the cooperative inference technique employed in the FELINE cooperating expert system [189] and the contract net protocol [159], 161] 160] 162] Before presenting these case studies, a brief discussion is presented on reasoning about multi agent systems using temporal logics. 6.1 Reasoning About Multi Agent Systems The literature on reasoning about reactive systems using temporal logic is, quite literally, enormous. ....

[Article contains additional citation context not shown here]

R. G. Smith. The CONTRACT NET: A formalism for the control of distributed problem solving. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA, 1977.

No context found.

R. G. Smith. The CONTRACT NET: A formalism for the control of distributed problem solving. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), Cambridge, MA, 1977.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC