A note on logical description, observational orders and minimum models

D Rydeheard; JHD Sanchez; Andrei Voronkov; Margarita Korovina

A note on logical description, observational orders and minimum models

D Rydeheard, JHD Sanchez, Andrei Voronkov (Editor), Margarita Korovina (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

In this note, we present an account of logical descriptions which consist of sets of formulae defining the current state of a system. Models of these descriptions are those that are minimum in an observationally-defined pre-order. We characterise these models and give examples. This provides a mathematical account of various phenomena encountered in logical developments in Artificial Intelligence, and in the foundations of revision-based logic.

Original language	English
Title of host publication	HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Publisher	EasyChair
Pages	289-305
Number of pages	16
Publication status	Published - 12 Feb 2014

Access to Document

Cite this

@inbook{b7adae3cab50406282de271402237929,

title = "A note on logical description, observational orders and minimum models",

abstract = "In this note, we present an account of logical descriptions which consist of sets of formulae defining the current state of a system. Models of these descriptions are those that are minimum in an observationally-defined pre-order. We characterise these models and give examples. This provides a mathematical account of various phenomena encountered in logical developments in Artificial Intelligence, and in the foundations of revision-based logic.",

author = "D Rydeheard and JHD Sanchez and Andrei Voronkov and Margarita Korovina",

year = "2014",

month = feb,

day = "12",

language = "English",

pages = "289--305",

booktitle = "HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday",

publisher = "EasyChair",

address = "United Kingdom",

}

TY - CHAP

T1 - A note on logical description, observational orders and minimum models

AU - Rydeheard, D

AU - Sanchez, JHD

A2 - Voronkov, Andrei

A2 - Korovina, Margarita

PY - 2014/2/12

Y1 - 2014/2/12

N2 - In this note, we present an account of logical descriptions which consist of sets of formulae defining the current state of a system. Models of these descriptions are those that are minimum in an observationally-defined pre-order. We characterise these models and give examples. This provides a mathematical account of various phenomena encountered in logical developments in Artificial Intelligence, and in the foundations of revision-based logic.

AB - In this note, we present an account of logical descriptions which consist of sets of formulae defining the current state of a system. Models of these descriptions are those that are minimum in an observationally-defined pre-order. We characterise these models and give examples. This provides a mathematical account of various phenomena encountered in logical developments in Artificial Intelligence, and in the foundations of revision-based logic.

M3 - Chapter

SP - 289

EP - 305

BT - HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday

PB - EasyChair

ER -

A note on logical description, observational orders and minimum models

Abstract

Access to Document

Fingerprint

Cite this