The kinematics of cutting solid objects

Research output: Contribution to journalArticle

Abstract

This paper studies how the cutting of one solid object by another can be described in a formal theory. We present two alternative first-order representations for this domain. The first views an object as gradually changing its shape until it is split, at which time the original object ceases to exist and two (or more) new objects come into existence. The second focuses instead on chunks of material which are part of the overall object. A chunk persists with constant shape until some pieces of it is cut away, when the chunk ceases to exist. We prove that the two theories are equivalent under ordinary circumstances, and we show that they are sufficient to support some simple commonsense inferences and algorithms.

Original languageEnglish (US)
Pages (from-to)253-305
Number of pages53
JournalAnnals of Mathematics and Artificial Intelligence
Volume9
Issue number3-4
DOIs
StatePublished - Sep 1993

Fingerprint

Kinematics
Object
Sufficient
First-order
Alternatives

ASJC Scopus subject areas

  • Applied Mathematics
  • Artificial Intelligence

Cite this

The kinematics of cutting solid objects. / Davis, Ernest.

In: Annals of Mathematics and Artificial Intelligence, Vol. 9, No. 3-4, 09.1993, p. 253-305.

Research output: Contribution to journalArticle

@article{6643b76b04af4492aff9f8a8f09bcf5f,
title = "The kinematics of cutting solid objects",
abstract = "This paper studies how the cutting of one solid object by another can be described in a formal theory. We present two alternative first-order representations for this domain. The first views an object as gradually changing its shape until it is split, at which time the original object ceases to exist and two (or more) new objects come into existence. The second focuses instead on chunks of material which are part of the overall object. A chunk persists with constant shape until some pieces of it is cut away, when the chunk ceases to exist. We prove that the two theories are equivalent under ordinary circumstances, and we show that they are sufficient to support some simple commonsense inferences and algorithms.",
author = "Ernest Davis",
year = "1993",
month = "9",
doi = "10.1007/BF01530935",
language = "English (US)",
volume = "9",
pages = "253--305",
journal = "Annals of Mathematics and Artificial Intelligence",
issn = "1012-2443",
publisher = "Springer Netherlands",
number = "3-4",

}

TY - JOUR

T1 - The kinematics of cutting solid objects

AU - Davis, Ernest

PY - 1993/9

Y1 - 1993/9

N2 - This paper studies how the cutting of one solid object by another can be described in a formal theory. We present two alternative first-order representations for this domain. The first views an object as gradually changing its shape until it is split, at which time the original object ceases to exist and two (or more) new objects come into existence. The second focuses instead on chunks of material which are part of the overall object. A chunk persists with constant shape until some pieces of it is cut away, when the chunk ceases to exist. We prove that the two theories are equivalent under ordinary circumstances, and we show that they are sufficient to support some simple commonsense inferences and algorithms.

AB - This paper studies how the cutting of one solid object by another can be described in a formal theory. We present two alternative first-order representations for this domain. The first views an object as gradually changing its shape until it is split, at which time the original object ceases to exist and two (or more) new objects come into existence. The second focuses instead on chunks of material which are part of the overall object. A chunk persists with constant shape until some pieces of it is cut away, when the chunk ceases to exist. We prove that the two theories are equivalent under ordinary circumstances, and we show that they are sufficient to support some simple commonsense inferences and algorithms.

UR - http://www.scopus.com/inward/record.url?scp=21344488765&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=21344488765&partnerID=8YFLogxK

U2 - 10.1007/BF01530935

DO - 10.1007/BF01530935

M3 - Article

AN - SCOPUS:21344488765

VL - 9

SP - 253

EP - 305

JO - Annals of Mathematics and Artificial Intelligence

JF - Annals of Mathematics and Artificial Intelligence

SN - 1012-2443

IS - 3-4

ER -