Its capabilities cover a wide range of possible styles of algorithms. It is al so a standard environment for testing different techniques of making standard software agents with distributed architecture[10]. Rescue Simulation System also prov ides a standard framework for testing proposed algorithms and mathematical models of disaster events[8]. Designing an autonomous agent set like the one that is required for RoboCup Rescue Simulation is a little bit more of a challenge. Planning effective collaboration for a Multi-Agent team in disastrous environments still remains a challenging area in AI. Efforts of Multi-Agent researchers have provided somewhat of a standard in modeling and designing software. A lot of effort has gone into reaching coordination between different agents and making autonomous decisions that work toward the team goal[9]. But practical results in complicated domains such as RoboCup Rescue Simulation indicate that heuristic criteria still remain as a major part of a successful system[11]. This may signal lack of satisfactory models for these complicated situations.

It is very important for quadruped walking machine to keep its stability in high speed walking. It has been indicated that moment around the supporting diagonal line of quadruped in trotting gait largely influences walking stability. In this paper, moment around the supporting diagonal line of quadruped in trotting gait is modeled and its effects on body attitude are analyzed. The degree of influence varies with different initial stances of quadruped and we get the optimal initial stance of quadruped in trotting gait with maximal walking stability. Simulation results are presented. Keywords: quadruped, trotting, attitude, walking stability.

Research on integrated neural-symbolic systems has made si gnificant progress in the recent past. In particular the understanding of ways t o deal with symbolic knowledge within connectionist systems (also cal led artificial neural networks) has reached a critical mass which enables the c ommunity to strive for applicable implementations and use cases. Recen t work has covered a great variety of logics used in artificial intelligenc e and provides a multitude of techniques for dealing with them within the con text of artificial neural networks. Already in the pioneering days of computational models of ne ural cognition, the question was raised how symbolic knowledge can be r epresented and dealt with within neural networks. The landmark paper [M cCulloch and Pitts, 1943] provides fundamental insights how propositional logic can be processed using simple artificial neural networks. Within the following decades, however, the topic did not receive much attention as research in artifi cial intelligence initially focused on purely symbolic approaches. The power of machine learning using artificial neural networking was not recogni zed until the 80s, when in particular the backpropagation algorithm [Rumelha rt et al., 1986] made connectionist learning feasible and applicable in pra ctice. These advances indicated a breakthrough in machine learnin g which quickly led to industrial-strength applications in areas s uch as image analysis, speech and pattern recognition, investment analysis, engine monitoring, fault diagnosis, etc. During a training process from raw dat a, artificial neural networks acquire expert knowledge about the problem dom ain, and the ability to generalize this knowledge to similar but previou sly unencountered situations in a way which often surpasses the abilities of hu man experts.

The synchronization of two stochastically coupled one-dim ensional cellular automata (CA) is analyzed. It is shown that the transition to synchronizatio n is characterized by a dramatic increase of the statistical complexity of the patterns generated by t he difference automaton. This singular behavior is verified to be present in several CA rules display ing complex behavior. Despite all the efforts devoted to understand the meaning of complexity, we still do not have an instrument in the laboratories specially designed for quantifying this property. M aybe this is not the final objective of all those theoretical attempts carried out in the most diverse fields of know ledge in the last years [1, 2, 3, 4, 5, 6, 7, 8], but, for a moment, let us think in that possibility.

We present in this work a new methodology to design kernels on data which is structured with smaller components, such as text, images or sequences. This methodology is a template procedure which can be applied on most kernels on measures and takes advantage of a more detailed "bag of components" representation of the objects. To obtain such a detailed description, we consider possible decompositions of the original bag into a collection of nested bags, following a prior knowledge on the objects' structure. We then consider these smaller bags to compare two objects both in a detailed perspective, stressing local matches between the smaller bags, and in a global or coarse perspective, by considering the entire bag. This multiresolution approach is likely to be best suited for tasks where the coarse approach is not precise enough, and where a more subtle mixture of both local and global similarities is necessary to compare objects. The approach presented here would not be computationally tractable without a factorization trick that we introduce before presenting promising results on an image retrieval task.

