2,839 Hits in 4.4 sec

Representing and reasoning with events from natural language [chapter]

Miguel Leith, Jim Cunningham
1997 Lecture Notes in Computer Science  
Following on from the work of Moens and Steedman and the later work of Kent, we have identi ed a fragment of an interval tense logic of Halpern and Shoham that is expressive enough to represent the temporal  ...  We show how one can model the semantics of formulae from the fragment using simple timelines and how one can support entailment checking by comparing timelines using a simple algorithm.  ...  The logical representation of tense and aspect in natural language has considerable tradition and many open issues which will not be discussed here.  ... 
doi:10.1007/bfb0035638 fatcat:f6kxruvxa5azbiybdjmz24bdii

Page 525 of Mathematical Reviews Vol. , Issue 99a [page]

1991 Mathematical Reviews  
The two authors give—without claiming completeness—an overview of the development of temporal logic in relation to the tense logics proposed by Arthur Prior.  ...  Summary: “In this paper, an efficient algorithm to compute the set of prime implicants of a propositional formula in conjunctive normal form (CNF) is presented.  ... 

Page 1354 of Mathematical Reviews Vol. , Issue 83d [page]

1983 Mathematical Reviews  
Aspects of philosophical logic (Tiibingen, 1977), pp. 157-224, Synthese Library, 147, Reidel, Dordrecht, 1981.  ...  tense, the definite article, negation, factive verbs, and the projection problem (the presuppositions of embedded clauses).  ... 

Page 5744 of Mathematical Reviews Vol. , Issue 95j [page]

1995 Mathematical Reviews  
When there is such an element, the algorithm outputs a term that passes the tests; otherwise, the algorithm outputs a logical relation that demonstrates the nonexistence of such an element.  ...  {For the entire collection see MR 95i:68003. } 95j:03028 03B45 Aqvist, Lennart (S-UPPS; Uppsala) Discrete tense logic with beginning and ending time: an infinite hierarchy of complete axiomatic systems  ... 

An Evaluation Of A Linguistically Motivated Conversational Software Agent Framework

Kulvinder Panesar
2019 Journal of Computer-Assisted Linguistic Research  
A set of evaluation criteria are grouped per phase model, and the testing framework aims to test the interface, intersection and integration of all phase models.  ...  The CSA prototype investigates the integration, intersection and interface of the language, knowledge, and speech act constructions (SAC) based on a grammatical object, and the sub-model of belief, desires  ...  It highlights a range of utterances, addressing the full range of the tense and aspect spectrum.  ... 
doi:10.4995/jclr.2019.11118 fatcat:nrbqyuzpfjanflccpjptvapcjy

Tense Tagging for Verbs in Cross-Lingual Context: A Case Study [chapter]

Yang Ye, Zhu Zhang
2005 Lecture Notes in Computer Science  
The learning algorithm utilizes a moderate number of linguistic features that are easy and inexpensive to obtain. We train a tense classifier upon a small amount of manually labeled data.  ...  The evaluation results are promising according to standard measures as well as in comparison with a pilot tense annotation experiment involving human judges.  ...  Recently it has been argued that tense should be regarded as a category of the whole sentence, or in logical terms of the whole proposition, since it relates to the truth value of the proposition as a  ... 
doi:10.1007/11562214_77 fatcat:k3rxz2czhfcmlcpvc573db3ehi

Page 2317 of Mathematical Reviews Vol. , Issue 82f [page]

1982 Mathematical Reviews  
The discussion of “quantified indeterminist tense logic” (QITL) raises objections to the views of W. V. O. Quine, D. K. Lewis, and S. A.  ...  The author discusses the ontological base of logic and mainly explains the point of view that each logical calculus and each system of logic expresses only some aspects of reality, and that universality  ... 

