Title
Automated Reasoning in the Wild
Abstract
This paper discusses 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.
Year
DOI
Venue
2015
10.1007/978-3-319-21401-6_3
Lecture Notes in Artificial Intelligence
Field
DocType
Volume
Automated reasoning,Deontic logic,Question answering,First order,Computer science,Natural language question answering,Algorithm,Cognitive computing
Conference
9195
ISSN
Citations 
PageRank 
0302-9743
1
0.36
References 
Authors
18
3
Name
Order
Citations
PageRank
Ulrich Furbach163988.23
Björn Pelzer211410.64
Claudia Schon3165.73