N. Singh and M. Gisi. Coordinating distributed objects with declarative interfaces. In Coordination Languages and Models, number 1061 in Lecture Notes in Computer Science, pages 368--385. Springer, 1996.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....model of concurrent computation [3] Nevertheless, interagents (unlike KQML facilitators) offer the coordination level required by agents to cooperate in non trivial ways. On the other hand, unlike KQML facilitators, interagents have no knowledge about the reasoning capabilities of their users [21], though they are aware about their users plans thanks to conversation protocols. By introducing interagents, and concretely JIM, we try to make headway with respect to other agent building tools offering a programmable communication and coordination module whose behaviour can be specified either ....

N. Singh and M. Gisi. Coordinating distributed objects with declarative interfaces. In Coordination Languages and Models, number 1061 in Lecture Notes in Computer Science, pages 368--385. Springer, 1996.

.... propositional sentence in step 1) GSAT is a hillclimbing algorithm which starts with an assignment of truth values to propositions and attempts to improve it to a satisfying assignment by changing the values of variables which appear in clauses which are not satisfied by the current assignment [17]. The number of unsatisfied clauses in the sentence is the metric by which GSAT measures its progress towards the goal of satisfiability. The GSAT variant which INSTANT uses is able to accept non clausal sentences as input by using as a metric the number of clauses of the CNF conversion of the ....

