Alternating-time temporal logic with strong and weak exceptions
Shan-Li Hu · Journal of Computer Applications · 2008
Most application systems of artificial intelligence may face the problem of non-monotonic reasoning,so do multi-agent systems.Based on our former work on agent BDI logic,multi-agent cooperation logics and multi-agent cooperative problem solving process modeling,as well as the work of Baral et al.on non-monotonic temporal logics,strong and weak exceptions were introduced to Alternating-time Temporal Logic(ATL) that was the primogenitor of multi-agent cooperation logics.As a result,non-monotonic alternating-time temporal logic was developed,and its syntax and semantics were proposed.As far as we know,the work presented in this paper was the first attempt of non-monotonic extending of multi-agent cooperation logics.Non-monotonic alternating-time temporal logic can be adopted as a theoretical tool to model multi-agent mental states and their dynamic revision mechanism.