ResearchSpace
→
Browsing by Author

Browsing by Author "Booth, R"

Now showing items 5-17 of 17

Equilibria in social belief removal

Author: Booth, R ; Meyer, T Date: Sep 2008 In studies of multi-agent interaction, especially in game theory, the notion of equilibrium often plays a prominent role. A typical scenario for the belief merging problem is one in which several agents pool their beliefs together to form a ... Read more
Equilibria in social belief removal [Journal article]

Author: Booth, R ; Meyer, T Date: Aug 2010 In studies of multi-agent interaction, especially in game theory, the notion of equilibrium often plays a prominent role. A typical scenario for the belief merging problem is one in which several agents pool their beliefs together to form a ... Read more
A general family of preferential belief removal operators

Author: Booth, R ; Meyer, T ; Sombattheera, C Date: May 2012 Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the plausibility ordering ... Read more
General family of preferential belief removal operators

Author: Booth, R ; Meyer, T ; Sombattheera, C Date: Jul 2009 Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the plausibility ordering ... Read more
General family of preferential belief removal operators - [Workshop on LORI-II]

Author: Booth, R ; Meyer, T ; Sombattheera, C Date: Sep 2009 Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the plausibility ordering ... Read more
Horn belief change: A contraction core

Author: Booth, R ; Meyer, T ; Varzinczak, I ; Wassermann, R Date: Aug 2010 The authors show that Booth et al.’s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour through Horn contraction for belief bases, which supports the ... Read more
How to revise a total preorder

Author: Booth, R ; Meyer, T Date: Feb 2011 Most approaches to iterated belief revision are accompanied by some motivation for the use of the proposed revision operator (or family of operators), and typically encode enough information in the epistemic state of an agent for uniquely ... Read more
Next steps in propositional horn contraction

Author: Booth, R ; Meyer, T ; Varzinczak, IJ Date: Jun 2009 Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper, researchers focus on Horn logic. In addition ... Read more
On the entailment problem for a logic of typicality

Author: Booth, R ; Casini, G ; Meyer, T ; Varzinczak, I Date: Jul 2015 Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator. In spite of the non-monotonic features introduced by the semantics adopted for the typicality ... Read more
On the link between partial meet, kernel, and infra contraction and its application to horn logic

Author: Booth, R ; Meyer, T ; Varzinczak, I ; Wassermann, R Date: Sep 2011 Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive logics as well. In this paper the authors build on recent ... Read more
A propositional typicality logic for extending rational consequence

Author: Booth, R ; Meyer, T ; Varzinczak, I Date: Aug 2013 We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) ... Read more
PTL: A Propositional Typicality Logic

Author: Booth, R ; Meyer, T ; Varzinczak, I Date: Sep 2012 We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) ... Read more
What does entailment for PTL mean?

Author: Booth, R ; Casini, G ; Meyer, T ; Varzinczak, I Date: Mar 2015 We continue recent investigations into the problem of reasoning about typicality. We do so in the framework of Propositional Typicality Logic (PTL), which is obtained by enriching classical propositional logic with a typicality operator and ... Read more

Now showing items 5-17 of 17

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Tel: + 27 12 841 2911
Email: callcentre@csir.co.za

Physical Address
Meiring Naudé Road
Brummeria
Pretoria
South Africa

Postal Address
PO Box 395
Pretoria 0001
South Africa

Social Connect

Resources on this site are free to download and reuse according to associated licensing provision. Please read the terms and conditions of usage of each resource.

Browsing by Author "Booth, R"

Browsing by Author "Booth, R"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect