A logical framework for reasoning about space
Lecture notes in computer sciencePublished 1 January 1993
Laure Vieu
Citations25
SJR quartileQ2
SJR score0.35
SNIP0.55
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A theory of space based on mereology, an axiomatic theory of part-whole relation, which includes a formalization of topological concepts as well as some geometric notions, namely distance and orientation, is presented.
Abstract
International audience
Keywords
Computer ScienceSocial Sciences
Communications of the ACMMaintaining knowledge about temporal intervals
7,550 Citations1983James F. Allen
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.
Parts : a Study in Ontology
983 Citations1987Peter Simons
The Philosophical QuarterlyParts of Classes.
688 Citations1993Michael Potter, David Lewis
Taking classes apart the trouble with classes a framework for set theory set theory for mereologists.
Lecture notes in computer scienceUsing orientation information for qualitative spatial reasoning
567 Citations1992Christian Freksa
The paper introduces the notion of conceptual neighborhood and its relevance for qualitative temporal reasoning and the resulting neighborhood-oriented representation and reasoning approach.
Journal of Symbolic LogicThe calculus of individuals and its uses
552 Citations1940Henry S. Leonard, Nelson Goodman
An unfortunate dependence of logical formulation upon the discovery and adoption of a special physical theory, or the presumption that such a suitable theory could in every case be discovered in the course of time, indicates serious deficiencies in the ordinary logistic.
The Logic of Time
547 Citations1983J.F.A.K. van Benthem
Lecture notes in computer scienceTheories and Methods of Spatio-Temporal Reasoning in Geographic Space
451 Citations1992Andrew U. Frank, Irene Campari
This is a perfect book that comes from great author to share with you and offers the best experience and lesson to take, not only take, but also learn.
Journal of Visual Languages & ComputingQualitative spatial reasoning about distances and directions in geographic space
417 Citations1992Andrew U. Frank
A method for formal, qualitative reasoning about distances and cardinal directions in geographic space, using an algebraic approach to define two operations, composition and inverse, and completes the completion of distance or direction symbols with an identity element.
Notre Dame Journal of Formal LogicA calculus of individuals based on ``connection''.
394 Citations1981Bowman L. Clarke
Calcul des individus, dans la ligne de la mereologie de Lesniewski et de ses developpements philosophiques chez Whitehead et Goodman, comprend trois parties: une partie mereologique (systematisation des predicats mereologiques), partie quasi booleenne (introduction des operateurs booleens and de l'individu universel).
Springer series in language and communicationEvents, Instants and Temporal Reference
289 Citations1979Hans Kamp
National Conference on Artificial IntelligenceA qualitative model for space
177 Citations1990Amitabha Mukerjee, Gene Joe
This work describes a systematic representation that builds spatial maps based on local qualitative relations between objects that is free of subjective bias, and is complete in the qualitative sense of distinguishing all overlap/ tangency/nocontact geometries.
A three-level approach to the semantics of space
88 Citations1993Michel Aurnague, Laure Vieu
To analyze the semantics of some of these expressions, this work systematically looks for valid reasoning schemata involving them and enables the testing of the proposed formal system as well as the evaluation of the definitions obtained for the studied lexemes.
Psychology Press eBooksQualitative Reasoning About Space and Motion
83 Citations2014Kenneth D. Forbus
The grammar inhuman factors design of an interactive graphics system and the psychology of how novices learn computer programming are studied.
The Semantics of Prepositions
79 Citations1993Cornelia Zelinsky-Wibbelt
Postgraduate Medical JournalSemantique des relations spatiales et inferences spatio-temporelles : une contribution a l'etude des structures formelles de l'espace en langage naturel
43 Citations1991Laure Vieu
Artificial Intelligence in EngineeringA logical framework for commonsense predictions of solid object behaviour
36 Citations1988Ernest Davis
A first-order logic in which one can state simple physical problems and derive their solution deductively, without recourse to solving differential equations is presented, substantially more expressive and powerful than any previous AI representational system in this domain.