The aim of our ongoing research is to give a method to construct intelligent tutoring systems for agents who are executing typical procedures in dynamic environments based on a logical framework. Typical procedures are similar to plans in the sense that they describe the actions an agent should execute to achieve a certain goal. In this paper we address what we consider is the first step toward...

Filtering denotes any method whereby an agent updates its belief state—its knowledge of the state of the world—from a sequence of actions and observations. In logical filtering, the belief state is a logical formula describing possible world states and the agent has a (possibly nondeterministic) logical model of its environment and sensors. This paper presents efficient logical filtering algori...

As a distributed process calculus with localities and mobility of computational entities, Seal calculus is playing an important role in expressing key features such as security and mobility of Internet programming directly. However, little implementation technique proposed for the calculus, partly due to the complication of mobile computation, which fusions three important techniques: concurren...

Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increased hardware and software mobility forces us to consider those rules in an integrated fashion. We present SPIN models of four case studies where mobility plays a role. At present our models are ad-hoc. In each case the ...

The current spectrum management policy typically gives exclusive and unlimited access to license-holders within their domain, and offers meager transmission opportunities for non-license-holders. This paper addresses spectrum management techniques in which no licensing is required and individual devices have real-time access to shared spectrum. An example is the 30 MHz of unlicensed spectrum al...

AbsIrocr -The paper investigates the reliability of Mobile IP in a cellular system. To support the node mobility, a lot of mobility agents are deployed in the packet network of a cellular system to remain the continuous network connectivity while mobile node move their locations. lf a mobility agent fails, the mobile nodes under its coverage area will be aflected. The network connectivity ofthe...

The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (‘nomos’) itself (‘auto’) independently of any external normative constraint specified by a designer. In particular, a MAS is autonomous if it is able to maintain its social institutions (i.e. rule-governed social practi...

The paper presents a logical framework for the integration of interactions between institutional agents, human agents and software agents. It is shown, through a case study, that the relationships between actions performed by these three kinds of agents are defined in terms of the Searle’s ”counts as” concept and their justifications are based on the roles hold by human agents or by a causal re...

Multi agent system (MAS) model has been extensively used in the different tasks of E-Commerce such as customer relation management (CRM), negotiation and brokering. The objective of this paper is to evaluate a seller agent’s various cognitive parameters like capability, trust, and desire. After selecting a best seller agent from ordering queue, it applies negotiation strategies to find the most...