Richmond Thomason’s article Combinations of tense and modality provides the first clear exposition of T × W semantics. A T × W frame is defined in terms of a set T of times, a set W of worlds, a linear order < on T , and a set {≈t: t ∈ T} of equivalence relations on W. A T × W structure is defined by specifying a valuation on the frame that assigns truth-values to formulas relative to time-worl...

a generalization of the known results in fusion frames and $g$-frames theory to continuous fusion frames which defined by m. h. faroughi and r. ahmadi, is presented in this study. continuous resolution of the identity (cri) is introduced, a new family of cri is constructed, and a number of reconstruction formulas are obtained. also, new results are given on the duality of continuous fusion fram...

Given an input video, its associated audio, and a brief caption, the audio-visual scene aware dialog (AVSD) task requires agent to indulge in question-answer with human about content. This thus poses challenging multi-modal representation learning reasoning scenario, advancements into which could influence several human-machine interaction applications. To solve this task, we introduce semantic...

The advantages of using a formal specification are in its precise definition of object properties and its declarative description of operations of a system. The Z notation is used widely in the literature of formal system designs and the research of language semantics. In line with the rapid growth of multimedia omputation research, we use the Z notation to describe a multimedia database that s...

In this paper, we propose a new neighborhood semantics for contingency logic, by introducing a simple property in standard neighborhood models. This simplifies the neighborhood semantics given in Fan and van Ditmarsch [4], but does not change the set of valid formulas. Under this perspective, among various notions of bisimulation and respective Hennessy-Milner Theorems, we show that c-bisimulat...

We propose Concurrent Transaction Frame Logic (CTFL) as a language to provide formal semantics to UML activity and class diagrams. CTFL extends first-order Horn logic with object-oriented class hierarchy and object definition terms, and with three new logical connectives that declaratively capture temporal and concurrency constraints on updates and transactions. CTFL has coinciding, sound and r...

A new architecture for the World Wide Web is emerging, known as the Semantic Web. In broad terms, it encompasses efforts to populate the Web with content which has formal semantics. This will enable automated agents to reason about Web content, and produce an intelligent response to unforeseen situations. We believe that in order to build the Semantic Web, the sharing of ontological information...

Taking “congratulations, congratulations” and “come on, come on” as examples, this paper analyzes their syntactic components, semantic features, pragmatic functions, special phenomena on the basis of corpus under guidance frame semantics theory interactive subjectivity theory. ABAB reduplicated speech act verbs mostly independent predicates in sentences, which is mainly caused by imperative sen...

In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a general method based on contraction of formulas in a version of propositional dynamic logic with an incorporated solution to the frame problem. We present the semantics of our theory change and define syntactical operators for contr...

We present a general framework for developing fixpoint semantics, the least model semantics, and SLD-resolution calculi for logic programs in normal multimodal logics whose frame restrictions consist of the conditions of seriality (i.e. ∀x ∃y Ri(x, y)) and some classical firstorder Horn formulas. Our approach is direct and no special restriction on occurrences of 2i and 3i is assumed. We prove ...