The central module of any natural language dialogue system is the dialogue manager, which plays the role of an intermediate agent between the user and the information source. Its cooperativity and portability highly determines the efficiency of the dialogue system. Therefore, as the basis for cooperativity of information-providing dialogue systems we propose a knowledge representation of the in...

We present a modal logic of belief and announcements in a multi-agent setting. This logic allows to express not only that ψ holds after the announcement of φ as in standard public announcement logic (PAL), but also that the announcement of φ occurs. We use the logic to provide a formal analysis of several concepts that are relevant for multi-agent systems (MAS) theory and applications: the noti...

Consider a two-level inventory system consisting of one supplier and one retailer. The retailer faces a Poisson demand with a known rate and applies base stock (one-for-one ordering) policy. That is, his inventory position is set to a pre-determined level, so the demand pattern is transferred exactly to the supplier. The supplier has an inventory system and a service unit with exponentially dis...

We present an algorithmically efficient criterion of modal definability for first-order existential conjunctive formulas with several free variables. Then we apply it to establish modal definability of some family of first-order ∀∃-formulas. Finally, we use our definability results to show that, in any expressive description logic, the problem of answering modally definable conjunctive queries ...

Speed increase transmission gear box is the primary vibration and noise source of wind turbine, Operational modal method was adopted to collect impact data and response data of each point based on the gearbox test model. ANSYS finite element model is established to simulate the wind turbine gearbox. Then the modal frequencies of the two methods were compared to ensure the test model is correct....

This paper investigates the structure of qualitative capacities, which are monotonic increasing set functions ranging on a finite totally ordered scale equipped with an orderreversing map. More specifically, we study whether these qualitative set-functions can be viewed as classes of more particular set functions, namely possibility measures, paralleling the situation of quantitative capacities...

We present a concept of trust that integrates the truster’s goal, the trustee’s action that ensures the achievement of the truster’s goal, and the trustee’s ability and intention to do this action. This concept of trust is formalized in modal logic and is applied to the particular domain of trust in information sources. In this context trust may be derived, in particular, from the truster’s bel...

--Modal matching is a new method for establishing correspondences and computing canonical descriptions. The method is based on the idea of describing objects in terms of generalized symu&ries, as defined by each object’s eigenmodes. The resulting modal description is used for object recognition and categorization, where shape simihuities are expressed as the amounts of modal deformation energy ...

Most previous work in explanation based generalization (EBG) of plans dealt with totally ordered plans. These methods cannot be directly applied to generalizing partially ordered partially instantiated plans, a class of plans that have received significant attention in planning. In this paper we present a natural way of extending the explanation-based generalization methods to partially ordered...

We propose a modal logic that supports reasoning about trust-based belief change. The term trust-based belief change refers to belief change that depends on the degree of trust the receiver has in the source of information.