New Frontiers in Artificial Intelligence: JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15–17, 2020, Revised Selected Papers (Lecture Notes in Computer Science)

Preface
Organization
Contents
LENLS
	Logic and Engineering of Natural Language Semantics (LENLS) 17
	1 The Workshop
	2 Acknowledgements
A Semantics for ``Typically\'\' in First-Order Default Reasoning
	1 Introduction
	2 Notions We Combine
		2.1 Two Embeddings of First-Order Logic in First-Order Modal Logic
		2.2 Conditional Logic and Typically Implies
	3 Atypical and Non-atypical Sets
	4 The Semantics of Friedman et al.
	5 Semantics for Conditional Logic with Fitting\'s Embedding
		5.1 Moving to Satisfaction on Sets
		5.2 Fitting-Twisted Semantics of First-Order Conditional Logic
		5.3 Interesting Special Cases When A4 is Satisfied
		5.4 Further Examples
	6 Conclusions
	References
On Dialogue Modeling: A Dynamic Epistemic Inquisitive Approach
	1 Introduction
	2 Negotiation Phases and Dialogue Gameboard
	3 Inquisitive Semantics
	4 Dialogue Participant\'s Epistemic State
	5 Dialogue Dynamics and Context Updating
	6 A Complete Example: Cheryl\'s Birthday
	7 Comparision with Previous Work
	8 Conclusion
	References
Knowledge Acquisition from Natural Language with Treebank Semantics and Flora-2
	1 Introduction
	2 Reaching Database Content
	3 Using the Obtained Database Content
		3.1 Path Expressions
	4 A Note to Consider Alternatives
	5 Conclusion
	References
The Explicated Addressee: A (Mainly) Pragmatic Account of Japanese ka-Questions
	1 Introduction
	2 The Data
		2.1 Japanese ka-Questions and Honorification
		2.2 Honorification is a Root Clause Phenomenon
		2.3 Daroo/Desyoo in Declaratives and Questions
	3 Earlier Theories
	4 Analysis
		4.1 The Explicated Addressee
		4.2 Asking a ka question
		4.3 Daroo: Orientation and Honorification
		4.4 Predictions
	5 Summary
	References
Superlative Modifiers as Concessive Conditionals
	1 Introduction
	2 Previous Approaches
		2.1 Modal Approach
		2.2 Disjunction Approach
		2.3 Summary
	3 Proposal
		3.1 Ingredients
		3.2 Deriving AtLeast Without Superlative Morpheme
	4 Explaining the Data
	5 Further Predictions
		5.1 Sukunakutomo with
		5.2 Mo and Superlativity
	6 Conclusion
	References
Polynomial Event Semantics: Negation
	1 Introduction
	2 Event Quantification Problem
	3 Polynomial Event Semantics
		3.1 Polyconcepts
		3.2 Quantification
		3.3 Existential Quantification and Entailment
	4 Negation
		4.1 Scope Ambiguities with Quantified Adverbial Modifiers
		4.2 Double Negation
	5 A Model of Polyconcepts
	6 Related Work
	7 Conclusions
	References
