Open AccessJournal Article
Maintaining knowledge about temporal intervals
Reads0
Chats0
TLDR
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 space and time.Abstract:
An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation. This system is notable in offering a delicate balance betweenread more
Citations
More filters
Journal ArticleDOI
Software for computing and annotating genomic ranges.
Michael F. Lawrence,Wolfgang Huber,Hervé Pagès,Patrick Aboyoun,Marc R. J. Carlson,Robert Gentleman,Martin Morgan,Vincent J. Carey +7 more
TL;DR: This work describes Bioconductor infrastructure for representing and computing on annotated genomic ranges and integrating genomic data with the statistical computing features of R and its extensions, including those for sequence analysis, differential expression analysis and visualization.
Towards a General Theory of Action and Time.
TL;DR: A formalism for reasoning about actions that is based on a temporal logic allows a much wider range of actions to be described than with previous approaches such as the situation calculus and a framework for planning in a dynamic world with external events and multiple agents is suggested.
Proceedings Article
A Spatial Logic based on Regions and Connection.
TL;DR: An interval logic for reasoning about space is described, which supports a simpler ontology, has fewer functions and relations, yet does not su er in terms of its useful expressiveness.
Journal ArticleDOI
Qualitative process theory
TL;DR: This paper describes the basic concepts of qualitative process theory, several different kinds of reasoning that can be performed with them, and discusses its implications for causal reasoning.
Journal ArticleDOI
Human activity analysis: A review
Jake K. Aggarwal,Michael S. Ryoo +1 more
TL;DR: This article provides a detailed overview of various state-of-the-art research papers on human activity recognition, discussing both the methodologies developed for simple human actions and those for high-level activities.
References
More filters
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.
Journal ArticleDOI
A truth maintenance system
TL;DR: The need of problem solvers to choose between alternative systems of beliefs is stressed, and a mechanism by which a problem solver can employ rules guiding choices of what to believe, what to want, and what to do is outlined.
Book
A Structure for Plans and Behavior
TL;DR: Progress to date in the ability of a computer system to understand and reason about actions is described, and the structure of a plan of actions is as important for problem solving and execution monitoring as the nature of the actions themselves.
Journal ArticleDOI
A Sufficient Condition for Backtrack-Free Search
TL;DR: A relationship involving the structure of the constraints is described which characterizes to some degree the extreme case of mimmum backtracking and a concept called "width," which may provide some guidance in the representation of constraint satisfaction problems and the order in which they are searched.
A Temporal Logic for Reasoning about Processes and Plans.
TL;DR: A common disclaimer by an AI author is that he has neglected temporal considerations to avoid complication; the implication is nearly made that adding a temporal dimension to the research would be a familiar but tedious exercise that would obscure the new material presented by the author.