Sökning: onr:"swepub:oai:DiVA.org:hj-63554" >
A Logic-based Appro...
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering
-
- Eiter, Thomas (författare)
- Institute for Logic and Computation, TU Wien, Vienna, Austria
-
- Geibinger, Tobias (författare)
- Institute for Logic and Computation, TU Wien, Vienna, Austria
-
- Higuera, Nelson (författare)
- Institute for Logic and Computation, TU Wien, Vienna, Austria
-
visa fler...
-
- Oetsch, Johannes (författare)
- Institute for Logic and Computation, TU Wien, Vienna, Austria
-
visa färre...
-
(creator_code:org_t)
- International Joint Conferences on Artificial Intelligence, 2023
- 2023
- Engelska.
-
Ingår i: IJCAI International Joint Conference on Artificial Intelligence. - : International Joint Conferences on Artificial Intelligence. - 9781956792034 ; , s. 3668-3676
- Relaterad länk:
-
https://doi.org/10.2...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.2...
-
visa färre...
Abstract
Ämnesord
Stäng
- Visual Question Answering (VQA) is a well-known problem for which deep-learning is key. This poses a challenge for explaining answers to questions, the more if advanced notions like contrastive explanations (CEs) should be provided. The latter explain why an answer has been reached in contrast to a different one and are attractive as they focus on reasons necessary to flip a query answer. We present a CE framework for VQA that uses a neurosymbolic VQA architecture which disentangles perception from reasoning. Once the reasoning part is provided as logical theory, we use answer-set programming, in which CE generation can be framed as an abduction problem. We validate our approach on the CLEVR dataset, which we extend by more sophisticated questions to further demonstrate the robustness of the modular architecture. While we achieve top performance compared to related approaches, we can also produce CEs for explanation, model debugging, and validation tasks, showing the versatility of the declarative approach to reasoning.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Logic programming
- Query processing
- Answer set programming
- Logic-based approach
- Logical theories
- Modular architectures
- Performance
- Question Answering
- Deep learning
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas