Alessandro Armando, Michael Kohlhase and Silvio Ranise, Communication Protocols for Mathematical Services based on KQML and OMRS, to appear in the Proceedings, Calulemus 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....in order to process the answer. The approaches to this problem range from specifying the form of the response in the de nition of a mathematical service ( 7] 25] to permitting the requestor to specify the required form and having the service attempt to cast the result in that form ( 6] 25] [1]) The other problem is to locate the service providing a particular computation without knowing its URL beforehand. This requires a mechanism for discovery which is discussed in more detail below. 3 A synopsis of distributed computing This section brie y sketches two streams of technological ....

....the di erence between structures and syntax used is a routine but cumbersome extra layer of translation. If two systems recognize XML encoded OpenMath there is no need to translate [GroupPresentation, x] x 2=1] into struct name= GroupPresentation ; varnames = x ] relations = [1,2],1] since both systems will correctly interpret 6.4 Wrappers It is often necessary to transform a component system s interface type and syntax in order for it to become part of a conglomerate system. Of particular concern to us are the following two examples. Most CASs (excluding ....

Alessandro Armando, Michael Kohlhase and Silvio Ranise, Communication Protocols for Mathematical Services based on KQML and OMRS, to appear in the Proceedings, Calulemus 2000.

....its own scripting and communication language, HLL, which acts much like PROSPER s combination of ML and the PII. OMRS aims to develop an open architecture for integration of reasoning systems. The architecture covers three aspects: logic [29] control strategies [17] and interaction mechanisms [6]. LBA, the Logic Broker Architecture [7, 8] is a CORBA based infrastructure for the integration of reasoning systems. It provides location transparency, fowarding of requests to reasoning components via a registration subscription mechanism, and provable soundness guarantees. The LBAwas ....

A. Armando, M. Kohlhase, and S. Ranise, `Communication protocols for mathematical services based on KQML and OMRS', in Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium (Proceedings of the Eighth Symposium on the Integration of Symbolic Computation and Mechanized Reasoning), edited by M. Kerber and M. Kohlhase (A. K. Peters Ltd., 2001).

No context found.

Alessandro Armando, Michael Kohlhase, and Silvio Ranise. Communication protocols for mathematical services based on KQML and OMRS. In Manfred Kerber and Michael Kohlhase, editors, CALCULEMUS-2000, Systems for Integrated Computation and Deduction, St. Andrews, Scotland, 2000. AKPeters. in press.

....communication protocols specialized to mathematics, and they only specify general commands that are parameterized by system states that are to be achieved. As a consequence, the interlingua leaves us with the task to describe the (internal) state of mathe4 Draft 14 2 2001 matical services (see [AKR00] for a proposal based on the Open Mechanized Reasoning Systems [GPT96] representation) This leaves us with the third layer, the semantics of mathematical objects proper, which we propose to represent as logical terms and formulae. 2.3 Semantics of Mathematical Objects and Knowledge The ....

Alessandro Armando, Michael Kohlhase, and Silvio Ranise. Communication protocols for mathematical services based on KQML and OMRS. In Kerber and Kohlhase [KK00]. forthcoming.

....Layer: Fig. 1. Arti cial Communication: Kqml and the OSI Reference Model the content language, which is used to transport the actual mathematical content. The agent communication language is used to establish agent identity, reference and in general model the communication protocols (see [AK00] for details in the case of mathematical services) Thus we can concentrate on the content language in this paper. The experience with MathWeb in general, and with the mega system a mathematical assistant system based on several MathWeb services (see [BCF 97] in particular have shown ....

Alessandro Armando and Michael Kohlhase. Communication protocols for mathematical services based on KQML and OMRS. In Manfred Kerber and Michael Kohlhase, editors, CALCULEMUS-2000, Systems for Integrated Computation and Deduction, 2000, AKPeters.

....Layer: Fig. 1. Artificial Communication: Kqml and the OSI Reference Model the content language, which is used to transport the actual mathematical content. The agent communication language is used to establish agent identity, reference and in general model the communication protocols (see [AK00] for details in the case of mathematical services) Thus we can concentrate on the content language in this paper. The experience with MathWeb in general, and with the Omega mega system a mathematical assistant system based on several MathWeb services (see [BCF 97] in particular ....

Alessandro Armando and Michael Kohlhase. Communication protocols for mathematical services based on KQML and OMRS. In Manfred Kerber and Michael Kohlhase, editors, CALCULEMUS-2000, Systems for Integrated Computation and Deduction, 2000, AKPeters.

....exibly modeled by agent oriented programming [JW98, JW00] in MathWeb we have experimented with the current de facto standard Kqml [FF94] with good results. While a large scale evaluation of this approach is still missing, we will not pursue this in this paper and refer the reader to [FHJ 99, AK00] Semantics For the integration of systems it is crucial to specify concisely and without ambiguity the meaning of the exchanged formulae, i.e. there is the problem of establishing a semantics for the communicated mathematical objects. Otherwise the results of the integrated system can be ....

....which can act as an interactive OMDoc CD server (thus making CD information dynamic) OMDoc can eventually serve as a basis for the context problem mentioned there. This will however require a tighter integration with the protocol control layer, which we intend to study in the near future taking [AK00] as a basis. 5 ....

Alessandro Armando and Michael Kohlhase. Communication protocols for mathematical services based on kqml and omrs. In Manfred Kerber and Michael Kohlhase, editors, CALCULEMUS-2000, Systems for Integrated Computation and Deduction, St. Andrews, Scotland, 2000. AKPeters. forthcoming.

....e.g. Ethernet Transport Layer, e.g. TCP Session Layer, e.g. LU6.2 Presentation Layer, e.g. XML (DTD) Application Layer Content Layer, e.g. OpenMath CASL Fig. 1. Arti cial Communication: Kqml and the OSI Reference Model reference and in general model the communication protocols (see [AK00] for details in the case of mathematical services) Thus we can concentrate on the content language in this paper. The experience with MathWeb in general, and with the mega system a mathematical assistant system based on several MathWeb services (see [BCF 97] in particular have shown ....

Alessandro Armando and Michael Kohlhase. Communication protocols for mathematical services based on KQML and OMRS. In Manfred Kerber and Michael Kohlhase, editors, CALCULEMUS-2000, Systems for Integrated Computation and Deduction, 2000, AKPeters. forthcoming.

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