FrontPage / Reading Group / 2015
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 †
| Chapter | Time | Content | 担当 | 参考資料 (内部資料) |
| 09/08 (Tue) | ||||
| 1. Introduction | 10:00 - 10:50 | 1. Introduction | 折田 | 🔒スライド 🔒chapter1 |
| 2. Rules, Constituents, and Fragments | 11:00 - 11:50 | 2.1 Constituents, 2.2 Fragments | 上村 | 🔒内部資料 |
| 13:00 - 13:50 | 2.3 Issues of Power and Explanation, 2.4 Grammar as an Applicative System | 高橋 | 🔒スライド， 🔒pdf | |
| 3. Intuitive Basis of Combinatory Categorical Grammars | 14:00 - 14:50 | 3.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:50 | 3.5 The Thrush, 3.6 The Starling | 松田 | 🔒内部資料 | |
| 09/09 (Wed) | ||||
| 4. Explaining Constraints on Natural Grammar | 10:00 - 10:50 | 4.1 Intrinsic Constraints Limiting the Set of Possible Rules | 乾 | 🔒内部資料 |
| 11:00 - 11:50 | 4.2 Linguistic Constraints on Unbounded Dependencies | Paul | 🔒内部資料 | |
| 13:00 - 13:50 | 4.3 Linguistic Constraints on Bounded Dependencies | 大野 | 🔒内部資料 | |
| 14:00 - 14:50 | 4.4 Quantification in CCG (4.4 序文, 4.4.1 Donkeys as Skolem Terms) | 大江 | 🔒内部資料 🔒レジュメ | |
| 15:00 - 15:50 | 4.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 Grammar | 10:00 - 10:50 | 4.5 Summary: Surface Structure and Interpretation | 稲田 | 🔒内部資料 |
| 5. Structure and Intonation | 11:00 - 11:50 | 5.1 Surface Structure and Intonation Structure, 5.2 Two Intonation Contours and Their Functions | 山本 | 🔒内部資料 |
| 13:00 - 13:50 | 5.3 Theme and Rheme, 5.4 Focus and Background | 井之上 | 🔒内部資料 | |
| 14:00 - 14:50 | 5.5 Grammar and Information Structure | 佐々木 | 🔒内部資料(adobeで...) | |
| 15:00 - 15:50 | 5.6 Intonation and the Simplex Clause, 5.7 Intonation in Complex Constructions | 周 | 🔒内部資料 | |
| 09/18 (Fri) | ||||
| 5. Structure and Intonation | 10:00 - 10:50 | 5.8 Conclusion | 小松 | 🔒内部資料 |
| 7. Gapping and the Order of Constituents | 11:00 - 11:50 | 7.1 Gapping and SOV Word Order, 7.2 Gapping and VSO Word Order | 松林 | 🔒内部資料 |
| 13:00 - 13:50 | 7.3 Gapping and SVO Word Order (7.3.1 The Natural History of Gapping in English, 7.3.2 TheCategoryoftheRightConjunct) | 鈴木 | 🔒内部資料 | |
| 14:00 - 14:50 | 7.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:50 | 7.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 †
- Commonsense Reasoning with the Discrete Event Calculus Reasoner
- the Discrete Event Calculus Reasoner program discussed in Chapter 13
- answer set programming tools discussed in Chapter 15
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 Introduction | 1 (11+7) | ||
| 6/8 | 1.1 What is Commonsense Reasoning? | 1 (1) | 乾 |
| 6/8 | 1.2 Key Issues of Commonsense Reasoning | 2 (5) | 乾 |
| 6/8 | 1.3 Brief History of Commonsense Reasoning | 7 (2) | 横井 |
| 6/8 | 1.4 The Event Calculus | 9 (3) | 横井 |
| - | Bibliographic Notes | 12 (7) | - |
| I FOUNDATIONS | |||
| 2 The Event Calculus | 19 (20+10) | ||
| - | 2.1 First-Order Logic | 19 (3) | (各自) |
| 6/22 | 2.2 The Event Calculus Basics | 22 (1) | 井之上 |
| 6/22 | 2.3 Event Calculus Axiomatizations | 23 (5) | 井之上 |
| 6/22 | 2.4 Reification | 28 (1) | 井之上 |
| 6/22 | 2.5 Conditions | 29 (1) | 井之上 |
| 6/22 | 2.6 Circumscription | 30 (2) | 井之上 |
| 6/29 | 2.7 Domain Descriptions | 32 (5) | 横井 |
| 6/29 | 2.8 Reasoning Types | 37 (2) | 横井 |
| - | Bibliographic Notes | 39 (7) | - |
| - | Exercises | 46 (3) | - |
| II COMMONSENSE PHENOMENA | |||
| 3 The Effects of Events | 49 (13+5) | ||
| 6/29 | 3.1 Positive and Negative Effect Axioms | 49 (7) | 山本 |
| 6/29 | 3.2 Effct Axiom Idioms | 56 (1) | 山本 |
| 6/29 | 3.3 Preconditions | 57 (2) | 山本 |
| 6/29 | 3.4 State Constraints | 59 (3) | 山本 |
| - | Bibliographic Note | 62 (3) | - |
| - | Exercises | 65 (2) | - |
| 4 The Triggering of Events | 67 (7+3) | ||
| 7/6 | 4.1 Trigger Axioms | 67 (3) | 折田 |
| 7/6 | 4.2 Preventing Repeated Triggering | 70 (4) | 折田 |
| 7/6 | 4.3 Triggered Fluents | 74 (0) | 折田 |
| - | Bibliographic Notes | 74 (1) | - |
| - | Exercises | 75 (2) | - |
| 5 The Commonsense Law Of Inertia | 77 (9+5) | ||
| 7/6 | 5.1 Representation of the Commonsense Law of Inertia | 77 (4) | 折田 |
| 7/13 | 5.2 Representation Release from the Commonsense Law of Inertia | 81 (4) | 小林 |
| 7/13 | 5.3 Release Axioms | 85 (1) | 小林 |
| - | Bibliographic Notes | 86 (3) | - |
| - | Exercises | 89 (2) | - |
| 6 Indirect Effects of Envets | 91 (20+6) | ||
| 7/13 | 6.1 Effect Axioms | 91 (3) | 小林 |
| 7/13 | 6.2 Primitive and Derived Fluents | 94 (2) | 小林 |
| 7/27 | 6.3 Release Axioms and State Constraints | 96 (2) | 小林 |
| 7/27 | 6.4 Effect Constraints | 98 (1) | 小林 |
| 7/27 | 6.5 Causal Constraints | 99 (6) | 小林 |
| 7/27? | 6.6 Trigger Axioms | 105 (6) | 小林 |
| Bibriographic Notes | 111 (4) | ||
| Exercises | 115 (2) | ||
| 7 Continuous Change | 117 (8+2) | ||
| 7.1 Trajectory Axioms | 117 (4) | ||
| 7.2 AntiTrajectory Axioms | 121 (2) | ||
| 7.3 Using AntiTrajectory Instead of Releases | 123 (2) | ||
| Bibriographic Notes | 125 (1) | ||
| Exercises | 126 (1) | ||
| 8 Concurrent Events | 127 (7+5) | ||
| 8.1 Restricting Concurrency | 127 (2) | ||
| 8.2 Cumulative and Canceling Effects | 129 (5) | ||
| Bibriographic Notes | 134 (2) | ||
| Exercises | 136 (3) | ||
| 9 Nondeterministic Effects of Events | 139 (4+4) | ||
| 9.1 Determining Fluents | 139 (3) | ||
| 9.2 Disjunctive Event Axioms | 142 (1) | ||
| Bibriographic Notes | 143 (1) | ||
| Exercises | 144 (3) | ||
| III COMMONSENSE DOMAINS | |||
| 10 Space | 147 (16+4) | ||
| 10.1 Relational Space | 147 (6) | ||
| 10.2 Metric Space | 153 (7) | ||
| 10.3 Object Identity | 160 (3) | ||
| Bibriographic Notes | 163 (1) | ||
| Exercises | 164 (3) | ||
| 11 The Mental States of Agents | 167 (32+6) | ||
| 11.1 Beliefs, Goals, and Plans | 167 (17) | ||
| 11.2 Emotions | 184 (11) | ||
| 11.3 The Epistemic Functional Event Calculus | 195 (4) | ||
| Bibriographic Notes | 199 (2) | ||
| Exercises | 201 (4) | ||
| IX APPENDIX | |||
| A Logical Foundations | 373 | ||
| 6/15 | A.1 Relations | 374 | 田 |
| 6/15 | A.2 Inductive Devinitions | 374 | 田 |
| 6/15 | A.3 First-Order Logic | 374 | 田 |
| 6/15 | A.4 Many-Sorted First-Order Logic | 379 | 田 |
| 6/15 | A.5 Second-Order Logic | 381 | 田 |
| 6/15 | A.6 Datatypes | 381 | 田 |
| 6/15 | A.7 Circumscription | 383 | 田 |
| 6/15 | A.8 SM | 384 | 田 |
| - | Bibliographical Notes | 385 | - |
| B Equivalence of EC and DEC | 387 | ||
| C Events with Duration | 393 | ||
| Bibliographical Notes | 395 | ||
| D The Discrete Event Calculus with Branching Time | 397 | ||
| D.1 LDEC | 397 | ||
| D.2 BDEC | 398 | ||
| D.3 Relationship of BDEC and LDEC | 400 | ||
| D.4 Relationship of BDEC and the Situation Caluculus | 402 | ||
| Bibliographical Notes | 407 | ||
| E The Event Calculus and Temporal Action Logics | 409 | ||
| E.1 The Event Calculus and TAL | 409 | ||
| E.2 Lack of Equivalence Between TALA and ECA | 414 | ||
| E.3 ECB Axiomatization | 415 | ||
| E.4 Lack of Equivalence Between TALA and ECB | 416 | ||
| E.5 General Action Type Specifications | 417 | ||
| E.6 Restriction to Sigle-Step Actions | 417 | ||
| E.7 Equivalence of TALAS and DECA | 418 | ||
| E.8 Translation from TAL 1.0 L(ND) to L(FL) | 421 | ||
| F Answers to Selected Exercises | 423 | ||
| Chapter 2 | 423 | ||
| Chapter 3 | 423 | ||
| Chapter 4 | 424 | ||
| Chapter 5 | 424 | ||
| Chapter 6 | 426 | ||
| Chapter 8 | 427 |
© Inui Laboratory 2010-2018 All rights reserved.
![[PukiWiki]](image/inuiken_logo_b_cut.png "[PukiWiki]"){kind=logo}