{"title":"Restricting query relaxation through user constraints","authors":"T. Gaasterland","doi":"10.1109/ICICIS.1993.291739","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291739","url":null,"abstract":"Describes techniques to restrict and to heuristically control relaxation of deductive database queries. The process of query relaxation provides a user with a means to automatically identify new queries that are related to the user's original query. However, for large databases, many relaxations may be possible. The methods to control and restrict the relaxation process introduced in this paper focus the relaxation process and make it more efficient. User restrictions over the database domain may be expressed as user constraints. This paper describes how user constraints can restrict relaxed queries. Also, a set of heuristics based on cooperative answering techniques are presented for controlling the relaxation process. Finally, the interaction of the methods for relaxing queries, processing user constraints, and applying the heuristic rules is described.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122852675","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A group communication support system in a software development project based on trouble communication model","authors":"S. Nishida, M. Nakatani","doi":"10.1109/ICICIS.1993.291756","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291756","url":null,"abstract":"A group communication support system in a software development project with problems is discussed. A communication process in the real project is analyzed, and a communication model based on the analysis is proposed. Emphasis is placed on the communication in case of trouble. The process is modeled using charge, competence and knowledge of each member in the project. A group communication support system named CACTUS (Computer Assisted Communication Tool for Urgent Support) is developed based on the model. The use of the system is discussed.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122886310","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"O-Raid: experiences and experiments","authors":"B. Bhargava, Yin-he Jiang, Jagannathan Srinivasan","doi":"10.1109/ICICIS.1993.291762","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291762","url":null,"abstract":"We present the O-Raid distributed object-oriented database system, which is built by extending an existing relational database system called RAID. We compare the O-Raid data model with those of other systems and describe its design and implementation. We present the experimental data of studies performed to measure the overheads involved in supporting objects. Experiments included queries on objects in a single site, as well as queries on replicated composite objects spanning multiple sites. We also discuss the issues related to replication, indexing and fragmentation of objects. We conclude with our experiences and lessons learned in developing the O-Raid system.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130691721","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A negotiation protocol for conflict resolution in multi-agent environments","authors":"Ruiniko Kakehi, M. Tokoro","doi":"10.1109/ICICIS.1993.291748","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291748","url":null,"abstract":"In multi-agent systems where each agent has a different goal, agents must be able to resolve conflicts arising in the process of achieving their goals, without sufficient knowledge about other agents. A method is presented for conflict resolution in which agents are allowed to have partial knowledge about other agents. A negotiation protocol is proposed for conflict resolution under a set of assumptions that makes the world of agents resemble a real system. The authors' negotiation protocol can be applied to conflicts on both consumable and reusable types of resources. It is shown that agents can cooperate with each other even when information about resources is incomplete. Some results on a negotiation protocol are presented.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134506706","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A framework of flexible and dynamic integration for multidatabases","authors":"Toncan Duong, J. Hiller, Anne H. H. Ngu","doi":"10.1109/ICICIS.1993.291771","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291771","url":null,"abstract":"Data integration in a multidatabase environment needs to be flexible and dynamic. We propose a framework that supports 'open' architecture in which every system on the network can exchange data, it requires a rich data structure and a powerful negotiation protocol. We also discuss the contract/negotiation used in the contracting mechanism and correspond its features with the requirements of the proposed frameworks.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"31 29","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113955019","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Application modelling in heterogeneous environments using an object specification language","authors":"G. Saake, R. Jungclaus, T. Hartmann","doi":"10.1109/ICICIS.1993.291758","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291758","url":null,"abstract":"We propose an object-oriented logical formalism to conceptionally model applications in an interoperable environment. Such an environment consists of heterogeneous and autonomous local database systems. Applications in such an environment use several resources and services. Their conceptual modelling involves re-specification of existing systems in terms of homogeneous views, modelling of behavior and system dynamics, modelling of logically distributed components in an open environment and the modeling of communication relationships and dependencies between components. We introduce a formal object-oriented language capable of dealing with these requirements and illustrate its use to model applications in an interoperable environment.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"123 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123773471","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Negotiation with incomplete information about worth: strict versus tolerant mechanisms","authors":"Gilad Zlotkin, J. Rosenschein","doi":"10.1109/ICICIS.1993.291749","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291749","url":null,"abstract":"In the domain of distributed AI (DAI), two negotiation mechanisms (one strict and one tolerant), and a negotiation strategy, for the situation where agents' goals are common knowledge, but the worths they attach to those goals are private are presented. All possible prototypical classes of (non-conflict) encounters are analyzed, and it is shown where the strategy and mechanisms result in stable and/or efficient solutions. In most cases, the negotiation strategy is both stable and efficient. These are two situations in which the strategy, in combination with both mechanisms, results in a conflict (a non-efficient result). The reason for this inefficiency may be the failure to include conflict-resolution techniques. It is conjectured that enhancing the mechanisms with such techniques would result in a stable and efficient outcome in those two situations as well.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124925459","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Declarative semantics of interoperable data- and knowledge-bases","authors":"G. Reichwein, J. Fiadeiro, Mechthild Rohen","doi":"10.1109/ICICIS.1993.291760","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291760","url":null,"abstract":"We show how the declarative semantics of intelligent and cooperative information systems can be-developed in an institutional framework. The presentation of the semantics is tailored to Epsilon, a management system for distributed knowledge bases whose modules may employ different logical systems, and that allows deductions to be performed interoperatively. The components of an Epsilon knowledge base are theories, and relationships like inheritance between theories are established via so called links. This paper gives a semantic foundation for Epsilon links, indicating the combination of information represented in different formalisms (using mixed institutions) as well as the constraining of the possible models of a theory to those freely generated by another one (using duplex institutions). These categorial concepts are applied to the actual implementation of Epsilon.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125107829","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Cooperative dialogues with the support of autonomous agents","authors":"G. Staniford, Trevor J. M. Bench-Capon, P. Dunne","doi":"10.1109/ICICIS.1993.291752","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291752","url":null,"abstract":"An architectural specification of independent communicating agents is described. Such agents are designed for use in an environment which is most suitably represented as a graph or network and an example of one such environment is given based on the structured document graph paradigm. The specifications extend agent architectures in a natural way so that the complexities found in distributed systems may be addressed. Such an approach has a number of advantages. It provides a general representation paradigm that can be used as a basis in a wide range of intelligent distributed systems, and is easily customized to cope with problems requiring graphs with differing structures and with different node and edge properties and attributes. A suitable platform to build agents and environments and an example of cooperative communication using dialogue analysis are presented.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116963420","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Distributed consensus mechanisms for self-interested heterogeneous agents","authors":"E. Ephrati, J. Rosenschein","doi":"10.1109/ICICIS.1993.291768","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291768","url":null,"abstract":"Previously, E. Ephrati and J.S. Rosenschein (1991) introduced the Clarke Tax as an appealing way to achieve a consensus in a multi-agent environment. As noted there, however, the Clarke Tax has several drawbacks from the viewpoint of DAI, such as the fact that participating agents can maintain no privacy regarding their preferences, and the need for a central vote-counting agent. E. Ephrati and J.S. Rosenschein (1992) considered the first of these problems, namely how agents can maintain a certain amount of secrecy regarding their preferences, and still converge to a socially optimal choice. The authors address another of these Clarke Tax drawbacks, the need for a central vote-counting agent. They present several distributed voting schemes that do away with the need for a central vote counter. This improves the reliability of the system, and eliminates a potential system bottleneck. By distributing the vote counting, they also help maintain agent privacy-fewer agents need to know how an individual voted. They also consider how the Clarke Tax could be modified to give different agents different amounts of influence over the group decision.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126586955","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}