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
Hybrid mission planning with coalition formation
Anton Dukeman,Julie A. Adams +1 more
TL;DR: Coupling coalition formation with planning creates novel, domain-independent tools resulting in the best possible teams executing the best Possible plans for robots acting in complex domains.
Posted Content
Probabilistic Complex Event Recognition: A Survey
TL;DR: This work reviews Complex Event Recognition techniques that handle, to some extent, uncertainty, and examines techniques based on automata, probabilistic graphical models and first-order logic, and approaches based on Petri Nets and Grammars, which are less frequently used.
Proceedings Article
The epistemology of scheduling problems
TL;DR: A task ontology is described, which formally characterises the nature of scheduling problems, independently of particular application domains and independently of how the problems can be solved.
Journal ArticleDOI
On point-based temporal disjointness
TL;DR: It is proved that consistency testing is NP-complete and finding a solution to determine consistency and find a solution for sets of three-point relations expressing exclusion of a point from an interval are NP-hard.
Journal ArticleDOI
A cbr-based, closed-loop architecture for temporal abstractions configuration
TL;DR: A case‐based, closed‐loop architecture aimed at configuring temporal abstractions (TA), which will be applied to time series data, is implemented in the hemodialysis domain, able to provide a set of qualitative states, trends, and significant combinations of both as an output.
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.