【摘 要】
：
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 extens
【机 构】
：
Institute of Computer Application,Department of Computer Science and Technology
论文部分内容阅读
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.
其他文献
This article proposes a cooperative relaying strategy to efficiently utilize the relaying resources of Internet service providers (ISPs), speedup distribution a
隧道前期变形是利用收敛约束法确定支护压力和围岩稳定变形的关键，在分析隧道开挖面空间效应机制的基础上，总结具有代表性的深埋岩质圆形隧道位移释放系数公式，对其进行分类、适
For consideration of both the eccentric rotatable rigid body and the translational rigid body, the dynamic model of the underwater glider is derived. Dynamical
For the release of hazardous contaminant indoors,source identification is critical for developing effective response measures.A method which can quickly and acc
Method of checking for jack-up elevated performance including leg structure strength, fixation system or jacking sys- tem bearing capacity, pre-load requirement
The research on electroluminescence based on europium(Ⅲ) complexes has come to an important phase. This article reviewed the progresses in photoluminescence an
Cubic NaYF4:yb3+(20%)/Er3+(1%) microspheres were synthesized by EDTA-assisted hydrothermal method. Under 980 nm exci-tation, ultraviolet (4G11/2→4I15/2), viole
A deep-sea Manned Submarine Vehicle (MSV) is usually required to move at a low forward speed and a low rota- tional speed when it executes investigation tasks.
In order to develop an automated segmentation system for Computed Tomography(CT)brain images,a new approach which consists of several unsupervised segmentation techniques was introduced. The system se
Based on pseudo strain energy density (PSED) and grey relation coefficient (GRC), an index is proposed to locate the damage of beam-type structures in time-doma