Journal ArticleDOI
Towards a general theory of action and time
TLDR
In this article, a formalism for reasoning about actions is proposed that is based on a temporal logic, which allows a much wider range of actions to be described than with previous approaches such as the situation calculus.About:
This article is published in Artificial Intelligence.The article was published on 1984-07-18. It has received 2439 citations till now. The article focuses on the topics: Temporal logic of actions & Situation calculus.read more
Citations
More filters
Journal ArticleDOI
Time, tense and aspect in natural language database interfaces
TL;DR: In this paper, a framework for constructing Natural Language Interfaces for Temporal Databases (NLTDB) is presented, which consists of a temporal intermediate representation language, called TOP, an HPSG grammar that maps a wide range of questions involving temporal mechanisms to appropriate TOP expressions.
Journal ArticleDOI
CAPSUL: A constraint-based specification of repeating patterns in time-oriented data
Shubha Chakravarty,Yuval Shahar +1 more
TL;DR: The syntax of CAPSUL is described in detail, including its layers of abstraction and four types of constraints, including the concept of interference between patterns and the expressive power of the language.
Proceedings Article
A temporal-abstraction system for patient monitoring.
Yuval Shahar,Mark A. Musen +1 more
TL;DR: RESUME is a system that performs temporal abstraction of time-stamped data by making explicit the knowledge required for temporal abstraction supports the acquisition of that knowledge.
Proceedings Article
Latent Features in Automatic Tense Translation between Chinese and English
TL;DR: It is shown that incorporating several latent features into the tense classifier boosts the tenseclassifier’s performance, and a tense classifiers using only the latent features outperforms one usingonly the surface features.
Journal ArticleDOI
Annotating and learning event durations in text
TL;DR: It is shown that machine learning techniques applied to this data can produce coarse-grained event duration information automatically, considerably outperforming a baseline and approaching human performance.
References
More filters
Journal ArticleDOI
Maintaining knowledge about temporal intervals
TL;DR: In this paper, an interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between time and space.
Book
Speech Acts: An Essay in the Philosophy of Language
TL;DR: A theory of speech acts is proposed in this article. But it is not a theory of language, it is a theory about the structure of illocutionary speech acts and not of language.
Book ChapterDOI
Some philosophical problems from the standpoint of artificial intelligence
TL;DR: In this paper, the authors consider the problem of reasoning about whether a strategy will achieve a goal in a deterministic world and present a method to construct a sentence of first-order logic which will be true in all models of certain axioms if and only if a certain strategy can achieve a certain goal.