The Proper Treatment of Events

ISBN: 9781405112123 出版年：2008 页码：266 Michiel Van Lambalgen Fritz Hamm Wiley

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: Passe Simple and Imparfait.Introduction.Data.Formalizing the Passe 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.