网络系统异常处理的数学模型

物流以网络流方式运行,网络中顶点有中转容量,同时也有顶点环流容量,顶点环流使用顶点分开为入点和出点的方法来表示.当网络流发生异常变化时,可引起顶点环流增加或减少的变化;而顶点环流也可以起到对网络流异常的调节作用,使网络保持一个可行流.     

Multi-agent Belief, Goal and Exceptions Reasoning

Temporal logics are often adopted as basic tools to specifying mental states such as belief and goal of agents. Althoush there are works on non-monotonic extension of linear temporal logic (LTL) and branching time temporal logic (CTL), the non-monotonic extension of alternating-time temporal logic (ATL) which is an important kind of multi-agent cooperation logics has not been discussed yet in literature. To solve this problem, this paper proposed non-monotonic alternating-time temporal logic with belief and goal, namely N-ATL-BG, to facilitate the non-monotonic reasoning of mental states of agents. The semantic model, syntax and semantics of this new logic are developed. A model checking algorithm which can be finished in polynomial time is proposed for this new logic. Examples are given to show its usage.