A finite-state approach to event semantics
Tóm tắt
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite automata then amount to movie cameras/projectors, or more formally, to finite Kripke structures with partial valuations. The usual regular constructs (concatenation, choice, etc) are supplemented with superposition of strings/automata/languages, realized model-theoretically as conjunction.
Từ khóa
#Automata #Motion pictures #Natural languages #Cameras #Computer science #Educational institutions #Cost accounting #Proposals #LabelingTài liệu tham khảo
mccarthy, 1969, Some philosophical problems from the standpoint of artificial intelligence, Machine Intelligence 4
moens, 1988, Temporal ontology and temporal reference, Computational Linguistics, 14, 15
narayanan, 1999, Reasoning about actions in narrative undertanding, Proc IJCAI 99
10.1093/jos/18.1.27
10.2307/2268973
parsons, 1990, Events in the Semantics of English: A Study in Subatomic Semantics
ranta, 1994, Type-Theoretical Grammar
reiter, 2000, Narratives as programs, Principles of Knowl-ege Representation Procedings of KR 2000
steedman, 2000, The Productions of Time
10.1023/A:1008370613208
fernando, 2001, Conservative generalized quantifiers and pre-supposition, Proceedings of Semantics and Linguistic Theory, 10.3765/salt.v11i0.2842
10.1007/978-94-009-9473-7
kamp, 1993, From Discourse to Logic
hamm, 2000, Event calculus, nominalization, and the progressive
keisler, 1973, Forcing and the omitting types theorem, Studies in Model Theory The Mathematical Association of America
10.1515/thli.1974.1.1-3.181
davidson, 1967, The logical form of action sentences, The Logic of Decision and Action
chang, 1998, A dynamic model of aspectual composition, Proc CogSci 98
krifka, 1989, Nominal reference, temporal constitution and quantification in event semantics, Semantics and Contextual Expressions, 10.1515/9783110877335-005
van benthem, 1994, A note on dunamic arrow logic, Logic and Information Flow