Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction

Meheus, Joke; Verhoeven, Liza; Dyck, Maarten Van; Provijn, Dagmar

doi:10.1007/978-94-010-0550-0_3

Cited by 50 publications

(34 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…16. Many interesting relationships between model-based reasoning in creative reasoning and its possible deductive models are analyzed in Batens (2006), Meheus (1999), Meheus et al (2002), Meheus and Batens (2006), also related to the formal treatment of inconsistencies. 17.…”

Section: Notesmentioning

confidence: 99%

External diagrammatization and iconic brain co-evolution

Magnani

2011

Semiotica

View full text Add to dashboard Cite

Our brains make up a series of signs and are engaged in making or manifesting or reacting to a series of signs: through this semiotic activity they are at the same time engaged in "being minds." An important effect of this semiotic activity of brains is a continuous process of "externalization of the mind" that exhibits a new cognitive perspective on the mechanisms underlying the semiotic emergence of abductive processes of meaning formation. I consider this process of externalization interplay critical in analyzing the relation between meaningful semiotic internal resources and devices and their dynamical interactions with the externalized semiotic materiality suitably stocked in the environment. The last part of the paper will describe some aspects of this interplay between external diagrammatization and internal recapitulation showing the specificity of their co-evolution.

show abstract

Section: Notesmentioning

confidence: 99%

External diagrammatization and iconic brain co-evolution

Magnani

2011

Semiotica

View full text Add to dashboard Cite

show abstract

“…Moreover, this characterization led for several systems to an interesting strengthening or variant. Among the finished results are [14,18,22,49] for the consequence relations from [23,24,44]; [35,36] for [50]; [40] for [1] and other logic based approaches to abduction (see [42]); [39] for the notion of empirical progress from [31]; [37] for [28,41]; [9,30] for default reasoning and circumscription respectively (see [3,27,33]); [47,48] for prioritized consequence relations. Work in progress concerns default reasoning and the signed systems from [25].…”

Section: The Problemmentioning

confidence: 99%

A procedural criterion for final derivability in inconsistency-adaptive logics

Batens

2005

Journal of Applied Logic

View full text Add to dashboard Cite

This paper concerns a (prospective) goal directed proof procedure for the propositional fragment of the inconsistency-adaptive logic ACLuN1. At the propositional level, the procedure forms an algorithm for final derivability. If extended to the predicative level, it provides a criterion for final derivability. This is essential in view of the absence of a positive test. The procedure may be generalized to all flat adaptive logics. The problemInference relations for which there is no positive test abound in both everyday and scientific reasoning processes. 1 Adaptive logics are a means for characterizing such inference relations. The characterization has a specific metalinguistic standard format. This format provides the logic with a semantics and with a proof theory, and warrants soundness, completeness, and a set of properties of the logic. 2 The first adaptive logics were inconsistency-adaptive. The articulation of other adaptive logics provided increasing in-E-mail address: Diderik.Batens@ugent.be (D. Batens). 1 A positive test is a systematic procedure that, for every set of premises Γ and for every conclusion A, leads after finitely many steps to a "yes" if A is a consequence of Γ . Remark that the consequence relation defined by classical logic is undecidable, but that there is a positive test for it-see [26] for such matters.2 Onlypart of these results are written up, viz. in [17].1570-8683/$ -see front matter 

show abstract

“…Various procedures for generation of abducibles have been proposed so far; some are designed for Classical Propositional Calculus (CPC for short) [1], others for more sophisticated propositional logics [29,26] or for first-order logic [16,25,28]. Those procedures, which are defined in a strictly logical setting, use, for example, the proof methods of analytic tableaux [1,26,25], of sequent calculi [26,25], or the dynamic proof method of adaptive logics [29,28].…”

Section: Introductionmentioning

confidence: 99%

“…Those procedures, which are defined in a strictly logical setting, use, for example, the proof methods of analytic tableaux [1,26,25], of sequent calculi [26,25], or the dynamic proof method of adaptive logics [29,28]. In this paper we will consider an implementation of a procedure generating abductive hypotheses for CPC.…”

Section: Introductionmentioning

confidence: 99%

Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation

Komosiński

Kups

Leszczyńska-Jasion

et al. 2014

ACM Trans. Comput. Logic

View full text Add to dashboard Cite

In this article, results of the automation of an abductive procedure are reported. This work is a continuation of our earlier research [21], where a general scheme of the procedure has been proposed. Here, a more advanced system developed to generate and evaluate abductive hypotheses is introduced. Abductive hypotheses have been generated by the implementation of the Synthetic Tableau Method. Before the evaluation, the set of hypotheses has undergone several reduction phases. To assess usefulness of abductive hypotheses in the reduced set, several criteria have been employed. The evaluation of efficiency of the hypotheses has been provided by the multi-criteria dominance relation. To comprehend the abductive procedure and the evaluation process more extensively, analyses have been conducted on a number of artificially generated abductive problems.

show abstract

Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction

Cited by 50 publications

References 18 publications

External diagrammatization and iconic brain co-evolution

External diagrammatization and iconic brain co-evolution

A procedural criterion for final derivability in inconsistency-adaptive logics

Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation

Contact Info

Product

Resources

About