| 000 | 01121pamuu2200301 a 4500 | |
| 001 | 000045179045 | |
| 005 | 20050630152254 | |
| 008 | 040720s2005 mau b 001 0 eng | |
| 010 | ▼a 2004016934 | |
| 020 | ▼a 1405112131 (hardback : alk. paper) | |
| 020 | ▼a 1405112123 (pbk. : alk. paper) | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 211009 | |
| 050 | 0 0 | ▼a P281 ▼b .L35 2005 |
| 082 | 0 0 | ▼a 415/.6 ▼2 22 |
| 090 | ▼a 415.6 ▼b L219p | |
| 100 | 1 | ▼a Lambalgen, Michiel van, ▼d 1954-. |
| 245 | 1 4 | ▼a The proper treatment of events / ▼c Michiel van Lambalgen and Fritz Hamm. |
| 260 | ▼a Malden, MA : ▼b Blackwell Pub., ▼c c2005. | |
| 300 | ▼a xii, 251 p. ; ▼c 26 cm. | |
| 440 | 0 | ▼a Explorations in semantics |
| 504 | ▼a Includes bibliographical references (p. 239-244) and index. | |
| 650 | 0 | ▼a Grammar, Comparative and general ▼x Tense. |
| 650 | 0 | ▼a Grammar, Comparative and general ▼x Aspect |
| 650 | 0 | ▼a Grammar, Comparative and general ▼x Nominals. |
| 650 | 0 | ▼a Logic. |
| 700 | 1 | ▼a Hamm, Fritz, ▼d 1953-. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/서고6층/ | 청구기호 415.6 L219p | 등록번호 111322005 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
목차
Figures.
Preface.
Part I: Time, events and cognition.
Chapter 1: Time.
Psychology of time.
Why do we have the experience of time at all?.
Chapter 2: Events and time.
The analogy between events and objects.
The Russell-Kamp construction of time from events.
Walker’s construction.
Richer languages for events.
Some linguistic applications.
**Continuous time from events.
Conclusion.
Chapter 3: Language, time and planning.
Part II: The formal apparatus.
Chapter 4: Events formalized.
A calculus of events.
The axiom system EC.
Scenarios.
Minimal models.
Chapter 5: Computing with time and events.
Logic programming with constraints.
Minimal models revisited.
How to get to the other side of a street.
**When do causes take effect?.
Exercises for chapters 4 and 5.
Da capo, with feeling.
Chapter 6: Finishing touches.
Coding VPs as fluents and events.
Consistency, truth and partiality.
Part III: A marriage made in heaven – linguistics and robotics.
Chapter 7: Aktionsart.
Eventualities.
Formal definition of Aktionsarten.
Perfective and imperfective eventualities.
Chapter 8: Tense.
Reichenbach’s reference time R.
Event time and the sentence.
Present tense.
Past tense.
Future tense.
Exercises.
Chapter 9: Tense in French: Passé Simple and Imparfait.
Introduction.
Data.
Formalizing the Passé Simple and Imparfait.
Coda.
Exercises.
Chapter 10: Grammatical aspect.
The perfect.
The progressive.
**A computational proof.
Comments on the literature.
Exercises.
Chapter 11: Coercion.
Additive coercion.
Subtractive coercion.
Cross–coercion.
Temporal adverbials: ‘in’ and ‘for’.
Coercion and intensionality.
Exercises.
Chapter 12: Nominalization.
Two types of English Gerunds.
History of the English gerundive system.
Nominalizations formalized I: Denotation types.
Nominalizations formalized II: Lexical meaning.
Chapter 13: Appendix: the basics of logic programming.
Logic programming for propositional logic.
Logic programming for predicate logic.
References.
Index.
정보제공 :
