This paper has been inspired by 5] where the notion of a database scheme was generalised to deal with arbitrary collections of data. I propose a diierent way of describing the format of such collections of data which uses extended modal logic and compare the results to the results of 5]. In some cases an improvement in complexity and expressive power can be achieved by using the modal logic app...

We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models introduced in [4] and, hence, the results apply to a wide class of modal logics including, for example, hybrid logics. Our main result shows that the symmetries of a modal formula preserve entailment: if σ is a symmetry of φ then φ |= ψ if and ...

The possible worlds semantics is a fruitful approach used in Artificial Intelligence (AI) for both modelling as well as reasoning about knowledge in agent systems via modal logics. In this work our main idea is not to model/reason about knowledge but to provide a theoretical framework for knowledge assessment (KA) with the help ofMonatagueScott (MS) semantics of modal logic. In KA questions ask...

Mobile source emission models currently used by state and federal agencies (e.g., Environmental Protection Agency’s MOBILE and California Air Resources Board’s EMFAC) are often inadequate for analyzing the emissions impact of various transportation control measures, intelligent transportation systems, alternative fuel vehicles, and more sophisticated inspection/maintenance programs contained in...

Modal analysis of an optical beam refers to analyzing the beam into its constituent modes. In this paper, a new compressive approach for modal analysis of sparse beams using generalized interferometry in arbitrary degrees of freedom (DoFs) is proposed. It is shown that the modal content can be recovered by solving a sparse recovery problem based on random interferometric measurements obtained b...

A full-vectorial finite-element-based approach has been developed to find accurate modal solutions of acoustic modes in Ge-doped planar silica waveguides. The structural symmetry is exploited, and Aitken's extrapolation is also used to improve the accuracy of the solution. The spatial dependences of the dominant and nondominant displacement vectors are shown for the fundamental and higher-order...

In this paper, we introduce a new approach to image retrieval. This new approach takes the best from two worlds, combines image features (content) and words from collateral text (context) into one semantic space. Our approach uses Latent Semantic Indexing, a method that uses co-occurrence statistics to uncover hidden semantics. This paper shows how this method, that has proven successful in bot...

We present optimizations for the modal logic programming system MProlog, including the standard form for resolution cycles, optimized sets of rules used as meta-clauses, optimizations for the version of MProlog without existential modal operators, as well as iterative deepening search and tabulation. Our SLD-resolution calculi for MProlog in a number of modal logics are still strongly complete ...

This paper describes an embedding of higher-order modal logics in the Coq proof assistant. Coq’s capabilities are used to implement modal logics in a minimalistic manner, which is nevertheless su cient for the formalization of significant, non-trivial modal logic proofs. The elegance, flexibility and convenience of this approach, from a user perspective, are illustrated here with the successful...

In the current paper, we re-examine how abstract argumentation can be formulated in terms of labellings, and how the resulting theory can be applied in the field of modal logic. In particular, we are able to express the (complete) extensions of an argumentation framework as models of a set of modal logic formulas that represents the argumentation framework. Using this approach, it becomes possi...