Loighic ama
Sa loighic, is éard is loighic ama ann ná aon chóras rialacha agus siombalachais chun tairiscintí cáilithe i dtéarmaí ama a léiriú, agus réasúnú a dhéanamh fúthu (mar shampla, "Tá ocras orm i gcónaí ", "Beidh ocras orm ar deireadh", nó "Beidh ocras orm go dtí go n-íosfaidh mé rud éigin"). Úsáidtear é uaireanta freisin chun tagairt a dhéanamh do loighic aimsire, loighic mhódach atá bunaithe ar loighic ama, a thug Arthur Prior isteach go déanach sna 1950idí, le ranníocaíochtaí tábhachtacha ó Hans Kamp. Tá tuilleadh forbartha déanta uirthi ag ríomheolaithe eile, go háirithe ag Amir Pnueli.
Tá feidhm thábhachtach aimsithe ag loighic ama i bhfíorú foirmiúil, áit a n-úsáidtear í chun riachtanais na gcóras crua-earraí nó bogearraí a lua. Mar shampla, b'fhéidir gur mhian le duine a rá, pé uair a dhéantar iarraidh, go ndeonaítear rochtain ar acmhainn sa deireadh, ach nach ndeonaítear riamh í do bheirt iarrthóirí go comhuaineach. Is féidir a leithéid de ráiteas a chur in iúl go furasta trí loighic ama.
Féach freisin
[cuir in eagar | athraigh foinse]- Venema, Yde, 2001, "Temporal Logic," in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell.
- E. A. Emerson and C. Lei, modalities for model checking: branching time logic strikes back, in Science of Computer Programming 8, p 275-306, 1987.
- E.A. Emerson, Temporal and modal logic, Handbook of Theoretical Computer Science, Chapter 16, the MIT Press, 1990