Temporalizing Epistemic Logic L-DINF

Agents and Multi-Agent Systems (MAS) are a technology that has many fields of application, which extend also to human sciences and where Computational Logic has been widely applied. In this paper, we join together two of our long-lasting lines of work in this field. In particular, we introduce time and time intervals into the epistemic logic L-DINF, that copes with group dynamics in MAS

A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents

In the multi-agent setting, it is relevant to model group dynamics of agents, and logic has proved to be an excellent tool. We have proposed in previous work an epistemic logic that allows one to formalize the new beliefs formed or removed by a group of agents, where several groups can co-exist and where an agent can pass from one group to another. A novelty introduced in this paper is that an agent can be lent by a (willing) group to another one in case of need. Another distinguished feature we introduce in this paper is time and temporal instants/intervals to express the time periods in which agents’ beliefs hold

Timed Memory in Resource-Bounded Agents

In intelligent agents memory plays a crucial role in the choice of future course of action, as it is progressively formed by means of agent\u2019s interactions with the external environment. Previous work exists in logic concerning formalization of reasoning on the formation of beliefs in non-omniscient agents. We address an aspect which has been hardly considered so far, i.e., the notion of \u201cexplicit time\u201d, by introducing timed beliefs, timed inferences, by means of temporal logic operator on time intervals