ResearchSpace
→
Browsing by Subject

Browsing by Subject "Nonmonotonic reasoning"

Now showing items 1-6 of 6

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
On the revision of action laws: an algorithmic approach

Author: Varzinczak, JJ Date: Jul 2009 Domain descriptions in reasoning about actions are logical theories and as such they may also evolve. Given that, knowledge engineers also need revision tools to incorporate new incoming laws about the dynamic environment. Here the authors ... Read more
Pertinent reasoning

Author: Britz, K ; Heidema, J ; Varzinczak, I Date: May 2010 In this paper the authors venture beyond one of the fundamental assumptions in the non-monotonic reasoning community, namely that non-monotonic entailment is supra-classical. They investigate reasoning which uses an infra-classical entailment ... Read more
A polynomial time subsumption algorithm for nominal safe ELO under rational closure

Author: Casini, G ; Straccia, U ; Meyer, Thomas A Date: Sep 2018 Description Logics (DLs) under Rational Closure (RC) is a well-known framework for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption decision problem under RC for nominal safe ELO , a notable and practically ... Read more
Practical defeasible reasoning for description logics (STAIRS)

Author: Moodley, K ; Meyer, T ; Sattler, U Date: Aug 2014 Abstract. The preferential approach to nonmonotonic reasoning was consolidated in depth by Krause, Lehmann and Magidor (KLM) for propositional logic in the early 90's. In recent years, there have been e orts to extend their framework to ... 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

Now showing items 1-6 of 6

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 Subject "Nonmonotonic reasoning"

Browsing by Subject "Nonmonotonic reasoning"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect