Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Analysing the familiar : reasoning about space and time in the everyday world

Tools
- Tools
+ Tools

Randell, David Anthony (1991) Analysing the familiar : reasoning about space and time in the everyday world. PhD thesis, University of Warwick.

[img]
Preview
Text
WRAP_thesis_Randell_1991.pdf - Submitted Version

Download (8Mb) | Preview
Official URL: http://webcat.warwick.ac.uk/record=b1410144~S1

Request Changes to record.

Abstract

The development of suitable explicit representations of knowledge that
can be manipulated by general purpose inference mechanisms has always
been central to Artificial Intelligence (AI). However, there has been a
distinct lack of rigorous formalisms in the literature that can be used
to model domain knowledge associated with the everyday physical world.
If AI is to succeed in building automata that can function reasonably
well in unstructured physical domains, the development and utility of such
formalisms must be secured.
This thesis describes a first order axiomatic theory that can be used
to encode much topological and metrical information that arises in our
everyday dealings with the physical world. The formalism is notable for
the minimal assumptions required in order to lift up a very general
framework that can cover the representation of much intuitive spatial and
temporal knowledge. The basic ontology assumes regions that can be
either spatial or temporal and over which a set of relations and
functions are defined. The resulting partitioning of these abstract
spaces, allow complex relationships between objects and the description of
processes to be formally represented. This also provides a useful
foundation to control the proliferation of inference commonly associated
with mechanised logics. Empirical information extracted from the domain
is added and mapped to these basic structures showing how further
control of inference can be secured.
The representational power of the formalism and computational
tractability of the general methodology proposed is substantiated using
two non-trivial domain problems - modelling phagocytosis and exocytosis
of uni-cellular organisms, and modelling processes arising during the
cycle of operations of a force pump.

Item Type: Thesis (PhD)
Subjects: Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Library of Congress Subject Headings (LCSH): Artificial intelligence -- Computer programs, Artificial intelligence -- Data processing
Official Date: June 1991
Dates:
DateEvent
June 1991Submitted
Institution: University of Warwick
Theses Department: Department of Computer Science
Thesis Type: PhD
Publication Status: Unpublished
Supervisor(s)/Advisor: Cohn, Anthony G.
Sponsors: Science and Engineering Research Council (Great Britain) (SERC) GR/F/64380, GR/G/36852 (SERC)
Extent: x, 263 leaves : illustrations
Language: eng

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us