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
Motivated action theory: a formal theory of causal reasoning
TL;DR: This paper proposes a new system for {\it causal reasoning}, motivated action theory, which builds upon causation as a crucial preference criterion, and additionally provides a basis for a new theory of explanation.
Journal ArticleDOI
Towards an Understanding of Frugal Consumers
Sarah Todd,Rob Lawson +1 more
TL;DR: This article examined the relationship between frugality and values as measured using the modified version of Schwartz' value survey and found that the pattern of frugal and non-frugal New Zealand consumers' values indicate that, although logical significant differences in values do exist, the pattern is too unclear to indicate that frugability exists as a single value.
Journal ArticleDOI
Temporal semantics in information systems: a survey
John F. Roddick,Jon D. Patrick +1 more
TL;DR: This paper investigates the handling of time as it has been applied to the fields of data modelling and artificial intelligence.
Journal ArticleDOI
The Qualitative Spatial Dynamics of Motion in Language
TL;DR: A framework within dynamic logic for the characterization of spatial change is introduced, called Dynamic Interval Temporal Logic (DITL), developed to analyze both classes of motion predicates, as well as complex compositional constructions involving spatial and manner Prepositional Phrases.
Journal ArticleDOI
Legal Ontologies in Knowledge Engineering and Information Management
TL;DR: Two core ontologies of law that specify knowledge that is common to all domains of law are described; the first one, FOLaw describes and explains dependencies between types of knowledge in legal reasoning; the second one, LRI-Core ontology, captures the main concepts in legal information processing.
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.