UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Execution of defeasible temporal clauses for building preferred models

Hunter, A; (1991) Execution of defeasible temporal clauses for building preferred models. In: (pp. pp. 84-98).

Full text not available from this repository.

Abstract

© Springer-Verlag Berlin Heidelberg 1991. Important forms of reasoning such as planning and scheduling can be both temporal and non-monotonic in nature. For a logic-based solution, such reasoning requires (I) the specification of components of a plan, or schedule, in a language that is sufficiently expressive and natural for notions of time and defeasibflity,a nd (2) the facilityt o demonstrate the satifiabilitoy f the specification.F or (2) we effectivelyn eed to build a model of the specification.H ere we presenta non-monotonic temporal logicN TE thati s a development of executable temporal logics (Gabbay 1989) and the non-monotonic atemporal logic KAL (Hunter 1990). The development of NTE is intended as an initial attempt at addressing the requirements of (1) and (2) above.

Type: Proceedings paper
Title: Execution of defeasible temporal clauses for building preferred models
ISBN-13: 9783540545071
DOI: 10.1007/3-540-54507-7_8
URI: http://discovery.ucl.ac.uk/id/eprint/105505
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item