
Answer Set Programming (ASP), is a well- known approach to declarative problem solving that has been successfully employed in many application areas. Among them is Visual Question Answering (VQA),which is concerned with answering a question, posed in natural language, about a visual scene shown in an image or possibly also in a video sequence. VQA is a challenging task that requires processing multi-modal input and reasoning capabilities to obtain the correct answer. In this talk, we consider VQA using ASP in a modular neuro- symbolic architecture that comprises both subsymbolic components, based on neural networks, and symbolic reasoning components that use ASP. We discuss explanation finding as a use case, which benefit from the versatility of ASP and the rich landscape of ASP extensions, and briefly touch our ongoing work on exploiting LLMs for VQA.
Thomas Eiter是奥地利维也纳科技大学计算机科学教授、维也纳科技大学知识系统实验室主任、维也纳科技大学逻辑与计算研究所所长;也是奥地利科学院院士,欧洲科学院院士,ACM Fellow、ECCAl Fellow,国际逻辑编程学会(ALP) 主席、国际人工智能促进会(AAAI)执委、奥地利人工智能学会执委、IJCAI理事会成员(2016-2021), IJCAI 2019 大会主席, JAIR副主编,曾分别获得2001年 IJCAI 杰出论文奖和2002年 AAAI 杰出论文奖。在Artif. Intell.等刊物和IJCAI、AAAI、KR 等会议发表学术论文400多篇,研究兴趣包括:知识表示与推理、计算逻辑、人工智能中的算法和复杂性等。 http://www.kr.tuwien.ac.at/staff/eiter