Journal ArticleDOI
Towards a general theory of action and time
Reads0
Chats0
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
Book ChapterDOI
Interfacing Ontologies and Lexical Resources
TL;DR: This paper compares ontologies built following different methodologies and analyses their combination with lexical resources and classify these methodologies show how actual projects fit into this classification.
Journal ArticleDOI
A Review of Semantic Sensor Technologies in Internet of Things Architectures
Gergely Honti,János Abonyi +1 more
TL;DR: The explored trends show that ontologies will play an even more essential role in interlinked IoT systems as interoperability and the generation of controlled linkable data sources should be based on semantically enriched sensory data.
Journal ArticleDOI
Events, topology and temporal relations
Fabio Pianesi,Achille C. Varzi +1 more
TL;DR: In this paper, the A.A. developpe une constuction des relations temporelles fondee les proprietes mereologiques et les topologiques des evenements.
Proceedings Article
Planning with abstraction
TL;DR: The method of abstraction presented here allows one to reason analogically and hierarchically, making both the task of formalizing domain theories easier for the system designer, as well as allowing for increased computational efficiencies.
Book ChapterDOI
An object-oriented framework for temporal data models
TL;DR: The first step of this work is a design space for temporal models which accommodates multiple notions of time, thereby classifying design alternatives forporal models.
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.