Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems [chapter]

Jacques Calmet, Karsten Homann
<span title="">1996</span> <i title="Springer Netherlands"> Applied Logic Series </i> &nbsp;
The combination of logical and symbolic computation systems has recently emerged from prototype extensions of stand-alone systems to the study of environments allowing interaction among several systems. Communication and cooperation mechanisms of systems performing any kind of mathematical service enable to study and solve new classes of problems and to perform e cient computation by distributed specialized packages. The classi cation of communication and cooperation methods for logical and
more &raquo; ... olic computation systems given in this paper provides and surveys di erent methodologies for combining mathematical services and their characteristics, capabilities, requirements, and di erences. The methods are illustrated by r e c e n t w ell-known examples. We separate the classi cation into communication and cooperation methods. The former includes all aspects of the physical connection, the ow of mathematical information, the communication language(s) and its encoding, encryption, and knowledge sharing. The latter concerns the semantic aspects of architectures for cooperative problem solving.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="">doi:10.1007/978-94-009-0349-4_11</a> <a target="_blank" rel="external noopener" href="">fatcat:eyqxsebedvdvfjr4rbrrllbrri</a> </span>
<a target="_blank" rel="noopener" href="" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href=""> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> </button> </a>