Switch to: References

Citations of:

Event, state, and process in arrow logic

Satoshi Tojo

Minds and Machines 9 (1):81-103 (1999)

Add citations

You must login to add citations.

Guest editor’s introduction: situations and artificial intelligence.Varol Akman - 1998 - Minds and Machines 8 (4):475-477.details In this special issue of Minds and Machines ("Situations and Artificial Intelligence") we take a close look at recent situation-theoretic research which has mostly originated within a philosophical framework but promises to have strong connotations for Artificial Intelligence workers. The seven papers which make up this special issue (three of the papers appear in Minds and Machines 9(1)) demonstrate the advantages of the situation-based approach towards problems with a definite AI flavor. Download Export citation Bookmark
A Finite-State Approach to Event Semantics.Tim Fernando - unknowndetails Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant ﬁnite automata then amount to movie cameras/projectors, or more formally, to ﬁnite Kripke structures with par- tial valuations. The usual regular constructs (concatena- tion, choice, etc) are supplemented with superposition of strings/automata/languages, realized model-theoretically as conjunction. Download Export citation Bookmark 1 citation
Finite-state descriptions for temporal semantics.Tim Fernando - manuscriptdetails Finite-state descriptions for temporal semantics are outlined through which to distinguish soft inferences reflecting manners of conceptualization from more robust semantic entailments defined over models. Just what descriptions are built (before being interpreted model-theoretically) and how they are grounded in models of reality explain (upon examination) why some inferences are soft. Download Export citation Bookmark 1 citation

1