Institutional Repository

Reasoning about changing information

Show simple item record Blackburn, P Jaspars, J De Rijke, M 2018-06-06T09:54:58Z 2018-06-06T09:54:58Z 1997
dc.identifier.citation Blackburn P, Jaspars J & de Rijke M. (1997) Reasoning about changing information. South African Computer Journal, Number 19, 1997 en
dc.identifier.issn 2313-7835
dc.description.abstract The purpose of these notes is two fold: (i) to give a reasonably self-contained introduction to a particular approach to theory change, known as the Alchourron-Gardenfors-Makinson (AGM) approach, and to discuss some of the alternatives, and extensions that have been proposed to it over the past few years; (ii) to relate the AGM approach to other 'information-oriented' branches of logic, including intuitionistic logic, non-monotonic reasoning, verisimilitude, and modal and dynamic logic. en
dc.language.iso en en
dc.publisher South African Computer Society (SAICSIT) en
dc.subject Theory change en
dc.subject Knowledge representation en
dc.subject Modal logic en
dc.subject Dynamic logic en
dc.title Reasoning about changing information en
dc.type Article en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


My Account