For advanced data-oriented applications in distributed environments, effective information is frequently obtained by integrating or merging various autonomous information sources. There are many problems: how to search information sources, how to resolve their heterogeneity, how to merge or integrate target sources, how to represent information sources with a common protocol, and how to process queries. We have proposed a new language, QUIK, as an extension of a deductive object-oriented database (DOOD) language, QUIXOTE, and extend typical mediator systems. In this paper, we discuss various features of QUIK: programming capabilities as integrating an exchange model and mediator specifications, merging subsumption relations for maintaining consistency, searching alternative information sources by hypothesis generation, and identifying objects.

As a general basis for constructing a cooperative and flexible dialogue system, we are interested in modelling the inference process of an agent who participates in a dialogue. For this purpose, it is natural and powerful to model it in his general cognitive framework for problem solving. This paper presents such a framework. In this framework, we represent agent's mental states in the form called Mental World Structure, which consists of multiple mental worlds. Each mental world is a set of mental propositions and corresponds to one modal context, that is, a specific point of view. Modalities in an agent's mental states are represented by path expressions, which are first class citizens of the system and can be composed each other to make up composite modalities. With Mental World Structure, we can handle modalities more flexibly than ordinary modal logics, situation theory and other representation systems. We incorporate smoothly into the structure three basic inference procedures, that is, deduction, abduction and truth maintenance. Precise definitions of the structure and the inference procedures are given. Furthermore, we explain as examples, several cooperative dialogues in our framework.

This paper is concerned with an ITS designed for augmenting a student's capability in problem solving. Discussions are concentrated on helping students acquire strategic knowledge and assisting them to build it in their heads. In this paper, many kinds of strategies are treated from a unified point of view. Based on this consideration, a teaching paradigm of strategic knowledge is presented. The paradigm is realized in an ITS as a training environment for strategic knowledge. Assisting students to learn strategic knowledge, the system sets up an appropriate environment and gives them some appropriate advice in each environment. It is realized as a function of giving them appropriate problems and hints about it. In general, strategic knowledge is a kind of heuristics so that it is not easy to describe their application conditions deterministically and explicitly. For this reason, an ITS for strategic knowledge is required to be designed so as to cover not only the case where expertise is represented explicitly as an executable model but also the case where it is represented only implicitly. To realize this teaching paradigm, situation-dependent knowledge called reminding pattern is prepared in the system. It is represented by a triple of a strategy, a situation, and a key symbol in the situation. It denotes that the key usually reminds students of the strategy in the situation. The system gives students problems including positive/negative examples of applications of each strategy in its problem solving process and hints which remind them of an appropriate strategy and makes them resume the problem solving when they fall into an impasse. In this paper, the structure of the system realizing this teaching paradigm is explained in the domain of proving propositional formulas.

This paper deals with communication model in a software development project when there happens some trouble on it. First, we analyze a communication process in the real projects, and investigate what type of communication exists and which aspect is thought to be important by the members of the projects. Then we propose a communication model based on the analysis. We focus on the communication in case of troubles, and the process is modeled using charge, competence and knowledge of each member in the project. The features of the model lies in the ability to simulate communication route dynamically. The results of the simulation is compared with the real data, and also the use of the model for communication support system is discussed.