• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Causal discovery using adaptive logics. Towards a more realistic heuristics for human causal learning. Logique et Analyse, 185–188:5–32, 2004. Appeared 2005 (0)

by Maarten Van Dyck
Add To MetaCart

Tools

Sorted by:
Results 1 - 1 of 1

On the transparency of defeasible logics: Equivalent premise sets, equivalence of their extensions, and maximality of the lower limit

by Diderik Batens, Christian Straßer, Peter Verdée
"... For Tarski logics, there are simple criteria that enable one to conclude that two premise sets are equivalent. We shall show that the very same criteria hold for adaptive logics, which is a major advantage in comparison to other approaches to defeasible reasoning forms. A related property of Tarski ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
For Tarski logics, there are simple criteria that enable one to conclude that two premise sets are equivalent. We shall show that the very same criteria hold for adaptive logics, which is a major advantage in comparison to other approaches to defeasible reasoning forms. A related property of Tarski logics is that, the extensions of equivalent premise sets with the same set of formulas are equivalent premise sets. This does not hold for adaptive logics. However a very similar criterion does. We also shall show that every monotonic logic weaker than an adaptive logic is weaker than the lower limit logic of the adaptive logic or identical to it. This highlights the role of the lower limit for settling the adaptive equivalence of extensions of equivalent premise sets. 1 Formats for Logics for Plausible Reasoning This paper has a specific and a more general aim. The specific aim is related to determining whether two premise sets are equivalent with respect to logics that explicate defeasible reasoning forms—henceforth DRF. We shall show that adaptive logics are superior to other formats in this respect. The more general aim is to highlight the advantages of the adaptive logic program with respect to other approaches to DRF. Let us compare the situation with Tarski logics, logics the consequence relation of which is Reflexive, Transitive and Monotonic. A variety of formulations has been developed: axiomatic, Fitch-style, Gentzen-style, etc. Each of these have their stronger points. The variety, however, is only apparent. First, there are relatively standard procedures that, for most logics, enable one to turn one formulation into another. Next, the different formulations are at best different ∗ Peter Verdée is a post-doctoral fellow of the Fund for Scientific Research – Flanders.
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University