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
Journal ArticleDOI
Responsibility-Based Manufacturing
TL;DR: In this article, the authors present a review of the technology involved in RBM and discusses the qualitative and quantitative performance characteristics of its coordination mechanism, as well as its performance characteristics.
Journal ArticleDOI
Solution Techniques for Constraint Satisfaction Problems: Foundations
Ian Miguel,Qiang Shen +1 more
TL;DR: A systematic and coherent review of the foundations of the techniques for constraint satisfaction is attempted, which includes an initial definition of the constraint satisfaction problem, a graphical means of problem representation, conventional tree search solution techniques, and pre-processing algorithms which are designed to makes subsequent tree search significantly easier.
Journal ArticleDOI
FUNCTIONAL ANALYSIS IN ANTHROPOLOGY AND SOCIOLOGY: An Interpretative Essay
TL;DR: Functionalism, which dominated in central parts of anthropology and sociology from the late 1930s till about the mid-1960s, has since then been discredited and seemingly discarded as mentioned in this paper.
Journal ArticleDOI
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)
Davide Bresolin,Agi Kurucz,Emilio Muñoz-Velasco,Vladislav Ryzhikov,Guido Sciavicco,Michael Zakharyaschev +5 more
TL;DR: In this paper, the authors investigated the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of the underlying linear order (discrete or dense), and the semantics for the interval relations.
Journal ArticleDOI
An interactive qualitative model in cardiology
TL;DR: The first element of the CARDIOLAB framework is a cardiac simulator conceptualized in terms of a research field known as qualitative physics, to produce fairly detailed descriptions of cardiac electrical events when initial tissue-state conditions are given.
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.