UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

A conceptualization of preferences in non-monotonic proof theory

Hunter, A; (1992) A conceptualization of preferences in non-monotonic proof theory. In: (pp. pp. 174-188).

Full text not available from this repository.

Abstract

© Springer-Verlag Berlin Heidelberg 1992. Formalizing non-monotonic reasoning is a significant problem within artificial intelligence. A number of approaches have been proposed, but a clear understanding of the problem remains elusive. Given the diversity of proof theoretic approaches, we argue the need for frameworks for elucidating key concepts within non-monotonic reasoning. In this paper we consider the preferences, implicit and explicit, that can be seen in a disparate range of non-monotonic logics. In particular, we argue the case for an analysis based on Labelled Deductive Systems for viewing existing approaches to formalizing nonmonotonic reasoning, and for identifying new approaches. For this we introduce the family of prioritized logics -each member being a defeasible logic defined in terms of labelled deduction -that forms the basis of a framework for viewing the nature and mechanization of non-monotonic reasoning.

Type: Proceedings paper
Title: A conceptualization of preferences in non-monotonic proof theory
ISBN-13: 9783540558873
DOI: 10.1007/BFb0023428
URI: http://discovery.ucl.ac.uk/id/eprint/105502
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