Qualitative Kinematics: A framework
Elsevier eBooksPublished 1 January 1990
Kenneth D. Forbus, Paul E. Nielsen, Boi Faltings
Citations99
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
It is proposed that no general-purpose, purely qualitative kinematics exists, and the MD/PV model of spatial reasoning is proposed, which combines the power of diagrams with qualitative representations and connectivity as the organizing principle for kinematic state.
Abstract
Qualitative spatial reasoning has seen little progress This paper attempts to explain why We provide a framework for qualitative kinematics (QK), qualitative spatial reasoning about motion We propose that no general-purpose, purely qualitative kinematics exists. We propose instead the MD/PV model of spatial reasoning, which combines the power of diagrams with qualitative representations Next we propose connectivity as the organizing principle for kinematic state, and describe a set of basic inferences which every QK system must make. The framework's utility is illustrated by considering two programs, one finished and one in progress We end by discussing the research questions this framework raises.
Keywords
Computer Science
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.
IEEE Transactions on ComputersSpatial Planning: A Configuration Space Approach
2,095 Citations1983Tomás Lozano‐Pérez
Algorithms for computing constraints on the position of an object due to the presence of ther objects, which arises in applications that require choosing how to arrange or how to move objects without collisions are presented.
Artificial IntelligenceQualitative process theory
2,023 Citations1984Kenneth D. Forbus
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.
The American Journal of PsychologyImage and Mind
1,835 Citations1982Peter Podgorny, Stephen M. Kosslyn
Artificial IntelligenceA qualitative physics based on confluences
1,499 Citations1984Johan de Kleer, John Seely Brown
A fairly encompassing account of qualitative physics, which introduces causality as an ontological commitment for explaining how devices behave, and presents algorithms for determining the behavior of a composite device from the generic behavior of its components.
Greenwood Publishing Group Inc. eBooksFormal Theories of the Commonsense World
760 Citations1985Jerry R. Hobbs, Robert C. Moore
Artificial IntelligenceCommonsense reasoning about causality: Deriving behavior from structure
520 Citations1984Benjamin Kuipers
This paper presents a qualitative-reasoning method for predicting the behavior of mechanisms characterized by continuous, time-varying parameters that can detect a previously unsuspected landmark point at which the system is in stable equilibrium.
Artificial IntelligenceQualitative analysis of MOS circuits
176 Citations1984Brian Williams
Temporal qualitative analysis is a technique for analyzing the qualitative large signal behavior of MOS circuits that straddle the line between the digital and analog domains and uses knowledge about the structure of equations and the properties of structure classes to resolve ambiguities.
Cognitive ScienceSome demonstrations of the effects of structural descriptions in mental imagery
175 Citations1979Geoffrey E. Hinton
Cognitive ScienceSome Demonstrations of the Effects of Structural Descriptions in Mental Imagery*
152 Citations1979Geoffrey E. Hinton
The difficulty of certain mental imagery tasks is shown to depend on which of the alternative structural descriptions of an object is used, and this is interpreted as evidence that structural descriptions are an important component of mental images.
Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)Causal and Teleological Reasoning In Circuit Recognition
143 Citations1979Johan de Kleer
A theory of human-like reasoning in the general domain of designed physical systems, and in particular, electronic circuits, is presented, which can construct by qualitative causal analysis a mechanism graph describing the functional topology of the system.
National Conference on Artificial IntelligenceSpatial and qualitative aspects of reasoning about motion
59 Citations1980Kenneth D. Forbus
The spatial and qualitative aspects of reasoning about motion through free space are studied through the construction of a program to perform such reasoning.
DSpace@MIT (Massachusetts Institute of Technology)A Study of Qualitative and Geometric Knowledge in Reasoning about Motion
55 Citations1981Kenneth D. Forbus
Elsevier eBooksA Qualitative Approach to Mechanical Constraint
44 Citations1990Paul E. Nielsen
A symbolic spatial representation is developed to describe the effects of configuration on the dynamic behavior of rigid objects and the way symbolic shape information may be used to reason about force transmission.
Elsevier eBooksQUALITATIVE KINEMATICS IN MECHANISMS
39 Citations1990Boi Faltings
This thesis investigates the problem of reasoning about the kinematic interactions between parts of a 2-dimensional mechanism as a first step towards a general theory of qualitative kinematics, and introduces the concept of place vocabularies as a generative symbolic description of the possible motion of the part of a mechanism.
DSpace@MIT (Massachusetts Institute of Technology)Representing and Reasoning About Change in Geologic Interpretation
38 Citations1983Reid Simmons
This report describes the design and implementation of one part of a geologic interpretation problem solver -- a system which uses a simulation technique called imagining to check the validity of a candidate sequence of events.
Elsevier eBooksAutomated Reasoning about Machine Geometry and Kinematics
37 Citations1990Andrew Gelsey
This work presents work * on the application of spatial and geometrical reasoning to the problem of reasoning about mechanical devices by taking a CAD/CAM solid model of a mechanical device and producing a kinematic analysis of the device.
International Joint Conference on Artificial IntelligenceNaive kinematics: one aspect of shape
20 Citations1985Yoav Shoham
The formulations of how physical objects interact are explored, and the concept of freedom is analysed, compared to work that was done in the kinematics of machinery in the 10th century and that has since been somewhat neglected.
The decomposition of a large domain: reasoning about machines
16 Citations1983Craig Stanfill
The result is Mack, a system which produces qualitative models of simple machines from purely geometric representations.