We prove that for any finite deduction structure there exists a unique concise-widest chain-preserved split. Based on this result, we propose a logical splitting strategy which enables an agent to split its belief structure such that all the original inference chains can be preserved. The significance of such logical splitting at least is four-fold: It can be used by an agent to separate its concerns appropriately, or even create smaller and smarter clones which could save time and efforts in their (...) deliberation computing; It will enable an agent to adjust its concerns dynamically based on its recognition of the current situation, which may further enable the agent to make rapid and rational decisions when situation shifting occurs; In periodic team synchronization domains where agents can periodically synchronize their behaviors with no restriction on communication, it can be employed as a critical process for maintaining the shared mental models among a team of agents; and It is helpful in alleviating the complexity of reasoning about relevant information, and in better anticipating both explicit and implicit information needs based on the recognition of the current situation. (shrink)

The importance of potential intentions has been demonstrated both in the construction of agent systems and in the formalisation of teamwork behaviour. However, there still lacks an adequate semantics for the notion of potential intentions as introduced by Grosz and Kraus in their SharedPlans framework. In this paper, we give a formal semantics to intentions and potential intentions, drawing upon both the representationalist approach and the accessibility-based approach. The model captures the dynamic relationship among intentions and potential intentions by providing (...) semantic rules and conditions. Also, the model treats norms as a special class of intentional context, and it is shown that norms play a critical role in the dynamics of intentions in multiagent systems. The formal semantics allows us to validate some properties that are widely-accepted for intention attitudes. (shrink)