2015

第2弾: 『The Syntactic Process』輪読

Date
9/8-10, 18 各日 10:00 - 15:50
Textbook
Mark Steedman. The Syntactic Process. MIT Press, 2001. Amazon, Google Books, 🔒書庫
Member (発表担当)
折田,上村,高橋,岡崎,松田,乾,Paul,大野,大江,村岡,稲田,山本,井之上,佐々木,周,小松,松林,鈴木,ダワ,スミット
Member (ディスカッション参加)
水野,横井,島岡,田,上岡,水本

Schedule

ChapterTimeContent担当参考資料 (内部資料)
09/08 (Tue)
1. Introduction10:00 - 10:501. Introduction折田🔒スライド 🔒chapter1
2. Rules, Constituents, and Fragments11:00 - 11:502.1 Constituents, 2.2 Fragments上村🔒内部資料
13:00 - 13:502.3 Issues of Power and Explanation, 2.4 Grammar as an Applicative System高橋🔒スライド, 🔒pdf
3. Intuitive Basis of Combinatory Categorical Grammars14:00 - 14:503.1 Pure Categorial Grammar, 3.2 Interpretation and Predicate-Argument Structure, 3.3 Coordination, 3.4 The Bluebird岡崎🔒内部資料 二宮さんの資料(1) 二宮さんの資料(2) Pythonでカーリー化 NLTKでCCG
15:00 - 15:503.5 The Thrush, 3.6 The Starling松田🔒内部資料
09/09 (Wed)
4. Explaining Constraints on Natural Grammar10:00 - 10:504.1 Intrinsic Constraints Limiting the Set of Possible Rules🔒内部資料
11:00 - 11:504.2 Linguistic Constraints on Unbounded DependenciesPaul🔒内部資料
13:00 - 13:504.3 Linguistic Constraints on Bounded Dependencies大野🔒内部資料
14:00 - 14:504.4 Quantification in CCG (4.4 序文, 4.4.1 Donkeys as Skolem Terms)大江🔒内部資料 🔒レジュメ
15:00 - 15:504.4 Quantification in CCG (4.4.2 Scope Alternation and Skolem Entities, 4.4.3 Binding Theory and Distributional Scope, 4.4.4 Interaction of Word order and Quantifier Scope, 4.4.S Disambiguation and Underspecification)村岡🔒内部資料
09/10 (Thu)
4. Explaining Constraints on Natural Grammar10:00 - 10:504.5 Summary: Surface Structure and Interpretation稲田🔒内部資料
5. Structure and Intonation11:00 - 11:505.1 Surface Structure and Intonation Structure, 5.2 Two Intonation Contours and Their Functions山本🔒内部資料
13:00 - 13:505.3 Theme and Rheme, 5.4 Focus and Background井之上🔒内部資料
14:00 - 14:505.5 Grammar and Information Structure佐々木🔒内部資料(adobeで...)
15:00 - 15:505.6 Intonation and the Simplex Clause, 5.7 Intonation in Complex Constructions🔒内部資料
09/18 (Fri)
5. Structure and Intonation10:00 - 10:505.8 Conclusion小松🔒内部資料
7. Gapping and the Order of Constituents11:00 - 11:507.1 Gapping and SOV Word Order, 7.2 Gapping and VSO Word Order松林🔒内部資料
13:00 - 13:507.3 Gapping and SVO Word Order (7.3.1 The Natural History of Gapping in English, 7.3.2 TheCategoryoftheRightConjunct)鈴木🔒内部資料
14:00 - 14:507.3 Gapping and SVO Word Order (7.3.3 A Hypothesis Concerning the Left Conjunct, 7.3.4 Verb Gapping in Dutch Main Clauses)ダワ🔒内部資料
15:00 - 15:507.4 Other Elliptical Phenomena, 7.5 A Cautious Conclusionダワ🔒内部資料

第1弾: 『Commonsense Reasoning』輪読

  • Erik T. Mueller: Commonsense Reasoning, 2006.

Abstract

  • 常識推論に関わる文献をもりもり読む.
Date
毎週月曜日 10:30-12:50(途中でお昼ご飯買い出し休憩)
Member(読む人)
乾,田,井之上,山本,横井,折田,松林,岡崎
Member (たぶん読む人)
杉浦,小林,稲田

Guide

  • 綺麗なスライドは作らなくて良し
  • 短期間に一気に読み終える (目標: 2015年7月中)
  • 輪講1時間につき10ページを目安に進める
  • スケジュール遅れるようなら夜や土日に集まる

Materials

Schedule

  • 2015-06-08(Mon) 10:30-12:50
    • 乾 (1-1.2)
    • 横井 (1.3-1.4)
  • 2015-06-15(Mon) 10:30-12:50
    • 田 (Appendix A)
  • 2015-06-22(Mon) 10:30-12:50
    • 井之上 (2.2-2.6)
  • 2015-06-29(Mon) 10:30-12:50
    • 横井 (2.7-2.8)
    • 山本 (3.1-3.4)
  • 2015-07-06(Mon) 10:30-12:50
    • 山本 (3.4 続き)
    • 折田 (4.1-4.3, 5.1)
  • 2015-07-13(Mon) 10:30-12:50
    • 小林 (5.2-5.3, 6.1-6.2)
  • 2015-07-27(Mon) 10:30-12:50
    • 小林 (6.3-6.6?)

