Bu calismanin amaci, dogal dilde hazirlanan metinlerin icerisinde gecen olaylari sirali gostermek icin kullanilan sistemlerin, Turkce icin genisletilmesidir. Gunumuzde dogal dildeki metinler uzerinde, dogal dil islemesi yapilarak cikarilan anlambilimsel gosterimlerin, olaylar arasindaki zamansal baglantiyi gostermesi icin veya islenen dogal dildeki metinde bulunan olaylari siralamasi icin, ilave islemler gerekmektedir. Bu islemlerin sistematik olarak dilbilimsel bir temele oturtulmasini saglayan basta Ingilizce olmak uzere cesitli dillerde calismalar bulunmaktadir. Her dilde ortak olan zamansal mantiklara ilave olarak, her dilin kendisine ozgu bazi farkli zamansal ozellikleri de bulunmaktadir. Bu calisma kapsaminda oncelikle literaturde bulunan zamansal mantiklar incelenmistir. Bu mantiklardan, dogal dil icin kullanimi one cikan bazilari, daha sonra hesaplanabilir dillere donusturulebilmektedir. Bu hesaplanabilir diller ve dayandiklari mantiklar incelenerek, Turkce TimeML uzerinden iyilestirme yapilmistir. Abstract Event Ordering in Turkish Texts Aim of this study is advancing current event ordering methodologies to cover Turkish temporal logic. Currently, some additional operations are required to demonstrate the relation between events or ordering events in a natural language text, after outputting the semantical representation. There are some systematic studies based on English temporal logic and covering most of the Latin family. There are some differences between temporal logics in the languages in addition to common temporal properties. In this study, the temporal logics in the literature are researched. Some of these temporal logics are suitable for machine computation and some are suitable for natural language processing. An optimization is suggested on these computable and natural laguage processing suitable temporal logics to cover Turkish temporal logic.
[1]
Edmund M. Clarke,et al.
The Model Checking Problem for Concurrent Systems with Many Similar Processes
,
1987,
Temporal Logic in Specification.
[2]
Michael M. Gorlick,et al.
Real-time interval logic for reasoning about executions of real-time programs
,
1989
.
[3]
Fred Kröger,et al.
Temporal Logic of Programs
,
1987,
EATCS Monographs on Theoretical Computer Science.
[4]
James Pustejovsky,et al.
TimeML: Robust Specification of Event and Temporal Expressions in Text
,
2003,
New Directions in Question Answering.
[5]
Zohar Manna,et al.
Reasoning in Interval Temporal Logic
,
1983,
Logic of Programs.
[6]
P. M. Melliar-Smith,et al.
An interval logic for higher-level temporal reasoning
,
1983,
PODC '83.
[7]
Zohar Manna,et al.
A Hardware Semantics Based on Temporal Intervals
,
1983,
ICALP.
[8]
Amir Pnueli,et al.
A Choppy Logic
,
1986,
LICS.
[9]
P. M. Melliar-Smith.
Extending Interval Logic to Real Time Systems
,
1987,
Temporal Logic in Specification.
[10]
Mordechai Ben-Ari,et al.
The temporal logic of branching time
,
1981,
POPL '81.
[11]
Colin Stirling,et al.
Comparing Linear and Branching Time Temporal Logics
,
1987,
Temporal Logic in Specification.