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
Designing Annotation Schemes: From Theory to Model
TL;DR: This chapter describes the method and process of transforming the theoretical formulations of a linguistic phenomenon, based on empirical observations, into a model that can be used for the development of a language annotation specification, and examines how this methodology has been implemented in the creation of TimeML, a broad-based standard for annotating temporal information in natural language texts.
Proceedings Article
Toward a Unified Artificial Intelligence
TL;DR: NARS is a general-purpose reasoning system developed to be adaptive and capable of working with insufficient knowledge and resources.
Journal ArticleDOI
Sign language applications: preliminary modeling
Annelies Braffort,Patrice Dalle +1 more
TL;DR: This paper presents a signing space model, implemented within a context of automatic analysis and automatic generation, which are currently under development, and is designed to enable analysis of SL videos and to generate SL messages by means of signing avatars.
Book ChapterDOI
Abstractions of Data and Time for Multiparametric Time Course Prognoses
TL;DR: Applied Case-Based Reasoning methods in a domain which seemed reserved for statistical methods and conventional temporal reasoning to generate course-characteristic trend descriptions of the renal function over the course of time.
Journal ArticleDOI
Modélisation des objets historiques selon la fonction, l’espace et le temps pour l’étude des dynamiques urbaines dans la longue durée
Xavier Rodier,Laure Saligny +1 more
TL;DR: In this paper, the authors propose a model of a ville comme an ensemble of objects in which each object is composed of three dimensions: fonctionnelle (usage social), spatiale (localisation, etendue et morphologie) and temporelle (datation, duree et chronologie).
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.