Different notions of equivalence, such as the prominent notions of strong and uniform equivalence, have been studied in Answer-Set Programming, mainly for the purpose of identifying programs that can serve as substitutes without altering the semantics, for instance in program optimization. Such semantic comparisons are usually characterized by various selections of models in the logic of Here-and-There (HT). For uniform equivalence however, correct characterizations in terms of HT-models can only be obtained for finite theories, respectively programs. In this article, we show that a selection of countermodels in HT captures uniform equivalence also for infinite theories. This result is turned into coherent characterizations of the different notions of equivalence by countermodels, as well as by a mixture of HT-models and countermodels (so-called equivalence interpretations). Moreover, we generalize the so-called notion of relativized hyperequivalence for programs to propositional theories, and apply the same methodology in order to obtain a semantic characterization which is amenable to infinite settings. This allows for a lifting of the results to first-order theories under a very general semantics given in terms of a quantified version of HT. We thus obtain a general framework for the study of various notions of equivalence for theories under answer-set semantics. Moreover, we prove an expedient property that allows for a simplified treatment of extended signatures, and provide further results for non-ground logic programs. In particular, uniform equivalence coincides under open and ordinary answer-set semantics, and for finite non-ground programs under these semantics, also the usual characterization of uniform equivalence in terms of maximal and total HT-models of the grounding is correct, even for infinite domains, when corresponding ground programs are infinite.

A combined Short-Term Learning (STL) and Long-Term Learning (LTL) approach to solving mobile-robot navigation problems is presented and tested in both the real and virtual domains. The LTL phase consists of rapid simulations that use a Genetic Algorithm to derive diverse sets of behaviours, encoded as variable sets of attributes, and the STL phase is an idiotypic Artificial Immune System. Results from the LTL phase show that sets of behaviours develop very rapidly, and significantly greater diversity is obtained when multiple autonomous populations are used, rather than a single one. The architecture is assessed under various scenarios, including removal of the LTL phase and switching off the idiotypic mechanism in the STL phase. The comparisons provide substantial evidence that the best option is the inclusion of both the LTL phase and the idiotypic system. In addition, this paper shows that structurally different environments can be used for the two phases without compromising transferability.

RESTful services on the Web expose information through retrievable resource representations that represent self-describing descriptions of resources, and through the way how these resources are interlinked through the hyperlinks that can be found in those representations. This basic design of RESTful services means that for extracting the most useful information from a service, it is necessary to understand a service's representations, which means both the semantics in terms of describing a resource, and also its semantics in terms of describing its linkage with other resources. Based on the Resource Linking Language (ReLL), this paper describes a framework for how RESTful services can be described, and how these descriptions can then be used to harvest information from these services. Building on this framework, a layered model of RESTful service semantics allows to represent a service's information in RDF/OWL. Because REST is based on the linkage between resources, the same model can be used for aggregating and interlinking multiple services for extracting RDF data from sets of RESTful services.

Adopting a layered architecture, a number of building blocks have been proposed that serve different purposes, from low-level data encoding to high-level semantic representation. In this architecture, the building blocks for ontologies, rules, and query languages play a prominent role. Furthermore, to ensure interoperability and wide applicability, standard representation formalisms are propagated by the World Wide Web Consortium(W3C), including the Resource Description Framework (RDF) [RDF Concepts 2004; RDF Semantics 2004], the Web Ontology Language (OWL) [OWL Semantics 2004; OWL 2 2009], and the recent Rule Interchange Format Basic Logic Dialect (RIF BLD) [RIF BLD 2009]. In addition, the RIF logical framework [Kifer 2008] lays the foundation for Web rule languages extending RIF BLD with nonmonotonic negation. Each of these formalisms has a formal semantics, which is either expressible in terms of classical logic or logic programming [de Bruijn and Heymans 2007; Horrocks and Patel-Schneider 2003; Kifer 2008]. There is a need for combining these formalisms, which is illustrated by the following simple example.

In order to get strategic positioning for competition in business organization, the information system must be ahead in this information age where the information as one of the weapons to win the competition and in the right hand the information will become a right bullet. The information system with the information technology support isn't enough if just only on internet or implemented with internet technology. The growth of information technology as tools for helping and making people easy to use must be accompanied by wanting to make fun and happy when they make contact with the information technology itself. Basically human like to play, since childhood human have been playing, free and happy and when human grow up they can't play as much as when human was in their childhood. We have to develop the information system which is not perform information system itself but can help human to explore their natural instinct for playing, making fun and happiness when they interact with the information system. Virtual information system is the way to present playing and having fun atmosphere on working area.

