This paper shows how a social reasoning mechanism can be used by an agent in order to enhance his adaptation in an open multi-agent system. By open multi-agent system, we mean that new agents can dynamically enter and leave the agency and that some of them can change their current knowledge during execution time. We call adaptation the fact that due to these changes, the agents may be led to ma...

I present a domain-specific architecture targeted for a real-world version of the Blocks World domain called “Real” Blocks World. The architecture design attempts to include the best features of several popular Agent Architecures, while mitigating their weaknesses. Agent functionality is considered in light of environment scenarios, single-agent, and multiagent systems.

This study is to assess PBB in Shiraz municipality. So a questionnaire was issued and a model was proposed to assess the possibility of PBB. Based on SHAH model the study findings concerning the subjects were negative in relation to three authority dimensions namely the authority to assess the performance and human and technical abilities and there is not the authority necessary to execute PBB ...

People acquire new knowledge in various ways and this helps them to adapt to changing environment properly. In this paper, we investigate the interoperation of multiple learning mechanisms within a single system. We extend a cognitive architecture, ICARUS, to have three different modes of learning. Through experiments in a modified Blocks World and a route generation domain, we test and demonst...

We present a formalization of the blocks world on the basis of the situation calculus and circumscription, and investigate its mathematical properties. The main theorem describes the eeect of the circumscription which solves the frame problem in the presence of ramiications. The theorem is quite general, in the sense that it is applicable not only to the blocks world, but to a whole class of do...

In this paper, to compare the situation calculus and event calculus we formulate both as logic programs and prove properties of these by reasoning with their completions augmented with induction. We thus show that the situation calculus and event calculus imply one another. Whereas our derivation of the event calculus from the situation calculus requires the use of induction, our derivation of ...

Keeping planning problems as small as possible is a must in order to cope with complex tasks and environments. Earlier, we have described a method for cascading Description Logic (dl) representation and reasoning on the one hand, and Hierarchical Task Network (htn) action planning on the other. The planning domain description as well as the fundamental htn planning concepts are represented in d...

Orthogonal variable spreading factor (OVSF) codes are employed in the third generation (3G) wideband code division multiple access (WCDMA) wireless system as channelization codes. Any two OVSF codes of different tree levels are orthogonal if and only if one of two codes is not mother code of the other. This results in a major drawback of OVSF codes, called blocking property: when an OVSF code i...

Most of today’s software systems are large-scaled and have to manage manifold demands. To ease their development, reusable and proven architectural building blocks, for example architectural patterns, are often composed to the desired architecture. Building blocks are specified by their structure and behaviour. Additionally, each architectural building block has specific properties which are in...

The influence of stacking patterns, through the different spacer and skid sizes, on transient temperature distribution uniformity large-size forgings in a 112-m3 electrical heat treatment furnace was investigated by conducting CFD simulations real-scale experimental validation. A 3D model generated, including heat-treating chamber, axial flow fans, large size blocks, skids, spacers. Real-scale ...