[logic-ml] Call for participation: LENLS10 (Logic and Engineering of Natural Language Semantics 10)
BEKKI Daisuke
bekki.daisuke at 00.alumni.u-tokyo.ac.jp
Mon Oct 7 18:57:08 JST 2013
（重複して受け取られた場合はご容赦ください）
10/26-28に東京で開催される LENLS 10 国際ワークショップのご案内をお
送り致します。皆様のご参加をお待ちしております。
※online registrationの〆切（10/10）が迫っておりますので、ご注意下
さい。
戸次大介（お茶の水女子大学／国立情報学研究所）
[Apologies for multiple copies]
=================================================================
CALL FOR PARTICIPATION
Logic and Engineering of
Natural Language Semantics 10 (LENLS 10)
Workshop Site : "Raiousha Building, Keio University"
Kanagawa, Japan.
http://www.keio.ac.jp/en/maps/hiyoshi.html
Dates : October 26-28, 2013
Contact Person: Shunsuke Yatabe (West Japan Railway Company)
Contact Email : lenls10[[at]]easychair.org
Website : http://www.is.ocha.ac.jp/‾bekki/lenls/
=================================================================
Chair: Shunsuke Yatabe (West Japan Railway Company)
Co-chair: Daisuke Bekki (Ochanomizu University/
National Institute of Informatics)
Eric McCready (Aoyama Gakuin University)
Invited Speaker(s):
- Nicholas J.J. Smith (the University of Sydney)
- Richard Dietz (the University of Tokyo)
LENLS is an annual international workshop on formal syntax,
semantics and pragmatics. It will be held as one of the workshops of
the fifth JSAI International Symposia on AI (isAI2013)
(http://www.ai-gakkai.or.jp/jsai-isai/2013/)
sponsored by the Japan Society for Artificial Intelligence (JSAI)
(http://www.ai-gakkai.or.jp/jsai/english.html).
Aims and Topics:
================
We invite submissions to this year's workshop on topics in formal
semantics and pragmatics, and related fields, including but in no way
limited to the following:
- Dynamic syntax/semantics/pragmatics of natural language
- Categorical/topological/coalgebraic approaches for natural language
syntax/semantics/pragmatics
- Logic and its relation to natural language and linguistic reasoning
(especially dynamic logics)
- Type-theoretic approaches to natural language
- Formal Philosophy of language
- Formal pragmatics (especially game-theoretic and utility-theoretic
approaches)
- Substructural expansion of Lambek Lambda Calculi
- Many-valued/Fuzzy and other non-classical logics and natural language
Important dates:
================
Deadline for onsite registration: October 10, 2013
Tutorial Lecture: October 26, 2013
LENLS10: October 27-28, 2013
Registration:
=============
The proceedings of the workshop will be available at the
conference site for registered persons. Please follow the link
below and register yourself until **10th October 2013**.
http://www.ai-gakkai.or.jp/jsai-isai/2013/#registration
Program:
========
October 27th (Sun), 2013
-------------------------
9:00-9:20:Reception and Coffee Break
9:20-9:30:Opening Remarks
9:30-11:30:Session 1
* Takeshi Yamada
"On Dummett's Critique of Davidsonian Theory of Meaning"
* Chi-Yen Liu and Linton Wang
"From 3-valued semantics, Adams' thesis rises"
* Hidenori Kurokawa
"Hypersequent calculi for modal logics extending S4"
* Yoshihiro Maruyama
"Quantum Linguistics: From Philosophy of Language to Logic of Quantum Vagueness"
11:30-13:00:Lunch
13:00-14:30:Session 2
* Laurence Danlos, Philippe De Groote and Sylvain Pogodalla
"A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars"
* Daisuke Bekki
"A Type-theoretic Approach to Double Negation Elimination in Anaphora"
* Ribeka Tanaka, Yuki Nakano and Daisuke Bekki
"Constructive Generalized Quantifiers Revisited"
14:30-14:45:Coffee break
14:45-16:15:Session 3
* David Etlin
"Conditionals, Modals and Iteration"
* Hanako Yamamoto and Daisuke Bekki
"First-order conditional logic and neighborhood-sheaf semantics for analysis of conditional sentences"
* Elia Zardini
"If and Is"
16:15-16:45:Coffee break
16:45-17:45:Invited Talk 1
* Nicholas J.J. Smith
"Vagueness, Counting and Cardinality"
17:45-18:15:Questions and Comments
19:00-:Banquet
October 28th (Mon), 2013
-------------------------
9:00-9:30:Reception
9:30-11:30:Session 1
* Ai Kawazoe, Yusuke Miyao, Takuya Matsuzaki, Hikaru Yokono and Noriko Arai
"World history ontology for reasoning truth/falsehood of sentences: Event classification to fill in the gaps be-tween knowledge resources and natural language texts"
* Marc Vincent and Gre'goire Winterstein
"Argumentative insights from an opinion classification task on a French corpus"
* Bruno Mery, Richard Moot and Christian Retore
"Plurals: individuals and sets in a richly typed semantics"
* Yasuo Nakayama
"Analyzing Speech Acts based on Dynamic Normative Logic"
11:30-13:00:Lunch
13:00-15:00:Session 2
* Yoshiki Mori and Hitomi Hirayama
"Bare plurals in the left periphery in German and Italian"
* Christopher Davis
"Building Rhetorical Questions in Japanese"
* Wataru Uegaki
"Predicting the distribution of exhaustive inference in a QUD model"
* Matthijs Westera
"Exhaustivity through the maxim of relation"
15:00-15:15:Coffee break
15:15-16:45:Session 3
* Daniel Gutzmann
"Compositional multidimensionality and the lexicon-semantics interface"
* Nicholas Asher, Cedric Degremont and Antoine Venant
"Semantic Similarity -- Extended Abstract"
* Eric Mccready and Nicholas Asher
"Discourse-level Politeness and Implicature"
16:45-17:00:Coffee break
17:00-18:00:Invited Talk 2
* Richard Dietz
"The Possibility of Vagueness"
18:00-18:30:Questions and Comments
Alternates
----------
* Jiri Marsik and Maxime Amblard
"Integration of Multiple Constraints in ACG"
* Mihaela Popa
"Embedded irony, speech-acts, and the semantics/pragmatics distinction"
* Satoru Suzuki
"Averages, Comparisons, Contextual Definitions and Meaningfulness"
Tutorial Lecture:
=================
On October 26th (Sat), there will be a tutorial lecture at
Ochanomizu University.
Lecturer: Nicholas J.J. Smith (The University of Sydney)
Venue: Ochanomizu UniversityFaculty of Science, Building 3, Room 207-209 (2nd Floor)
(http://www.ocha.ac.jp/en/access/index.html)
Time Table:
10:00-12:00 Session 1
12:00-14:00 Lunch
14:00-16:00 Session 2
Title: Vagueness and Fuzzy Logic
Abstract
--------
The aim of this tutorial is to give a positive appraisal of the prospects for a fuzzy logic based solution to the problems of vagueness. The tutorial will be divided into the following sections (time permitting).
I. An overview of the major existing theories of vagueness (epistemicism, additional truth values, truth gaps, supervaluationism, plurivaluationism).
II. The problem of defining vagueness. Shortcomings of previous definitions (e.g. borderline cases, semantic indeterminacy, tolerance). Proposal: vagueness as closeness. If this proposal is correct then the correct theory of vagueness must involve degrees of truth.
III. Fuzzy logic and the problem of artificial precision. Problems with existing solutions (fuzzy epistemicism, fuzzy metalanguage, blurry sets). Proposed solution: fuzzy plurivaluationism -- a theory that combines degrees of truth with semantic indeterminacy of the sort found in 'supervaluationist' (more correctly: plurivaluationist) approaches.
IV. Fuzzy logic and the problem of truth-functionality. It has been argued that fuzzy logic based theories of vagueness are incompatible with data about the assertability of compound propositions in the presence of borderline cases. A negative assessment of these arguments will be given.
V. Integrating the fuzzy theory of vagueness into the wider theoretical landscape. Case study: degrees of belief. In particular, the relationship between degrees of belief arising from uncertainty (ignorance) and degrees of belief arising from vagueness.
Workshop Organizers/Program Committee:
======================================
- Shunsuke Yatabe (West Japan Railway Company)
- Daisuke Bekki (Ochanomizu University/National Institute of Informatics)
- Alastair Butler (PRESTO JST/Tohoku University)
- Eric McCready (Aoyama Gakuin University)
- Koji Mineshima (Keio University)
- Yoshiki Mori (University of Tokyo)
- Yasuo Nakayama (Osaka University)
- Katsuhiko Sano (Japan Advanced Institute of Science and Technology)
- Katsuhiko Yabushita (Naruto University of Education)
- Tomoyuki Yamada (Hokkaido University)
- Kei Yoshimoto (Tohoku University)
More information about the Logic-ml
mailing list