Computational Intelligence (CI) is a sub-branch of Artificial Intelligence paradigm focusing on the study of adaptive mechanisms to enable or facilitate intelligent behavior in complex and changing environments. There are several paradigms of CI [like artificial neural networks, evolutionary computations, swarm intelligence, artificial immune systems, fuzzy systems and many others], each of these has its origins in biological systems [biological neural systems, natural Darwinian evolution, social behavior, immune system, interactions of organisms with their environment]. Most of those paradigms evolved into separate machine learning (ML) techniques, where probabilistic methods are used complementary with CI techniques in order to effectively combine elements of learning, adaptation, evolution and Fuzzy logic to create heuristic algorithms that are, in some sense, intelligent. The current trend is to develop consensus techniques, since no single machine learning algorithms is superior to others in all possible situations. In order to overcome this problem several meta-approaches were proposed in ML focusing on the integration of results from different methods into single prediction. We discuss here the Landau theory for the nonlinear equation that can describe the adaptive integration of information acquired from an ensemble of independent learning agents. The influence of each individual agent on other learners is described similarly to the social impact theory. The final decision outcome for the consensus system is calculated using majority rule in the stationary limit, yet the minority solutions can survive inside the majority population as the complex intermittent clusters of opposite opinion.

Information system is an arrangement of people, data, processes, and information technology that interact to collect, process, store, and provide as output the information needed to support an organization [4]. There are many information systems which become sub information system that will collaborate one and others in one information system. They are: 1) TPS (Transactional Processing System) 2) SCM (Supply Chain Management) 3) CRM (Customer Relationship Management) 4) OLTP (Online Transactional Processing) 5) ES (Expert System) 6) EIS (Executive Information System) 7) MIS (Management Information System) 8) DW (Data Warehouse) 9) BI (Business Intelligence) 10) OLAP (Online Analytical Processing) 11) DSS (Decision Support System) In the implementation the information system has been created as management level's needed. For example like TPS, OLTP, CRM, and SCM are designed for low level management to capture data and MIS, DW, OLAP, Expert System and DSS are designed for middle management, while EIS is designed for high level management. Although for some information system are designed for all management level like SCM,CRM, OLAP, DW, Expert System, and DSS. Figure 1 shows this type of information system and the level management allocation.

In Aerts & Gabora (2005a,b), we introduced a modeling scheme for concepts and their combinations that makes use of the mathematical formalism of quantum physics. This quantum modeling scheme has been further worked out in Aerts (2009a) and Aerts (2010a,b). The experimental data we used to create our modeling scheme were data collected in experiments with human subjects that were conducted within the framework of concepts research in psychology (Hampton 1988a,b). These experiments required human subjects to estimate typicalities of exemplars of concepts and their combinations. The results of these estimations were in conflict with how combinations of concepts such as'conjunction' and'disjunction' were expected to behave classically, as prescribed by classical logic or set theory. Hampton called these deviations from classical behavior'overextension' and'underextension', depending on their relation to the classically expected values of typicality (Hampton 1988a,b).

The current investigations on hyper-heuristics design have sprung up in two different flavours: heuristics that choose heuristics and heuristics that generate heuristics. In the latter, the goal is to develop a problem-domain independent strategy to automatically generate a good performing heuristic for the problem at hand. This can be done, for example, by automatically selecting and combining different low-level heuristics into a problem specific and effective strategy. Hyper-heuristics raise the level of generality on automated problem solving by attempting to select and/or generate tailored heuristics for the problem at hand. Some approaches like genetic programming have been proposed for this. In this paper, we explore an elegant nature-inspired alternative based on self-assembly construction processes, in which structures emerge out of local interactions between autonomous components. This idea arises from previous works in which computational models of self-assembly were subject to evolutionary design in order to perform the automatic construction of user-defined structures. Then, the aim of this paper is to present a novel methodology for the automated design of heuristics by means of self-assembly.

Innate immunity now occupies a central role in immunology. However, artificial immune system models have largely been inspired by adaptive not innate immunity. This paper reviews the biological principles and properties of innate immunity and, adopting a conceptual framework, asks how these can be incorporated into artificial models. The aim is to outline a meta-framework for models of innate immunity.