Keywords:Knowledge Graph, Predicate logic, Abduction, Satisfiability Problem
Logic and its structure embedded in the sentence are intensively investigated to grasp sentence semantics in natural language processing. We focused on knowledge processing of reasoning in detective novels as an example of semantics analysis based on logics and reasoning with logics. We define the process of reasoning with predicate logics, and solved a problem to identify the criminals as a hypothetical reasoning and SAT problem. As logical conclusions of given natural sentences described in 5 detective novels and some external knowledge, we demonstrated our proposed method could identify the criminals and result in interpretable solution. Also, our method can show all possible solutions resulted due to lack of input information and what additional information is necessary for obtaining unique solution.
Authentication for paper PDF access
A password is required to view paper PDFs. If you are a registered participant, please log on the site from Participant Log In.
You could view the PDF with entering the PDF viewing password bellow.