A SYMBOLIC APPROACH TO QUALITATIVE KINEMATICS

被引：33

作者：

FALTINGS, B

机构：

[1] Laboratoire d'Intelligence Artificielle, Departement d'Informatique, Swiss Federal Institute of Technology (EPFL), 1015 Lausanne, IN-Ecublens

来源：

ARTIFICIAL INTELLIGENCE | 1992年 / 56卷 / 2-3期

关键词：

D O I：

10.1016/0004-3702(92)90025-S

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

An important problem for mechanism design and analysis is reasoning about the relationship between object shapes and their kinematic function. Such reasoning is difficult because of the unstructured influence of the shapes' metric dimensions. In this paper. we show how a qualitative kinematic analysis can be based solely on symbolic reasoning and evaluation of predicates on metric dimensions. This allows symbolic reasoning about kinematics without explicit numerical representations of object dimensions, and automatic generation of operators relating kinematic goals to shape modifications which may achieve them.

引用

页码：139 / 170

页数：32

共 22 条

[1]

ADDANKI S, 1987, ENVISIONING PROBLEM

[2] THE COMPLEXITY OF ELEMENTARY ALGEBRA AND GEOMETRY [J].

BENOR, M ;

KOZEN, D ;

REIF, J .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1986, 32 (02) :251-264

[3]

DEKLEER J, 1975, MIT AI TR352

[4] TRUTH MAINTENANCE SYSTEM [J].

DOYLE, J .

ARTIFICIAL INTELLIGENCE, 1979, 12 (03) :231-272

[5] QUALITATIVE KINEMATICS IN MECHANISMS [J].

FALTINGS, B .

ARTIFICIAL INTELLIGENCE, 1990, 44 (1-2) :89-119

[6]

FALTINGS B, 1987, P IJCAI 87 MILAN

[7]

FALTINGS B, 1987, UIUCDCSR871360 U ILL

[8] QUALITATIVE SPATIAL REASONING - THE CLOCK PROJECT [J].

FORBUS, KD ;

NIELSEN, P ;

FALTINGS, B .

ARTIFICIAL INTELLIGENCE, 1991, 51 (1-3) :417-471

[9] QUALITATIVE PROCESS THEORY [J].

FORBUS, KD .

ARTIFICIAL INTELLIGENCE, 1984, 24 (1-3) :85-168

[10]

FORBUS KD, 1980, P AAAI 80 STANFORD

← 1 2 3 →