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
Proceedings Article
Acquiring Commonsense Knowledge for a Cognitive Agent
TL;DR: This work describes a system that learns conceptual knowledge by deep understanding of WordNet glosses, which is viewed as simultaneously accomplishing two goals: building a rich semantic lexicon useful for natural language processing, and building a knowledge base that encodes common-sense knowledge.
Book ChapterDOI
Spatial and Spatiotemporal Big Data Science
Zhe Jiang,Shashi Shekhar +1 more
TL;DR: This chapter starts with the unique characteristics of spatial and spatiotemporal data, and their statistical properties, and reviews recent computational techniques and tools in spatial and sparsity data science, focusing on several major pattern families.
Proceedings Article
Deploying access control in distributed workflow
TL;DR: A decentralized and dynamic approach to handle access control in workflows is suggested and generally adopt a centralized management approach and are based on static access control models.
Journal ArticleDOI
Automatic transformation from TIDES to TimeML annotation
Estela Saquete,James Pustejovsky +1 more
TL;DR: An automatic migration process from the TIMex2 tags of TIDES to the TIMEX3 tags of TimeML is described, which has been implemented and evaluated with two different corpora, obtaining 93.3 and 89.2% overall F-Measure respectively.
Book ChapterDOI
Fuzzy temporal rules: a rule-based approach for fuzzy temporal knowledge representation and reasoning
TL;DR: A model for the representation and execution of a type of fuzzy control rules that explicitly handle time variable (Fuzzy Temporal Rules) is presented and a complete grammar that formally describes the representation language of the model is presented, together with its semantic counterpart.
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.