[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems

12-14 May 1993

Filter Results

Displaying Results 1 - 25 of 40
  • Proceedings of International Conference on Intelligent and Cooperative Information Systems

    Publication Year: 1993
    Request permission for commercial reuse | PDF file iconPDF (30 KB)
    Freely Available from IEEE
  • The Redux' server

    Publication Year: 1993, Page(s):134 - 143
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    Redux' is a subset of the full REDUX model. The latter performs problem solving. In contrast, Redux' acts only as a decision maintenance server. It takes objects of types defined in an ontology of decision components and maintains dependencies between them. Redux' is domain-independent. The dependency relationships are maintained on the basis of proposition type and not content, except for some st... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cooperative dialogues with the support of autonomous agents

    Publication Year: 1993, Page(s):144 - 151
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    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 syste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Successful integration of databases, knowledge-based systems, and human judgement

    Publication Year: 1993, Page(s):154 - 162
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (848 KB)

    CUBUS is a knowledge-based system for the analysis and interpretation of balance-sheets and profit and loss accounts of commercial customers. It was decided to make CUBUS judgements available within the existing mainframe database environment. The integration of mainframe databases, knowledge-based systems running on workstations and the judgement of human users raised the question of what general... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enforcing data dependencies in cooperative information systems

    Publication Year: 1993, Page(s):332 - 341
    Cited by:  Patents (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (804 KB)

    Interdependent data are data objects in a cooperative information environment that are related by mutual consistency requirements. A flexible framework for specifying the dependency requirements of interdependent data using data dependency descriptors is discussed. A mechanism called polytransactions is presented to automatically generate actions to restore the consistency between interdependent d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application modelling in heterogeneous environments using an object specification language

    Publication Year: 1993, Page(s):309 - 318
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (792 KB)

    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... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using temporal abstractions and cancellations for efficiency in automated meeting scheduling

    Publication Year: 1993, Page(s):163 - 172
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (908 KB)

    Techniques are presented to improve the time taken by autonomous scheduling agents to schedule meetings and to accommodate as much as possible high priority meetings in an overconstrained situation. The first of these objectives is attained by building a temporal abstraction hierarchy of the calendar and negotiating at successively lower levels of the hierarchy, thereby pruning away unpromising pa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Methodological issues in the design of intelligent and cooperative information systems

    Publication Year: 1993, Page(s):3 - 12
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (916 KB)

    The goal of the author is to examine the question “to what end do we study cooperative dialogue?” Based on an analysis of previous work, he argues that despite more than a decade of research in artificial intelligence, our understanding of the general principles governing cooperative discourse has improved very little. Furthermore, he suggests that the standard approach of modeling exa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A semantic-based nested transaction model for intelligent and cooperative information systems

    Publication Year: 1993, Page(s):321 - 331
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1028 KB)

    Intelligent and cooperative information systems (ICIS) involve upgraded models for transaction support for large distributed data/knowledge intensive applications. The use of long-lived transactions results in the introduction of a flexible transaction model which employs weak integrity and optimistic commit mechanisms for transactions relying on compensating and contingency transactions to recove... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling the real world by Multi-World data model

    Publication Year: 1993, Page(s):279 - 290
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (948 KB)

    This paper discusses various philosophical issues that relate to database modelling. In particular, we argue that existing paradigms fail in a multi-database environment, and hence it needs to be supplanted by one that is more flexible and dynamic. Based on this new paradigm we propose a MultiWorld data model which consists of clusters of private/public databases integrated via a contracting mecha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A computer-supported cooperative problem solving environment for examining communication effectiveness

    Publication Year: 1993, Page(s):98 - 103
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (600 KB)

    The authors' long term goal is to improve computer-supported cooperative problem solving. In order to address this problem, a prototype interface that is designed to investigate effective group problem solving skills has been built. The special interface is based on a communication competency model which assumes that group effectiveness depends upon the performance of competencies (or skills) that... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Negotiation with incomplete information about worth: strict versus tolerant mechanisms

    Publication Year: 1993, Page(s):175 - 184
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    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 an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A multiformalism approach to formalize intelligent cooperative information systems

    Publication Year: 1993, Page(s):13 - 22
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (844 KB)

    We present a multiformalism approach combining knowledge structure and intelligent cooperation, to formalize cooperative information systems. The underlying architecture encourages formalism and tool interoperability. The basic building block is the knowledge base society, specified by the modeling-unit model. Cooperation is managed by an intelligent control, by means of meta knowledge and specifi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cooperating transactions in a versioned database

    Publication Year: 1993, Page(s):342 - 348
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    EPOS (Expert system for PrOgram and System development) is a kernel software engineering environment, offering integrated software configuration management (CM) and process management. The EPOS process modelling (PM) support system runs on top of the versioned EPOS database (DB), operating in client-server mode. An extension of the EPOS PM is introduced for coping with cooperative, developing acti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CODA-A groupbase-system for cooperative design applications

    Publication Year: 1993, Page(s):220 - 228
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (612 KB)

    By integration of traditional database, distributed AI (DAI), and computer supported cooperative work (CSCW) research areas, new cooperative information systems which offer efficient storing, retrieving and recovering of data, as well as communication, synchronization and coordination could be developed. Such systems are called groupbase systems. The CODA model (COoperation model for Design Applic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Declarative semantics of interoperable data- and knowledge-bases

    Publication Year: 1993, Page(s):291 - 299
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (780 KB)

    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 b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed objects in a federation of autonomous cooperating agents

    Publication Year: 1993, Page(s):256 - 265
    Cited by:  Papers (2)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (836 KB)

    This paper presents a model for creating and modifying complex objects that are distributed in a network of autonomous cooperating agents. The information that agents are willing to share with others in the federation is uniformly represented as inter-related objects. This defines a distributed object graph that spans over the entire federation of agents. Complex objects form a connected subgraph ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A group communication support system in a software development project based on trouble communication model

    Publication Year: 1993, Page(s):104 - 112
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (460 KB)

    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 ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A negotiation protocol for conflict resolution in multi-agent environments

    Publication Year: 1993, Page(s):185 - 196
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (800 KB)

    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 assum... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A distributed real-time knowledge-based system and its implementation using object-oriented techniques

    Publication Year: 1993, Page(s):23 - 30
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (720 KB)

    We present a distributed knowledge-based system, called HOPES, for real-time applications. System details of HOPES are described, including its knowledge sources, the multi-blackboard architecture, and communication strategies. It shows that real-time AI systems can benefit very much from using distributed and cooperative processing techniques. Implementation issues of the HOPES system are also ad... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interschema knowledge in cooperative information

    Publication Year: 1993, Page(s):55 - 62
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    Managing interschema knowledge is an essential task when dealing with cooperative information systems. We propose a logical approach to the problem of both expressing interschema knowledge, and reasoning about it. In particular, we set up a logical language for expressing semantic interdependencies between, classes belonging to different database schemas, and show that reasoning over such interdep... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Physical ownership and task reallocation for multiple robots with heterogeneous goals

    Publication Year: 1993, Page(s):80 - 87
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    A model of physical ownership for multiple robots is formulated, and implemented on a reactive operating system for autonomous mobile robots available in an intelligent robot-supported software system or groupware. The model is particularly useful in implementing algorithms with which multiple robots with heterogeneous goals working under the groupware can reallocate tasks by themselves. The paper... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The reflective approach for data-driven rules

    Publication Year: 1993, Page(s):350 - 358
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    The self-triggering approach presented in this paper is a novel architecture for active database systems. It provides a high-level reflective rule language, rich modelling tools and a clear semantics of dependencies among data elements. Under this approach, rules that are data-driven by nature are handled by a mechanism that utilizes their semantic properties, while rules that are event-driven by ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Learning agents for cooperative hyperinformation systems

    Publication Year: 1993, Page(s):124 - 133
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB)

    A model of learning agents is presented. It is shown how this model will support the incorporation of agents into distributed hypermedia systems. The question of self-organization in multi-agent systems in which agents are actively learning from their experience is addressed. Each agent, endowed with a different connectionist learning capability, behaves in a specific problem domain and is special... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Role conflict in groupware

    Publication Year: 1993, Page(s):229 - 235
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB)

    Groupware and computer-supported cooperative work (CSCW) systems are usually considered collaborative, but some kinds of group activity can actually be competitive. The author examines the differences between systems with one role and with several roles and how this potential conflict between the different roles arises. Design rules are provided to reduce the problems of this conflict. These rules... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.