Table of Contents

  • PDF のページ数は +26 する
日付Page担当
1 Introduction1 (11+7)
6/8 1.1 What is Commonsense Reasoning?1 (1)
6/8 1.2 Key Issues of Commonsense Reasoning2 (5)
6/8 1.3 Brief History of Commonsense Reasoning7 (2)横井
6/8 1.4 The Event Calculus9 (3)横井
- Bibliographic Notes12 (7)-
I FOUNDATIONS
2 The Event Calculus19 (20+10)
- 2.1 First-Order Logic19 (3)(各自)
6/22 2.2 The Event Calculus Basics22 (1)井之上
6/22 2.3 Event Calculus Axiomatizations23 (5)井之上
6/22 2.4 Reification28 (1)井之上
6/22 2.5 Conditions29 (1)井之上
6/22 2.6 Circumscription30 (2)井之上
6/29 2.7 Domain Descriptions32 (5)横井
6/29 2.8 Reasoning Types37 (2)横井
- Bibliographic Notes39 (7)-
- Exercises46 (3)-
II COMMONSENSE PHENOMENA
3 The Effects of Events49 (13+5)
6/29 3.1 Positive and Negative Effect Axioms49 (7)山本
6/29 3.2 Effct Axiom Idioms56 (1)山本
6/29 3.3 Preconditions57 (2)山本
6/29 3.4 State Constraints59 (3)山本
- Bibliographic Note62 (3)-
- Exercises65 (2)-
4 The Triggering of Events67 (7+3)
7/6 4.1 Trigger Axioms67 (3)折田
7/6 4.2 Preventing Repeated Triggering70 (4)折田
7/6 4.3 Triggered Fluents74 (0)折田
- Bibliographic Notes74 (1)-
- Exercises75 (2)-
5 The Commonsense Law Of Inertia77 (9+5)
7/6 5.1 Representation of the Commonsense Law of Inertia77 (4)折田
7/13 5.2 Representation Release from the Commonsense Law of Inertia81 (4)小林
7/13 5.3 Release Axioms85 (1)小林
- Bibliographic Notes86 (3)-
- Exercises89 (2)-
6 Indirect Effects of Envets91 (20+6)
7/13 6.1 Effect Axioms91 (3)小林
7/13 6.2 Primitive and Derived Fluents94 (2)小林
7/27 6.3 Release Axioms and State Constraints96 (2)小林
7/27 6.4 Effect Constraints98 (1)小林
7/27 6.5 Causal Constraints99 (6)小林
7/27? 6.6 Trigger Axioms105 (6)小林
 Bibriographic Notes111 (4)
 Exercises115 (2)
7 Continuous Change117 (8+2)
 7.1 Trajectory Axioms117 (4)
 7.2 AntiTrajectory Axioms121 (2)
 7.3 Using AntiTrajectory Instead of Releases123 (2)
 Bibriographic Notes125 (1)
 Exercises126 (1)
8 Concurrent Events127 (7+5)
 8.1 Restricting Concurrency127 (2)
 8.2 Cumulative and Canceling Effects129 (5)
 Bibriographic Notes134 (2)
 Exercises136 (3)
9 Nondeterministic Effects of Events139 (4+4)
 9.1 Determining Fluents139 (3)
 9.2 Disjunctive Event Axioms142 (1)
 Bibriographic Notes143 (1)
 Exercises144 (3)
III COMMONSENSE DOMAINS
10 Space147 (16+4)
 10.1 Relational Space147 (6)
 10.2 Metric Space153 (7)
 10.3 Object Identity160 (3)
 Bibriographic Notes163 (1)
 Exercises164 (3)
11 The Mental States of Agents167 (32+6)
 11.1 Beliefs, Goals, and Plans167 (17)
 11.2 Emotions184 (11)
 11.3 The Epistemic Functional Event Calculus195 (4)
 Bibriographic Notes199 (2)
 Exercises201 (4)
IX APPENDIX
A Logical Foundations373
6/15 A.1 Relations374
6/15 A.2 Inductive Devinitions374
6/15 A.3 First-Order Logic374
6/15 A.4 Many-Sorted First-Order Logic379
6/15 A.5 Second-Order Logic381
6/15 A.6 Datatypes381
6/15 A.7 Circumscription383
6/15 A.8 SM384
- Bibliographical Notes385-
B Equivalence of EC and DEC387
C Events with Duration393
 Bibliographical Notes395
D The Discrete Event Calculus with Branching Time397
 D.1 LDEC397
 D.2 BDEC398
 D.3 Relationship of BDEC and LDEC400
 D.4 Relationship of BDEC and the Situation Caluculus402
 Bibliographical Notes407
E The Event Calculus and Temporal Action Logics409
 E.1 The Event Calculus and TAL409
 E.2 Lack of Equivalence Between TALA and ECA414
 E.3 ECB Axiomatization415
 E.4 Lack of Equivalence Between TALA and ECB416
 E.5 General Action Type Specifications417
 E.6 Restriction to Sigle-Step Actions417
 E.7 Equivalence of TALAS and DECA418
 E.8 Translation from TAL 1.0 L(ND) to L(FL)421
F Answers to Selected Exercises423
 Chapter 2423
 Chapter 3423
 Chapter 4424
 Chapter 5424
 Chapter 6426
 Chapter 8427

© Inui Laboratory 2010-2018 All rights reserved.