Presentation information

General Session

General Session » J-4 Knowledge utilization and sharing

[1O4-GS-4] Knowledge utilization and sharing: Semantic web (1)

Tue. Jun 9, 2020 3:20 PM - 4:40 PM Room O (jsai2020online-15)


3:40 PM - 4:00 PM

[1O4-GS-4-02] Knowledge reasoning of detective novels by abduction, SAT problem and BERT model

Reasoning the same as Sherlock Holmes ~the Second Knowledge Graph Reasoning Challenge 2019~

〇Koutarou Tamura1,2, Mitsuhiro Tsunoda2, Yasunori Hokazono2 (1. NRI digital, Ltd., 2. Nomura Research Institute, Ltd.)

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.