![]() |
![]() |
University of Birmingham > Talks@bham > Computer Science Departmental Series > Automated Reasoning in the Wild
Automated Reasoning in the WildAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Mohammad Tayarani. Host: Dr. Manfred Kerber In this talk we discuss the use of first order automated reasoning in question answering and cognitive computing. For this the natural language question answering project LogAnswer is briefly depicted and the challenges faced therein are addressed. This includes a treatment of query relaxation, web-services, large knowledge bases and co-operative answering. In a second part a bridge to human reasoning as it is investigated in cognitive psychology is constructed by using standard deontic logic. This talk is part of the Computer Science Departmental Series series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsNanoscale Physics Seminars School of Mathematics Events Analysis SeminarOther talksTheory: This is moved to next year, 2023 ! TBC Seminar: TBA The science of the large scale heliosphere and the missions that made it possible Colloquium: TBA Quantum technologies funding by EPSRC for academic-led research |