Title :
Reasoning about the temporal aspects of interacting agents
Author_Institution :
Dept. de Ciencia da Comput., Univ. Fed. do Amazonas, Manaus, Brazil
Abstract :
The formalization of temporal reasoning for dealing with actions taking place at different grains of time has been investigated in the recent years. The main concern has been the representation of the real calendar and the mechanisms needed for mapping events “annotaded” with any convex an non-convex intervals to their annotation in the calendar. This work presents some results on the representation and reasoning about the actions of agents interacting at different time scales
Keywords :
multi-agent systems; temporal logic; temporal reasoning; annotation; interacting agents; mapping events; real calendar; reasoning; representation; temporal aspects; temporal reasoning; Autonomous agents; Biological system modeling; Brazil Council; Calendars; Clocks; Logic programming; Timing;
Conference_Titel :
Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on
Conference_Location :
Cividale del Friuli
Print_ISBN :
0-7695-1107-4
DOI :
10.1109/TIME.2001.930698
