Identifying efficient abductive hypotheses using multicriteria dominance relation

DOI10.1145/2629669MaRDI QIDQ2946739zbMATH OpenOpenAlexFDO

Authors Maciej Komosiński, Adam Kups, Dorota Leszczyńska-Jasion, Mariusz Urbański

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2629669

zbMATH Keywords

abductiondominance relationmulticriteria optimizationsynthetic tableau method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1926642
• Abductive reasoning in explanation problems of an observed effect
• Systems of argumentation and abduction inference
• scientific article; zbMATH DE number 1568684
• Competing hypotheses and abductive inference

Cites work

• A Formal Logic for Abductive Reasoning
• Abduction in classification tasks
• Abductive cognition. The epistemological and eco-cognitive dimensions of hypothetical reasoning
• Abductive reasoning. Logical investigations into discovery and explanation
• Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
• Evolutionary Algorithms for Solving Multi-Objective Problems
• First order abduction via tableau and sequent calculi
• Handbook of metaheuristics
• Handbook of proof theory
• scientific article; zbMATH DE number 5194680 (Why is no real title available?)
• scientific article; zbMATH DE number 1962077 (Why is no real title available?)
• scientific article; zbMATH DE number 1926642 (Why is no real title available?)
• scientific article; zbMATH DE number 834571 (Why is no real title available?)
• scientific article; zbMATH DE number 2209173 (Why is no real title available?)
• Metaheuristics. From design to implementation.
• Multicriteria decision aid and artificial intelligence. Links, theory and applications
• Multicriteria Optimization
• The complexity of logic-based abduction
• The computational complexity of abduction
• Towards feasible solutions of the tautology problem

Cited in

(5)

• An adaptive reasoning approach towards effficient ordering of composite hypotheses
• Synthetic tableaux: Minimal tableau search heuristics
• An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
• On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations
• Automated generation of erotetic search scenarios: classification, optimization, and knowledge extraction

This page was built for publication: Identifying efficient abductive hypotheses using multicriteria dominance relation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946739)