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
Temporal extensions to defeasible logic
TL;DR: The logic is extended to cope with durative facts, as well as with delays between the antecedent and the consequent of rules, and it is shown that the extended temporalised framework is suitable to model different types of causal relations.
Journal Article
Ontologies of time: Review and trends
TL;DR: It has been concluded that a cross-disciplinary effort is required to address the features not covered by the existing ontologies of time, and also harmonize the representations addressed differently.
Journal ArticleDOI
Knowledge systems for planning support
J. Fiksel,F. Hayes-Roth +1 more
TL;DR: Planning research is bifurcated by decoupling the problem-solving component of planning systems from the knowledge-representation and plan-evaluation components, which allows the development of interactive planning systems in which humans play the role of problem solver and machines assist by analyzing, monitoring, and refining plans initiated by humans.
Proceedings Article
Constraint satisfaction with delayed evaluation
Monte Zweben,Megan Eskey +1 more
TL;DR: The design and implementation of a constraint satisfaction system that uses delayed evaluation techniques to provide greater representational power and to avoid unnecessary computation is described.
Proceedings ArticleDOI
Recent Temporal Pattern Mining for Septic Shock Early Prediction
TL;DR: Recent Temporal Patterns (RTPs) are used in conjunction with SVM classifier to build a robust yet interpretable model for early diagnosis of septic shock and this model can outperform all aforementioned baseline models for both diagnosis tasks.
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.