Experiential Imagination and the Inside/Outside-Distinction
	1 Introduction
	2 Experiential and Parasitic Imagining
		2.1 Experientiality
		2.2 Counterfactual Parasitism
	3 Self-Imagination and Experiential Parasitism
		3.1 Imagining de se
		3.2 Experientially Parasitic de se-Imagining
	4 Multiply Parasitic Imagining and Constraints on de se-Ascription
	5 Applications
		5.1 Vendler and Walton\'s Disagreement
		5.2 Remembering `From the Outside\'
	6 Outlook
	References
Against the Multidimensional Approach to Honorific Meaning: A Solution to the Binding Problem of Conventional Implicature
	1 Introduction
	2 Basic Assumptions
		2.1 The Logical Representation of Honorific Meaning
		2.2 The Status of Honorific Meaning
	3 The Two Approaches
		3.1 The Multidimensional Approach
		3.2 The Unidimensional Approach
	4 The Binding Problem for Honorific Meaning
	5 A Note on Sudo\'s Anaphora-Based Solution of the Binding Problem
	6 Summary
	References
A Persona-Based Analysis of Politeness in Japanese and Spanish
	1 Introduction
	2 Evidence
		2.1 Japanese
		2.2 Spanish
		2.3 Interim summary
	3 A Bayesian Dynamic Pragmatics Account of Politeness
		3.1 Dynamic Pragmatics
		3.2 Discussion
	4 Dynamic update as Persona learning
	5 Conclusion and Theoretical Implications
	References
JURISIN2020
	Fourteenth International Workshop on Juris-Informatics (JURISIN 2020)
AI and Judicial Policy
	1 Preface
	2 Application of IT to Court
		2.1 Video Link System, Triophone
		2.2 Judicial System Reform – “The Supreme Court to Judge the Memories of the Case.”
		2.3 Headquarters for Japan’s Economic Revitalization
	3 Cyber Court Research in Japan
		3.1 Thumbnail Software
		3.2 Annotation Software
	4 3 Types of Digitizing of Court [10]
		4.1 American Type
		4.2 German Type
		4.3 Spanish Type - ARCONTE
	5 AI and Trial
		5.1 Definition of AI
		5.2 Possibility of AI and Judicial Policy
	6 Conclusion
	References
Differential Translation for Japanese Partially Amended Statutory Sentences
	1 Introduction
	2 Task Definition
		2.1 Partial Amendment in Japanese Legislation
		2.2 Objective
	3 Related Work
		3.1 Template-Aware Statistical Machine Translation
		3.2 Neural Machine Translation
	4 Proposed Method
		4.1 Translation Procedure
		4.2 Focality Criterion
	5 Experiment
		5.1 Outline
		5.2 Results
		5.3 Discussion
	6 Summary
	References
Aspect Classification for Legal Depositions
	1 Introduction
	2 Related Work
	3 Methods
		3.1 Aspects Ontology
		3.2 Aspect Classification
		3.3 Canonical Representation
	4 Dataset
	5 Experiment Setup and Results
		5.1 Experimental Setup
		5.2 Results and Discussion
		5.3 Error Analysis
	6 Conclusion and Future Work
	References
COLIEE 2020: Methods for Legal Document Retrieval and Entailment
	1 Introduction
	2 Task 1 - Case Law Information Retrieval
		2.1 Task Definition
		2.2 Dataset
		2.3 Approaches
		2.4 Results
	3 Task 2 - Case Law Entailment
		3.1 Task Definition
		3.2 Dataset
		3.3 Approaches
		3.4 Results
	4 Task 3 - Statute Law Retrieval
		4.1 Task Definition
		4.2 Dataset
		4.3 Approaches
		4.4 Results
	5 Task 4 - Statute Law Entailment
		5.1 Task Definition
		5.2 Dataset
		5.3 Approaches
		5.4 Results
	6 Final Remarks
	References
COLIEE 2020: Legal Information Retrieval and Entailment with Legal Embeddings and Boosting
	1 Introduction
		1.1 Contributions
	2 Related Work
	3 Legal Embeddings
	4 Task 1: Case Law Information Retrieval
		4.1 Methodology
		4.2 Experimental Setup
		4.3 Results
	5 Task 2: Case Law Entailment
		5.1 Methodology
		5.2 Experimental Setup
		5.3 Results
	6 Task 3: Statute Law Information Retrieval
		6.1 Methodology
		6.2 Experimental Setup
		6.3 Results
	7 Task 4: Statute Law Entailment
		7.1 Methodology
		7.2 Experimental Setup
		7.3 Results
	8 Conclusion
	References
BERT-Based Ensemble Model for Statute Law Retrieval and Legal Information Entailment
	1 Introduction
	2 Competition Data and Task Description
	3 Data Preprocessing
	4 Model Training and the Result
	5 TASK 4: Yes/No Question Answering
	6 Failure Analysis: Problems of Extraction-Based Question Answering
	7 Conclusion
	References
The Application of Text Entailment Techniques in COLIEE 2020
	1 Introduction
	2 Related Work
		2.1 Open-Domain Textual Entailment
		2.2 Case Law Textual Entailment
		2.3 Statute Law Textual Entailment
	3 Text Entailment in COLIEE 2020
		3.1 Case Law Entailment
		3.2 Statute Law Entailment
	4 Results
		4.1 Case Law Entailment
		4.2 Statute Law Entailment
	5 Conclusions
	References
Information Extraction/Entailment of Common Law and Civil Code
	1 Introduction
	2 Task 1: The Legal Case Retrieval Task
		2.1 Experiments
		2.2 Results
	3 Task 2: Legal Case Entailment
		3.1 Experiments and Results
	4 Task 3: Civil Code Article Retrieval
		4.1 Experiments
		4.2 Results
	5 Task 4: Civil Code Entailment
		5.1 Experiments
		5.2 Results
		5.3 Discussion
	6 Summary
	References
Paragraph Similarity Scoring and Fine-Tuned BERT for Legal Information Retrieval and Entailment
	1 Introduction
	2 Task 1 - The Legal Case Retrieval Task
		2.1 Task Description
		2.2 Methodology
		2.3 Results
		2.4 Discussion
	3 Task 2 - The Legal Case Entailment Task
		3.1 Task Description
		3.2 Methodology
		3.3 Results
		3.4 Discussion
	4 Task 3 - Statutory Law Retrieval Task
		4.1 Task Description
		4.2 Methodology
		4.3 Results
		4.4 Discussion
	5 Task 4 - Statutory Law Entailment Task
		5.1 Task Description
		5.2 Methodology
		5.3 Results
		5.4 Discussion
	6 Conclusions
	References
Using BERT and TF-IDF to Predict Entailment in Law-Based Queries
	1 Background
	2 Methods and Implementation
		2.1 Task 3: Statute Law Information Retrieval
		2.2 Task 4: Statute Law Entailment
	3 Results
		3.1 Task 3: Statute Law Information Retrieval
		3.2 Task 4: Statute Law Entailment
	References
Author Index