Temporal prepositions and their logic

@article{PrattHartmann2005TemporalPA,
  title={Temporal prepositions and their logic},
  author={I. Pratt-Hartmann},
  journal={Artif. Intell.},
  year={2005},
  volume={166},
  pages={1-36}
}
This extended abstract reports on the computational complexity of reasoning with English sentences featuring temporal prepositions. A fragment of English featuring these constructions, called TPE, is defined by means of a context-free grammar. The phrase-structures which this grammar assigns to the sentences it recognizes can be viewed as formulas of an interval temporal logic, called TPL, whose satisfaction-conditions faithfully represent the meanings of the corresponding English sentences. It… Expand
An interval logic for natural language semantics
TLDR
EIL can express the semantics of some natural language constructions and is introduced as a decidable event-based interval logic, called EIL, which can be used to represent temporal expressions. Expand
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations
TLDR
It is proved that the Horn fragment of HS is undecidable on every interesting class of linearly ordered sets, and the difficulties that arise when considering the other fragments are discussed. Expand
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation
TLDR
This work developed a first working implementation of a decision procedure for RPNL, a.k.a. Right Propositional Neighborhood Logic, interpreted over finite linear orders, and made it accessible from the web. Expand
Prior and temporal sequences for natural language
TLDR
The construal is developed in line with Prior’s view of what is “metaphysically fundamental”, and construed as finite sets of temporal propositions, inducing bounded notions of temporal granularity that can be refined to expand the discourse. Expand
From TimeML to TPL
  • I. Pratt-Hartmann
  • Mathematics, Computer Science
  • Annotating, Extracting and Reasoning about Time and Events
  • 2005
TLDR
It is pointed out that, by choosing an appropriate interval temporal logic, it is possible to introduce quantification into representations of event-structure without sacrificing decidability. Expand
Steedman's Temporality Proposal and Finite Automata
  • T. Fernando
  • Mathematics, Computer Science
  • Amsterdam Colloquium on Logic, Language and Meaning
  • 2011
The proposal from Steedman 2005 that "the formal devices" required for temporality in linguistic semantics "are those related to representation of causality and goal-directed action" is developedExpand
From TimeML to T PL ∗
This paper describes a subset of the temporal mark-up language TimeML, and explains its relation to various formalisms found in the literature on interval temporal logic. The subset of TimeML weExpand
An Event-Based Fragment of First-Order Logic over Intervals
  • Savas Konur
  • Mathematics, Computer Science
  • J. Log. Lang. Inf.
  • 2011
TLDR
This paper presents a sound, complete and terminating decision procedure for a new fragment of first-order logic with two variables that is decidable, and provides a NEXPTIME complexity bound for satisfiability. Expand
Strings over intervals
TLDR
Notions of satisfaction in interval temporal logics are formulated in terms of strings, and the possibility of computing these via finite-state machines/transducers is investigated, opening up temporal semantics to finite- state methods. Expand
Horn Fragments of the Halpern-Shoham Interval Temporal Logic
We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of theExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 46 REFERENCES
Temporal Prepositions and Temporal Generalized Quantifiers
TLDR
It is argued that a systematic treatment of English tPPs is greatly facilitated if the authors endow their meaning assignments with context variables, a device which allows a tPP to restrict domainsof quantification arising elsewhere in a sentence. Expand
Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach
TLDR
This work extends the theory of English tense, aspect and time adverbials to deal with a wider range of time adverbs, including many adverbs of frequency, cardinality, duration, and time span, and ad verbials of temporal relation involving subordinating conjunctions. Expand
Events in the Semantics of English: A Study in Subatomic Semantics
TLDR
Focusing on the structure of meaning in English sentences at a "subatomic" level - that is, a level below the one most theories accept as basic or "atomic" - Parsons asserts that the semantics of simple English sentences require logical forms somewhat more complex than is normally assumed in natural language semantics. Expand
A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
TLDR
This paper presents a complete axiomatization for propositional interval temporal logic (PITL) with projection, based on a tableau decision procedure for the logic, which in turn is founded upon a normal form for PITL formulae. Expand
Tense, attitudes, and scope
TLDR
This work analyzes the relationship between tense and temporal adverbials in simple sentences and the syntax and semantics of tenses in English and Japanese. Expand
A Modal Logic for Chopping Intervals
TLDR
This article is devoted to a modal system of intervals, where the term 'interval' is used for an uninterrupted stretch of time informally visualized by a horizontal line segment. Expand
A General Tableau Method for Propositional Interval Temporal Logics
TLDR
This paper provides BCDT + with a generic tableau method which combines features of explicit tableau methods for modal logics with constraint label management and the classical tableAU method for first-order logic, and proves its soundness and completeness. Expand
A propositional modal logic of time intervals
In certain areas of artificial intelligence there is need to represent continuous change and to make statements that are interpreted with respect to time intervals rather than time points. To thisExpand
Speaking of Events
In recent years the idea that an adequate semantics of ordinary language calls for some theory of events has sparked considerable debate among linguists and philosophers. Speaking of Events offers aExpand
Time and Modality in a Natural Language Interface to a Planning System
TLDR
A natural language interface to nonlinear planning systems focusing on the treatments of temporal and modal information in logical form and in plan query language, and a number of differences between the two formalisms emerge. Expand
...
1
2
3
4
5
...