A logical framework for commonsense predictions of solid object behaviour

Research output: Contribution to journalArticle

Abstract

Predicting the behaviour of a qualitatively described system of solid objects requires a combination of geometrical, temporal, and physical reasoning. Methods based upon formulating and solving differential equations are not adequate for robust prediction, since the behaviour of a system over extended time may be much simpler than its behaviour over local time. This paper presents a first-order logic in which one can state simple physical problems and derive their solution deductively, without recourse to solving differential equations. This logic is substantially more expressive and powerful than any previous AI representational system in this domain.

Original languageEnglish (US)
Pages (from-to)125-140
Number of pages16
JournalArtificial Intelligence in Engineering
Volume3
Issue number3
DOIs
StatePublished - 1988

Fingerprint

Differential equations

Keywords

  • physical reasoning
  • qualitative physics
  • spatial reasoning

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Cite this

A logical framework for commonsense predictions of solid object behaviour. / Davis, Ernest.

In: Artificial Intelligence in Engineering, Vol. 3, No. 3, 1988, p. 125-140.

Research output: Contribution to journalArticle

@article{3d5429bca7394c2198e82aadd94f4091,
title = "A logical framework for commonsense predictions of solid object behaviour",
abstract = "Predicting the behaviour of a qualitatively described system of solid objects requires a combination of geometrical, temporal, and physical reasoning. Methods based upon formulating and solving differential equations are not adequate for robust prediction, since the behaviour of a system over extended time may be much simpler than its behaviour over local time. This paper presents a first-order logic in which one can state simple physical problems and derive their solution deductively, without recourse to solving differential equations. This logic is substantially more expressive and powerful than any previous AI representational system in this domain.",
keywords = "physical reasoning, qualitative physics, spatial reasoning",
author = "Ernest Davis",
year = "1988",
doi = "10.1016/0954-1810(88)90029-5",
language = "English (US)",
volume = "3",
pages = "125--140",
journal = "Advanced Engineering Informatics",
issn = "1474-0346",
publisher = "Elsevier Limited",
number = "3",

}

TY - JOUR

T1 - A logical framework for commonsense predictions of solid object behaviour

AU - Davis, Ernest

PY - 1988

Y1 - 1988

N2 - Predicting the behaviour of a qualitatively described system of solid objects requires a combination of geometrical, temporal, and physical reasoning. Methods based upon formulating and solving differential equations are not adequate for robust prediction, since the behaviour of a system over extended time may be much simpler than its behaviour over local time. This paper presents a first-order logic in which one can state simple physical problems and derive their solution deductively, without recourse to solving differential equations. This logic is substantially more expressive and powerful than any previous AI representational system in this domain.

AB - Predicting the behaviour of a qualitatively described system of solid objects requires a combination of geometrical, temporal, and physical reasoning. Methods based upon formulating and solving differential equations are not adequate for robust prediction, since the behaviour of a system over extended time may be much simpler than its behaviour over local time. This paper presents a first-order logic in which one can state simple physical problems and derive their solution deductively, without recourse to solving differential equations. This logic is substantially more expressive and powerful than any previous AI representational system in this domain.

KW - physical reasoning

KW - qualitative physics

KW - spatial reasoning

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

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

U2 - 10.1016/0954-1810(88)90029-5

DO - 10.1016/0954-1810(88)90029-5

M3 - Article

VL - 3

SP - 125

EP - 140

JO - Advanced Engineering Informatics

JF - Advanced Engineering Informatics

SN - 1474-0346

IS - 3

ER -