Hybrid Type Theory: A Quartet in Four MovementsDOI:10.5007/1808-1711.2011v15n2p225

Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano
2012 Principia: An International Journal of Epistemology  
Although the work of the first three of these authors have previously been combined, adding the ideas of Leon Henkin is the addition required to make the combination work at the logical level.  ...  This paper sings a song -a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin.  ...  In that paper, a simple hybrid logic (namely, propositional nominal tense logic) allowed the insights of Reichenbach and Prior to be integrated.  ... 
doi:10.5007/1808-1711.2011v15n2p225 fatcat:dy6arwvxpnhctlkvtm5tf2dvia

Page 541 of Behavior Research Methods Vol. 40, Issue 2 [page]

2008 Behavior Research Methods  
The Algorithm Propositions.  ...  First, most information about verb tense, aspect, and modality is omitted from Kintsch’s propositional structure so that (for instance) Steve eats chocolate cake and Steve was to have eaten chocolate cake  ... 

Classification of modality function and its application to Japanese language analysis

Shozo Naito, Akira Shimazu, Hirosato Nomura
1985 Proceedings of the 23rd annual meeting on Association for Computational Linguistics -  
In this purpose, meaning of Japanese modality is classified into four semantic categories and the role of it is formalized into five modality functions.  ...  Like this, if the character of the event is analysed by the analysis of aspect or tense, the character of the objects can be specified.  ...  However studies on natural language analysis have mainly concerned with the propositional part, and algorithms for analyzing rnodality have not yet been sufficiently developed.  ... 
doi:10.3115/981210.981214 dblp:conf/acl/NaitoSN85 fatcat:daapiaom7bbbdb4y3wporme4ka

Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment

Dov M. Gabbay
1973 Journal of Philosophical Logic  
It initiates the programme, continued in other papers of re-evaluating the notions of logic and proof theory in the light of applications of logic in Infomation Technology.  ...  File: DovPapers/055/055-TFNMR.tex N-Prolog: An Extension of Prolog with Hypothetical Implications 2 Journal of Logic Programming, 2, 251-283, 1986.  ...  An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames In Aspects of Philosophical Logic, U. Monnich, ed. Pp. 67-89. D. Reidel, 1981.  ... 
doi:10.1007/bf00129607 fatcat:e6lokulrwrfcvl525fgj6dcr3m

Chapter 12 Temporal Representation and Reasoning [chapter]

Michael Fisher
2008 Foundations of Artificial Intelligence  
Some of these topics we will refer to very little, as they will be covered directly by other chapters, for example, temporal action logic [84], situation calculus [185], event calculus [209], spatio-temporal  ...  We aim to provide the reader with an overview of many of the ways temporal phenomena can be modelled, described, reasoned about, and applied.  ...  Acknowledgements The author would like to thank a number of experts in the area who have reviewed this chapter and provided valuable insights and corrections, in particular: Anthony Galton  ... 
doi:10.1016/s1574-6526(07)03012-x fatcat:kuqoy7zvjzd5nhqkakvdn7vgs4

Temporal Reasoning and MAS

Clara Smith, Antonino Rotolo, Giovanni Sartor
2011 Social Science Research Network  
We also explore a new variant of deontic tense logic by using a hybrid tense logic.  ...  In this paper we investigate if it is possible and useful to reason about time within social/normative multi-agent systems (MAS) by taking into account the general guidelines of tense logic.  ...  Section 2 describes two combinations of tense logics with multimodal multi-agent logics.  ... 
doi:10.2139/ssrn.1785412 fatcat:n4kj2gdti5chdms7vvljcujtqm

Page 4013 of Mathematical Reviews Vol. , Issue 2003f [page]

2003 Mathematical Reviews  
Prior’s so-called fourth grade of tense logical involvement. George F.  ...  This transfor- mation is done before the execution of the algorithm (resolution and dissolution) or it is integrated into the deductive algorithm (tableaux).  ... 

Page 1828 of Mathematical Reviews Vol. , Issue 86e [page]

1986 Mathematical Reviews  
Siegfried Gottwald (Leipzig) Brennenstuhl, Waltraud (D-BCHM) 86e:03028 A door’s closing—a contribution to the vagueness semantics of tense and aspect.  ...  Because of the loop phenomenon it also has an infinitary aspect.  ... 
« Previous Showing results 1 — 15 out of 2,839 results