No. 057 Towards Explanation Production Combining Natural Language Processing and Logical Reasoning

Icon

NII Shonan Meeting Seminar 057

Schedule

November 26 (Wed)
15:00 check-in
19:00-21:00 Welcome Reception
21:00-23:00 Night Session

November 27 (Thu)
07:30-09:00 Breakfast
09:00-09:10 Introduction movie of NII Shonan Meeting
09:10-10:30 Brief Introduction of Your Presentation (in 3 minutes)
10:30-11:00 Break

11:00-12:00
Robert Kowalski
Computational Logic and its Relationship with Guidelines for English Writing Style

Bart Verheij
Arguments for Structured Hypotheses: A Logico-Probabilistic Perspective

12:00-13:30 Lunch

13:30-15:30
Bernardo Magnini, Ido Dagan, Guenter Neumann, Sebastian Pado
EXCITEMENT: EXploring Customer Interactions through Textual EntailMENT

Bernardo Magnini
Decomposing Semantic Inferences

Ido Dagan
Natural Language Knowledge Graphs: Open-IE meets Knowledge Representation

Randy Goebel
Identifying the Tradeoffs in Textual Entailment: Deep Representation versus Shallow Entailment

15:30-16:00 Break
16:00-17:00
Nguyen Le Minh (joint work with Akira Shimazu)
Learning to Parse Legal Sentences to Logical Form Representations

Yuji Matsumoto
Parsing Long and Complex Natural Language Sentences

17:00-18:00 Discussion
Question:
Can you please note your immediate observations about your original expectations for the workshop, and how they have so far been changed or adjusted?

18:00-19:30 Dinner
21:00-23:00 Night Session

November 28 (Fri)
07:30-09:00 Breakfast
09:00-10:30
Chitta Baral
Explanation Producing Combination of NLP and Logical Reasoning through Translation of Text to KR Formalisms

Kentaro Inui
Modeling “Reading between the Lines” Based on Scalable and Trainable Abduction and Large-scale Knowledge Acquisition

Ken Satoh
Towards Explanation Production of Yes/No Questions in Multiple Choice Bar Exam

10:30-11:00 Break
11:00-12:00 Discussion
Question:
From discussions and presentations so far, what are the measures that could be used to guide the pursuit of the engineering of systems that provide natural language explanations?
Are there underlying scientific challenges which delimit possible scientific measures?

12:00-13:30 Lunch
13:30-15:30
Yuzuru Tanaka
How to Promote the R&D on Open Source Watson-like Systems based on the Combination of Natural Language Processing and Logical Reasoning?

Akiko Aizawa
Linguisti Approach to Math Formula Search

Yusuke Miyao
Fact Validation by Textual Entailment Recognition

Akihiro Yamamoto (Joint work with Madori Ikeda)
Identifying Appropriate Concepts for Unknown Words with Formal Concept Analysis

15:30-16:00 Break
16:00-18:00 Discussion
Question:
Now at the end of the second day, what concepts have emerged to be most important so far?

18:00-19:30 Dinner
21:00-23:00 Night Session

November 29 (Sat)
07:30-09:00 Breakfast
09:30-10:30
Erich Schweighofer
Logic and Semantics in Legal Text Corpora: The Dynamic Legal Electronic Commentary

Sadao Kurohashi
Knowledge-Intensive Structural NLP in the Era of Big Data

10:30-11:00 Break
11:00-12:00 Discussion
Question:
What major themes have emerged as a result of the meeting?

12:00-13:30 Lunch
13:30-19:00 Excursion
19:00-21:30 Banquet

November 30 (Sun)
07:30-09:00 Breakfast
09:00-10:30
Guenter Neumann
Interactive Text Exploration

Satoshi Tojo
Agent Communication and Belief Change

Yu Asano
Explanation Production with Open Data: Approach for Querying RDF Data by Using Natural Language

10:30-11:00 Break
11:10-12:00 Wrapping-up
Question:
What are the major themes developed during the meeting that will impact your future research trajectories (if any)?

12:00-13:30 Lunch
13:30-14:00 Good-bye(Farewell)