New frontiers in artificial intelligence : JSAI-isAI 2020 workshops, JURISIN, LENLS 2020 workshops, virtual event, November 15-17, 2020, revised selected papers / / edited by Naoaki Okazaki [and three others]

• Pubblicazione: Cham, Switzerland : , : Springer, , [2021]; ©2021
• Descrizione fisica: 1 online resource (306 pages)
• Disciplina: 006.3
• Soggetto topico: Artificial intelligence
• Persona (resp. second.): OkazakiNaoaki
• Nota di contenuto: Intro -- 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.
• Titolo autorizzato: New Frontiers in Artificial Intelligence
• ISBN: 3-030-79942-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996464503503316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 12758.