Categorical data clustering is an important research problem in pattern recognition and data mining. The k -modes algorithm [1] extends the k -means paradigm to cluster categorical data by using (1) a simple matching dissimilarity measure for categorical objects, (2) modes instead of means for clusters, and (3) a frequency-based method to update modes in the k -means fashion to minimize the cost function of clustering. The k -modes algorithm is widely used in real world applications due to its efficiency in dealing with large categorical database. In standard k -modes algorithm, a simple matching similarity measure is used, in which the distance is either 0 or 1. Such simple matching dissimilarity measure doesn't consider the implicit similarity relationship embedded in categorical values, which will result in a weaker intra-cluster similarity by allocating less similar objects to the cluster. To illustrate this fact, let's consider the following example shown in Fig.1. Example 1: In this artificial example, the dataset is described with 3 categorical attributes A1, A2,and A3, and there are two clusters with their modes. Assuming that we have to allocate a data object Y = [a, p, w] to either cluster 1 or cluster 2. According to the k -modes algorithm, we can assign Y to either cluster 1 or cluster 2 since these two clusters have the same mode. However, from the viewpoint of intra-cluster simila rity, it is more desirable to allocate Y to cluster 1.

Often times, individuals working together as a team can solve hard problems beyond the capability of any individual in the team. Cooperative optimization is a newly proposed general method for attacking hard optimization problems inspired by cooperation principles in team playing. It has an established theoretical foundation and has demonstrated outstanding performances in solving real-world optimization problems. With some general settings, a cooperative optimization algorithm has a unique equilibrium and converges to it with an exponential rate regardless initial conditions and insensitive to perturbations. It also possesses a number of global optimality conditions for identifying global optima so that it can terminate its search process efficiently. This paper offers a general description of cooperative optimization, addresses a number of design issues, and presents a case study to demonstrate its power.

Canonical correlation analysis is a technique to extract common features from a pair of multivariate data. In complex situations, however, it does not extract useful features because of its linearity. On the other hand, kernel method used in support vector machine is an efficient approach to improve such a linear method. In this paper, we investigate the effectiveness of applying kernel method to canonical correlation analysis.

A framework named Copula Component Analysis (CCA) for blind source separation is proposed as a generalization of Independent Component Analysis (ICA). It differs from ICA which assumes independence of sources that the underlying components may be dependent with certain structure which is represented by Copula. By incorporating dependency structure, much accurate estimation can be made in principle in the case that the assumption of independence is invalidated. A two phrase inference method is introduced for CCA which is based on the notion of multidimensional ICA.

A Nash Equilibrium (NE) is a strategy profile resilient to unilateral deviations, and is predominantly used in the analysis of multiagent systems. A downside of NE is that it is not necessarily stable against deviations by coalitions. Yet, as we show in this paper, in some cases, NE does exhibit stability against coalitional deviations, in that the benefits from a joint deviation are bounded. In this sense, NE approximates strong equilibrium. Coalition formation is a key issue in multiagent systems. We provide a framework for quantifying the stability and the performance of various assignment policies and solution concepts in the face of coalitional deviations. Within this framework we evaluate a given configuration according to three measures: (i) IR_min: the maximal number alpha, such that there exists a coalition in which the minimal improvement ratio among the coalition members is alpha, (ii) IR_max: the maximal number alpha, such that there exists a coalition in which the maximal improvement ratio among the coalition members is alpha, and (iii) DR_max: the maximal possible damage ratio of an agent outside the coalition. We analyze these measures in job scheduling games on identical machines. In particular, we provide upper and lower bounds for the above three measures for both NE and the well-known assignment rule Longest Processing Time (LPT). Our results indicate that LPT performs better than a general NE. However, LPT is not the best possible approximation. In particular, we present a polynomial time approximation scheme (PTAS) for the makespan minimization problem which provides a schedule with IR_min of 1+epsilon for any given epsilon. With respect to computational complexity, we show that given an NE on m >= 3 identical machines or m >= 2 unrelated machines, it is NP-hard to determine whether a given coalition can deviate such that every member decreases its cost.