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
Inference of Order in Genetic Systems
John N. Guidi,Thomas H. Roderick +1 more
TL;DR: Issues required of intelligent systems to support research efforts in locus mapping are surveyed, on how one can automate the reasoning processes of ordering, and the database structures required to support orders, including ambiguity and uncertainty.
Journal ArticleDOI
A robot sets a table: a case for hybrid reasoning with different types of knowledge
TL;DR: This article investigates the use of a meta-CSP-based technique to interleave reasoning in diverse knowledge types through a robotic waiter case study, and discusses general principles pertaining to the selection of appropriate KR formalisms and jointly reasoning about them.
Proceedings Article
Effects of parallelism on blackboard system scheduling
TL;DR: A parallel blackboard system is described that allows multiple knowledge source instantiations to execute in parallel using a shared-memory blackboard approach and new classes of control knowledge are defined that use information about the relationships between system goals to schedule tasks.
Journal ArticleDOI
Leveraging semantic labels for multi-level abstraction in medical process mining and trace comparison.
TL;DR: This paper presents a framework, able to convert actions in the event log into higher level concepts, at different levels of abstraction, on the basis of domain knowledge, that allows to obtain stroke process models more easily interpretable by neurologists.
Proceedings Article
Reasoning and Acting in Time
TL;DR: This dissertation investigates aspects of the design of an embodied cognitive agent that interleaves reasoning, acting, and interacting with other agents while maintaining a record of what has happened and is happening in its environment to help reason more effectively when faced with an emergency situation.
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.