| 1. |
- Cantwell, John
(författare)
-
Logics of belief change without linearity
- 2000
-
Ingår i: Journal of Symbolic Logic (JSL). - : Cambridge University Press (CUP). - 0022-4812 .- 1943-5886. ; 65:4, s. 1556-1575
-
Tidskriftsartikel (refereegranskat)abstract
- Ever since [4]. systems of spheres have been considered to give an intuitive and elegant way to give a semantics for logics of theory- or belief- change, Several authors [5.11] have considered giving up the rather strong assumption that systems of spheres be linearly ordered by inclusion, These more general structures are called hypertheories after [8]. It is shown that none of the proposed logics induced by these weaker structures are compact and thus cannot be given a strongly complete axiomatization in a finitary logic, Complete infinitary axiomatizations are given for several intuitive logics based on hypertheories that are not linearly ordered bq inclusion.
|
|
| 2. |
- Cantwell, John
(författare)
-
Non-linear belief revision : Foundations and applications : by John Cantwell
- 2000
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Three structures for belief revision: plausability relations on states, relations of epistemic entrenchment on propositions and systems of spheres (hypertheories), are generalised to the non-linear (non-connected) case. The further generalisation to the case of sets of such structures is also investigated. A formal language with dynamic and doxastic (belief) modal operators (DDL) is used to establish interdefinability properties between the structures and complete axiomatisations are given. The problem of iterated belief revision on non-linear structures is considered. The ideas and results of Darwiche & Pearl (1997) for iterated belief revision on linear structures are generalised to the non-linear case and axiomatisations in DDL are given. The structures and results are used to investigate a particular application: the problem when there are multiple, possibly unreliable and possibly contradictory sources of information. A trustworthiness relation on sources of information together with the information supplied by the sources is used to generate a non-linear plausibility relation on states and forms the basis for a decision procedure about what to believe. A DDL-style language with multiple non-prioritised revision operators is used to investigate the resulting structures and complete axiomatisations are given.
|
|
| 3. |
- Cantwell, John
(författare)
-
On the foundations of pragmatic arguments
- 2003
-
Ingår i: Journal of Philosophy. - : Philosophy Documentation Center. - 0022-362X .- 1939-8549. ; 100:8, s. 383-402
-
Tidskriftsartikel (refereegranskat)
|
|
| 4. |
- Hansson, Sven Ove, et al.
(författare)
-
Credibility limited revision
- 2001
-
Ingår i: Journal of Symbolic Logic (JSL). - : Cambridge University Press (CUP). - 0022-4812 .- 1943-5886. ; 66:4, s. 1581-1596
-
Tidskriftsartikel (refereegranskat)abstract
- Five types of constructions are introduced for non-prioritized belief revision, ie:, belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.
|
|
| 5. |
|
|
