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
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


Catagóir:Fealsúnacht an ama