.... algorithm for GSAT by modifying Sebastiani s score keeping algorithm to keep track of a weighted score (see [16] While GSAT is considerably faster than the DavisPutnam algorithm, it is incomplete because there is no way to tell with certainty that a propositional sentence is unsatisfiable [17]. INSTANT simply assumes that if GSAT can t find a satisfying solution in a preset time limit, then the problem is unsatisfiable. Thus, INSTANT is technically unsound, since it is possible that a propositional sentence for which GSAT has failed to find a satisfying assignment in the allotted time ....

[Article contains additional citation context not shown here]

N. Singh and M. Gisi. Coordinating distributed objects with declarative interfaces. In P. Ciancarini and C. Hankin, editors, First International Conference COORDINATION '96, pages 368--85, Cesena,Italy, April 1996. Springer-Verlag.

....[9] However, our approach is not restricted to the Aster framework. Module failure behaviors can be expressed in different families of interface languages like Interface Declaration Languages (e.g. see [10] Object Definition Languages (e.g. see [11] and Agent Coordination Languages (e.g. see [12]) provided that they are appropriately extended with the requires and provides clauses. Hence, any programming environment based on such interface languages can be extended with a logical tool capable of reasoning on module behaviors in order to benefit from our approach. Currently, we are ....

N. Singh and M. A. Gisi. Coordinating Distributed Objects with Declarative Interfaces. In Proceedings of the 1st International Conference on Coordination, 1996.

....prototype. B. Florida James, W. Hills, B. N. Rossiter 7 3 Presenting the Global Agent In work at Newcastle, we have produced an implementation of an agent architecture based on the distributed object paradigm. The agent system architecture is of a similar nature to that desribed by Singh Gisi[Sin96] being based on CORBA components with declarative interfaces specified in IDL. As demonstrated in this work there are limitations with this as IDL is inherently a syntactical language and not suited to modelling semantics. This is being addressed by the development of a communication language ....

Singh N and Gisi M "Coordinating Distributed Objects with Declarative Interfaces", Lecture Notes in Computer Science 1061 (1996) pp 368-385

....The second problem is that interfaces are defined by resources available at a compile time and hence may not fully cooperate in runtime. Some of these problems have been discussed with respect to the modern concept of coordinating distributed objects in declarative interfaces as in [13][23]. The problem of interoperation among heterogeneous systems is central to the area of integration, as represented in [34] We are using parts of the research devised for the abstraction of representation [19] in the current project. 2 Interface Definition and Specification Systems A number of ....

N. Singh, and M. Gisi, "Coordinating Distributed Objects with Declarative Interfaces"; in Coordination Languages and Models, Lecture Notes in Computer Science, 1061, Springer, 1996, pages 368-385.

....such as the CORBA Interface Repository [23] In other words, the algebra requires its own workspace. Our hypothesis is that an ontology algebra to combine and partition knowledge is feasible when provided with an intermediate model. The intermediate model is declarative following modern concepts [20]. It establishes a rule based environment to sustain operations envisaged by the ontology algebra. Partitioning: In this paper, we also addresse the problem of how to abstract and entail encoded knowledge within contexts. We will formulate the foundation of knowledge abstraction as a basic ....

N. Singh, and M. Gisi, "Coordinating Distributed Objects with Declarative Interfaces "; in Coordination Languages and Models, Lecture Notes in Computer Science, 1061, Springer, 1996, pages 368-385.

....of software components such as objects or agents rely either on pre established interoperation protocols or facilitators that, at runtime, mediate the interaction between components. Various protocols, languages, models and frameworks have been developed for the coordination of software components [9, 10, 11, 12]. In object oriented technology for instance, interoperation of different objects must be realized when they are used to build an application [13] The OMG s CORBA [14, 15] is a static approach that relies on interface standardization and aims at achieving interoperation between objects in a ....

....interface bridging between heterogeneous objects by adapting the client s interface to match the server offered interface. An interface adaptation language is used to express in a language independent way, the relations and transformations required for transforming an interface to another. In [10], declarative interfaces expressed in an Agent Communication Language are used to describe the capabilities and the properties of an object. At runtime, a facilitator uses simple inferencing techniques to reason about interface declarations in order to locate and eventually to compose services ....

Narinder Singh and Mark A. Gisi. Coordinating Distributed Objects with Declarative Interfaces. In Paolo Ciancarini and Chris Hankin, editors, Proceedings of the First International Conference on Coordination Languages and Models, COORDINATION'96, number 1061 in Lecture Notes in Computer Science, pages 368--385. Springer, April 1996.

....model of concurrent computation [3] Nevertheless, interagents (unlike KQML facilitators) offer the coordination level required by agents to cooperate in non trivial ways. On the other hand, unlike KQML facilitators interagents have no knowledge about the reasoning capabilities of their owners [21], though they are aware about their owners plans thanks to conversation protocols. By introducing interagents, and concretely JIM, we try to make headway with respect to other agent building tools offering a programmable communication and coordination module whose behaviour can be specified ....

N. Singh and M. Gisi. Coordinating distributed objects with declarative interfaces. In Coordination Languages and Models, number 1061 in Lecture Notes in Computer Science, pages 368--385. Springer, 1996.

..... Console Agent Agent Planning Other agents Figure 1: A desktop agent system architecture This inference capability allows agents to specify that they can handle actions conditionally (e.g. a print manager agent that can print files provided they are smaller than one megabyte in size [12]) Agents can also send the facilitator new clauses that extend its abilities to perform content based routing (see [12] for an example) For interoperating systems involving a few complex agents the patterns of interaction between the agents are likely to be known in advance and limited in scope. ....

.... allows agents to specify that they can handle actions conditionally (e.g. a print manager agent that can print files provided they are smaller than one megabyte in size [12] Agents can also send the facilitator new clauses that extend its abilities to perform content based routing (see [12] for an example) For interoperating systems involving a few complex agents the patterns of interaction between the agents are likely to be known in advance and limited in scope. In contrast, for desktop agent systems, there may be many simple agents each encapsulating a number of operations ....

Narinder P. Singh and Mark A. Gisi. Coordinating distributed objects with declarative interfaces. Technical report, Computer Science Department, Stanford University, 1995. http://logic.stanford.edu/sharing/papers/oopsla.ps.

No context found.

Singh, N., and Gisi, M. "Coordinating Distributed Objects with Declarative Interfaces, " Proceeding of the First International Conference on Coordination Models and Languages, April, 1996.

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