Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logic and Engineering of Natural Language Semantics : 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers
| Logic and Engineering of Natural Language Semantics : 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers |
| Autore | Bekki Daisuke |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer, , 2024 |
| Descrizione fisica | 1 online resource (363 pages) |
| Altri autori (Persone) |
MineshimaKoji
McCreadyElin |
| Collana | Lecture Notes in Computer Science Series |
| ISBN | 3-031-60878-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- LENLS 20: Twenty Years of Logic and Language -- Organization -- Contents -- Putting the Argumentative Perspective Under Discussion - QUD vs. Argumentative Goals -- 1 The Argumentative Perspective on Language -- 2 QUD and Argumentative Goals -- 3 At-Issueness and Argumentation -- 4 Projective Content in Argumentation -- 5 A Revised Typology of Meaning -- References -- Perspective and the Self in Experiential Attitude Reports -- 1 Background -- 2 The Challenge from Observer Experiences -- 3 Capturing Perspectivity -- 4 De se-ness and Outside Imagining -- 5 Conclusion -- References -- Negation and Information Structure in Tree-Wrapping Grammar -- 1 Introduction -- 1.1 `Types' of Negation -- 1.2 Focus and Negation -- 2 Natural Language Negation and Pragmatic Structuring -- 3 Formal Modeling -- 3.1 Role and Reference Grammar -- 3.2 Formal Specification of the Grammar -- 3.3 Negation in Formalized RRG Using TWG -- 4 Further Phenomena -- 4.1 Denial and Correction -- 4.2 Negation and Morphosyntactic Restrictions -- 5 Conclusions -- References -- Towards a Theory of Anaphoric Binding in Event Semantics -- 1 Introduction -- 2 Polynomial Event Semantics: Brief Reminder -- 3 Polyconcepts in Context: Relative Denotations -- 4 Nominal Pronouns and Referents -- 4.1 Bound Variable Anaphora -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Matrix and Relative Weak Crossover on the Level of the Individual: An Experimental Investigation -- 1 Introduction -- 2 Background -- 2.1 Dependent Type Semantics -- 2.2 The LFS Method -- 3 Design of Experiment -- 3.1 Forms of Sentences -- 3.2 X and Y for BVA(X, Y) -- 3.3 The Method of Conveying Interpretations -- 3.4 Further Details -- 4 Results -- 5 Conclusion -- References -- Additivity in Attention Semantics -- 1 Introduction -- 2 The Base Case of Obligatory Additive Marking.
3 Implicature-Based Accounts and Problematic Cases -- 4 Proposal -- 4.1 Attention Semantics and Pragmatics -- 4.2 State-Based Semantics -- 4.3 Lexical Specifications for the Attention Dimension -- 4.4 Discourse Management -- 4.5 Conversational Maxims -- 4.6 Answerability -- 5 Predictions -- 5.1 The `At Least' Case (5) -- 5.2 The Indefinite Case (6) -- 5.3 The Conjunction Case (8) -- 6 Conclusion -- References -- Extending Abstract Categorial Grammars with Feature Structures: Theory and Practice -- 1 Introduction -- 1.1 Abstract Categorial Grammar -- 1.2 Morphosyntax and Grammars -- 2 Proposed Extension -- 2.1 Modeling Feature Structures -- 2.2 Extended Abstract Categorial Grammar -- 3 Theoretical Results -- 3.1 Expressive Power -- 3.2 Parsing -- 4 Experimental Results -- 4.1 Grammar Factorization -- 4.2 Text Generation Performances -- 4.3 Conclusion -- References -- An Overt Operator Associating with Covert Focus: An Even-Like Semantics for Mandarin Gèng -- 1 Introduction -- 2 Motivating an Even-Like Analysis for Gèng's Combination with Non-gradable Predicates -- 3 Pursuing an Analysis of Even-Like Particles: Two Competing Proposals of English Even -- 3.1 The Likelihood-Based Account -- 3.2 Greenbeg's ch8Greenberg2018 Degree-Based Account -- 4 Our Proposal for Gèng's Combination with Non-gradable Predicates: An Even-Like Particle à la ch8Greenberg2018's Even -- 5 Extending Our Even-Like Proposal (19) to Gèng's Combination with Gradable Adjectives -- 5.1 Two Independently Motivated Assumptions -- 5.2 Proposal: Gèng Associating with Covert COMP -- 6 A Prediction: Superlative Force of Gèng -- 7 Gèng vs. Shènzhì: Parametric Variation -- 8 Conclusion -- References -- Internal Reading and Reciprocity -- 1 Introduction -- 2 Formal Preliminaries -- 3 Basic Formal Framework for Reciprocal Items -- 4 Further Refinements of the Framework. 4.1 Reciprocal Items in Non-Object Positions -- 4.2 Conjoined Phrases Containing Reciprocal Items -- 4.3 Downward Monotonic and Non-monotonic GQs -- 4.4 Weaker Reciprocal Meaning -- 4.5 Non-NP Triggers -- 5 Conclusion -- References -- Dot-to-Dot Semantic Representation -- 1 Introduction -- 2 Background and Examples -- 3 Steps for Deriving the Analysis -- 4 An Application: Querying the Text Based Encoding -- 5 Another Application: Assisting Old Japanese Annotation -- 6 Conclusion -- References -- Intonational Meaning at the Limits of Grammar -- 1 Overview -- 2 Prosodic Morphemes in English and Japanese -- 2.1 Final Rise/Fall in English and Japanese -- 2.2 Japanese Prosodic Morphemes and Pragmatic Particles -- 2.3 Expressive and Emotive Meaning in English Intonation -- 2.4 Compositionality of Intonation and SFPs -- 3 The Meaning of yo and yo -- 3.1 Premise and Expectation Management and yo -- 3.2 Formalism -- 3.3 Remarks on the Context Model -- 3.4 Meaning of yo -- 4 Prosodic Morphemes and Asking for Sympathy -- 4.1 Uses of yo and ``Pragmatic Reasoning'' -- 4.2 The Prosodic Morpheme in English -- References -- Comparing Degree-Based and Argumentative Analyses of Even -- 1 Introduction -- 2 Theoretical Background -- 2.1 Unlikelihood-Based Accounts of Even -- 2.2 The Degree-Based Account of Even -- 2.3 The Argumentative Account of Even -- 3 Comparing the Degree-Based and the Argumentative Analysis of Even -- 3.1 Methodology -- 3.2 Accounting for the Same Data with Even -- 3.3 Structural Similarity -- 3.4 A Final Potential Similarity: Interval-Based Instead of Points-Based Scales -- 4 Challenges and Open Questions -- 4.1 Cases with Irrelevant Alternatives -- 4.2 Cases of Mirative Even -- 5 Conclusion -- References -- Appositive Projection as Implicit Context Extension in Dependent Type Semantics -- 1 Introduction. 2 Properties of Appositive Relative Clauses -- 2.1 Discourse Properties -- 2.2 Scopal Properties -- 2.3 Anaphoric Dependencies -- 3 Framework -- 3.1 Dependent Type Theory -- 3.2 Underspecified Type -- 3.3 Type Checking and @-Elimination -- 3.4 Two-Stage Validation -- 4 Proposal -- 4.1 CI Type -- 4.2 Permutation -- 5 Predictions -- 5.1 Projection -- 5.2 Intra-sentential Anaphora -- 5.3 Inter-sentential Anaphora -- 5.4 ARC + Non-referential Quantifier -- 5.5 ARC + Referential Quantifier -- 5.6 Additional Analysis: Clause-Final ARCs -- 6 Related Work -- 6.1 DTS-Based Approach -- 6.2 Dynamic Approach -- 6.3 Orphan Approach -- 7 Conclusion -- References -- On the Semantics of Dependencies: Relative Clauses and Open Clausal Complements -- 1 Introduction -- 2 Foundational Principles of a Semantic Theory of Syntactic Dependencies -- 3 Relative Clauses and Wh-Extraction -- 4 Control Verbs and Open Clausal Complements -- 5 Taking Stock: The Question of Lexical Semantics -- 6 Bringing Everything Together -- 7 Conclusions -- References -- Semantics of Propositional Attitudes in Type-Theory of Algorithms -- 1 An Overview -- 2 Some Other Approaches to Propositional Attitudes -- 3 Syntax of Type-Theory of Algorithms -- 4 Gamma-Star Reduction Calculus of LAR -- 4.1 Extended Congruence Relation Between Terms -- 4.2 Reduction Rules of Extended LAR -- 4.3 Derived Reduction Rules -- 4.4 On the Denotational Semantics -- 5 Algorithmic Syntax-Semantics in Lar -- 6 Algorithmic Syntax-Semantics of Propositional Attitudes -- 7 Relation of the Type-Theory of Algorithms with Other Type-Theories for Semantics of Programming Languages -- 8 Conclusion: The General Algorithmic Pattern -- 9 Future Work -- References -- A Structured Witness Approach to Pair-List Answers of wh-Questions with Plural Definites -- 1 Introduction -- 2 Background. 3 Proposal: The Structured Witness Requesting Operator -- 4 Subclausal Compositionality in the Inquisitive Setting -- 5 Cardinals and Distributivity Within the wh-Restrictor -- 6 Issue-Preservation and Distributivity -- 7 Conclusion -- References -- Two Places Where We Need Plug-Negation in Update Semantics: Symmetrical Presupposition Filtering and Exclusive Disjunction -- 1 Background -- 2 Strong Kleene Trivalent Logic -- 3 Update Semantics -- 4 Proposal -- 4.1 Constraining the Plug-Negation -- 5 Discussions and a Remaining Issue -- 5.1 Discussion 1: Innocent Exclusion Does Not Avoid the Problem -- 5.2 Discussion 2: The Case of Conflicting Presuppositions and the Floating-A Theory -- 5.3 A Remaining Issue -- 6 Conclusion -- References -- Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach -- 1 Introduction -- 2 Topologies and Interior Operators -- 2.1 Definition and Basic Facts -- 2.2 Some Algebraic Remarks -- 3 The Evidence-Based Approach: A Review -- 3.1 From a Base to an Interior Operator -- 3.2 Evidence-Based Topological Semantics -- 4 Our Evidence-Free Approach: A Proposal -- 4.1 From a Monotone Map to a Topology -- 4.2 Evidence-Free Topological Semantics -- 4.3 Comparison to the Evidence-Based Approach -- 4.4 Induced Belief and Justified True Belief -- 4.5 Logic of Belief and Justified True Belief -- 5 Common Knowledge -- 6 Conclusion -- References -- Semantic-Pragmatic Account of Syntactic Structures -- 1 Introduction -- 2 Background -- 2.1 Discourse Representation Theory -- 2.2 Binding Theory of Presupposition -- 2.3 Specific Indefinites and Backgrounding -- 3 Instructional DRT -- 3.1 DRSs as Instructions -- 3.2 Syntactic Structures -- 3.3 Utterances as Programs -- 3.4 Formal Theory -- 3.5 Resolution Rules -- 4 Discussion -- 4.1 Syntactic Islands -- 4.2 Further Issues -- 5 Conclusions -- References. Author Index. |
| Record Nr. | UNISA-996601560903316 |
Bekki Daisuke
|
||
| Cham : , : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic and Engineering of Natural Language Semantics : 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers / / edited by Daisuke Bekki, Koji Mineshima, Elin McCready
| Logic and Engineering of Natural Language Semantics : 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers / / edited by Daisuke Bekki, Koji Mineshima, Elin McCready |
| Autore | Bekki Daisuke |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (363 pages) |
| Disciplina | 40,151 |
| Altri autori (Persone) |
MineshimaKoji
McCreadyElin |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computer Science Logic and Foundations of Programming |
| ISBN |
9783031608780
303160878X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Putting the argumentative perspective under discussion - QUD vs argumentative goals -- Perspective and the Self in Experiential Attitude Reports -- Negation and information structure in Tree-Wrapping Grammar -- Towards a Theory of Anaphoric Binding in Event Semantics -- Matrix and Relative Weak Crossover on the Level of the Individual: An Experimental Investigation -- Additivity in Attention Semantics -- Extending Abstract Categorial Grammars with Feature Structures: Theory and Practice -- An Overt Operator Associating with Covert Focus: An Even-Like Semantics for Mandarin Geng -- Internal Reading and Reciprocity -- Dot-to-dot semantic representation -- Intonational meaning at the limits of grammar -- Comparing Degree-Based and Argumentative Analyses of Even -- Appositive Projection as Implicit Context Extension in Dependent Type Semantics -- On the semantics of dependencies: relative clauses and open clausal complements -- Semantics of Propositional Attitudes in Type-Theory of Algorithms -- A structured witness approach to pair-list answers of wh-questions with plural definites -- Two Places where We Need Plug-negation in Update Semantics: Symmetrical Presupposition Filtering and Exclusive Disjunction -- Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach -- Semantic-Pragmatic Account of Syntactic Structures. |
| Record Nr. | UNINA-9910865290503321 |
|
Bekki Daisuke
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||