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
Granularity as a parameter of context
TL;DR: The granularity of a context is in this article formalised as a class of possible sizes in the context in accordance to well-known mathematical foundations on perceptual classification.
Journal ArticleDOI
Time in a causal theory
Daniel Kayser,Aicha Mokhtari +1 more
TL;DR: A formal framework enabling to define the notion of voluntary cause in a way allowing for an effective retrieval of causes in a given situation is introduced.
Taking Context Seriously: A Framework for Contextual Information in Digital Collections
TL;DR: A framework for contextual information is presented that is based on nine classes of contextual entities: object, agent, occurrence, purpose, time, place, form of expression, concept/abstraction, and relationship.
Journal ArticleDOI
Managing temporal cycles in planning problems requiring concurrency
TL;DR: This paper defines and study the notion of temporally cyclic problems, that is problems involving sets of cyclically dependent actions, and characterize those temporal planning languages, which can express temporallycyclic problems.
Journal ArticleDOI
O modelo de colaboração 3C no ambiente AulaNet
TL;DR: AulaNet valoriza uma abordagem colaborativa as discussed by the authors, a modelo de colabora, and a 3C that norteou e foi refinado a partir of the desenvolvimento do AulaNet.
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.