A logical framework for user-feedback dialogues on hypotheses in weighted abduction

DOI10.1007/978-3-031-45608-4_4MaRDI QIDQ6587903zbMATH OpenFDO

Authors Shota Motoura, Ayako Hoshino, Itaru Hosomi, Kunihiko Sadamasa

Publication date 15 August 2024

zbMATH Keywords

hypothesisfeedbackabductiondialoguelogic

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Abduction and dialogical proof in argumentation and logic programming
• Between sentential and model-based abductions: a dialogical approach
• Conjecturing hypotheses in a dialogical logic for abduction. With a response by John Woods
• Abduction in argumentation frameworks

Cites work

• A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation

This page was built for publication: A logical framework for user-feedback dialogues on hypotheses in weighted abduction

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