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
Book ChapterDOI
Graph Based Skeleton Motion Representation and Similarity Measurement for Action Recognition
TL;DR: This paper proposes a novel low-level representation for the motion of each joint through tracking its trajectory and segmenting it into several semantic parts called motionlets, which are directly used as the kernel of SVM to classify videos.
Book ChapterDOI
Knowledge-Based Event Detection in Complex Time Series Data
Jim Hunter,Neil McIntosh +1 more
TL;DR: This paper describes an approach to the detection of events in complex, multi-channel, high frequency data and the preliminary results are encouraging, with an accuracy of identification of 89%.
Journal ArticleDOI
A framework for enhancing spatial and temporal granularity in report-based health surveillance systems
TL;DR: The results of the scheme evaluation indicate that the annotated corpus and the proposed annotation scheme are reliable and could be effectively used for developing an automatic system, and that a reliable automatic spatiotemporal zoning system can be achieved.
Journal ArticleDOI
A model and a language for the fuzzy representation and handling of time
TL;DR: This paper introduces a language for the representation and manipulation of temporal entities and relations, which captures some of the terms the authors use in their expressions in the natural language and therefore, it is a flexible and powerful interface for those systems in which the representation of fuzzy temporal information is necessary.
Book ChapterDOI
Formal Approaches to Student Modelling
TL;DR: This paper considers student modelling from the point of view of the formal techniques that are involved to provide a theoretical, computational basis for student modelling which is psychologically neutral and independent of applications.
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.