Temporal logics in AI: Semantical and on
โ
Yoav Shoham
๐
Article
๐
1987
๐
Elsevier Science
๐
English
โ 808 KB
One way to represent temporal m]ormatton m a logtcal Jormahsm ts by assocgatmg "'proposttton types" wtth ttme pomts or ttme mtervals The way this ts usually done m A1 zs by "retrying" propostttons, so that what otherwise would have been formulas actually appear as arguments to some "predwate," say T