Recently, new approaches to adaptive control have sought to reformulate the problem as a minimization of a relative entropy criterion to obtain tractable solutions. In particular, it has been shown that minimizing the expected deviation from the causal input-output dependencies of the true plant leads to a new promising stochastic control rule called the Bayesian control rule. This work proves the convergence of the Bayesian control rule under two sufficient assumptions: boundedness, which is an ergodicity condition; and consistency, which is an instantiation of the sure-thing principle.

Preface This is a companion paper to Conscious Intelligent Systems Part 1 by the same author (1), which discusses a possible evolutionary path for consciousness and intelligence from simple systems to human level consciousness and intelligence. Man has long been held to be a thinking animal, his thought processes have been held to be the reason for his superiority over the animals. The grand aim of AI has always been to make an entity that can think. Turing took up this very question in his paper (2) on whether machines can think. On the more prosaic roads that real AI has been forced to follow, such grand questions have almost died down. Another major trigger for the demise has been Searle's Chinese Room (3) parody . With this rather cunning device, Searle set the cat among the pigeons and has helped induce self-doubt in the best of AI theorists. One of the major triggers towards Searle's views was language, whether syntax suffices for semantics and therefore understanding. From our evolutionary learning system perspective, which we discuss in Part I of this discussion, we see that all these processes are tied together, the processes of consciousness, intelligence, mind, thought, and language. In a bid to show the interconnectedness of these factors, we take up the question of understanding and its communication. Similar to our treatment of the subject of consciousness based intelligent systems in Part 1, here we treat understanding from first principles. Understanding In the real world when we use the term understanding, it has two main attributes; one is the capacity to infer, the other is the capacity to recognize or discern. In computing and AI contexts the word understanding is arguably tilted more in favor of inference than perception or cognition, in normal life and in the natural kingdom the reverse is true. This is primarily because AI's aims and present status look elemental when compared to the entities of the natural world. The other reason is that AI entities find it easier to infer than cognize, which is in itself a reflection of their design sources and its aims. For the purposes of this discussion the term understanding implies the natural version, a mix of cognition and inference. If we start from first principles, it is clear that for a rule to emerge out of a set of raw data, an inferential process has to run on it. This process could be a formal inferential process or a process that is driven by the needs of economy or efficiency. Rules need not always rise out of intentional activity, for instance the interaction of water flowing from an open tap into a pot already full of water can create a set of rules that disallow further water entry, limit mixing and regulate overflow, many natural rules rise from interactions like these.

Outsourcing of complex IT infrastructure to IT service providers has increased substantially during the past years. IT service providers must be able to fulfil their service-quality commitments based upon predefined Service Level Agreements (SLAs) with the service customer. They need to manage, execute and maintain thousands of SLAs for different customers and different types of services, which needs new levels of flexibility and automation not available with the current technology. The complexity of contractual logic in SLAs requires new forms of knowledge representation to automatically draw inferences and execute contractual agreements. A logic-based approach provides several advantages including automated rule chaining allowing for compact knowledge representation as well as flexibility to adapt to rapidly changing business requirements. We suggest adequate logical formalisms for representation and enforcement of SLA rules and describe a proof-of-concept implementation. The article describes selected formalisms of the ContractLog KR and their adequacy for automated SLA management and presents results of experiments to demonstrate flexibility and scalability of the approach.

A fuzzy logic based classification engine has been developed for classifying mass spectra obtained with an imaging internal source Fourier transform mass spectrometer (I^2LD-FTMS). Traditionally, an operator uses the relative abundance of ions with specific mass-to-charge (m/z) ratios to categorize spectra. An operator does this by comparing the spectrum of m/z versus abundance of an unknown sample against a library of spectra from known samples. Automated positioning and acquisition allow I^2LD-FTMS to acquire data from very large grids, this would require classification of up to 3600 spectrum per hour to keep pace with the acquisition. The tedious job of classifying numerous spectra generated in an I^2LD-FTMS imaging application can be replaced by a fuzzy rule base if the cues an operator uses can be encapsulated. We present the translation of linguistic rules to a fuzzy classifier for mineral phases in basalt. This paper also describes a method for gathering statistics on ions, which are not currently used in the rule base, but which may be candidates for making the rule base more accurate and complete or to form new rule bases based on data obtained from known samples. A spatial method for classifying spectra with low membership values, based on neighboring sample classifications, is also presented.

An important problem to be addr essed within Event-Driven Architecture (EDA) is how to correctly and efficiently capture and process the event/action-based logic. This paper endeavors to bridge the gap between the Knowledge Representation (KR) approaches based on durable events/actions and such formalisms as event calculus, on one hand, and event-condition-action (ECA) reaction rules extending the approach of active databases that view events as instantaneous occurrences and/or sequences of events, on the other. We propose formalism based on reaction rules (ECA rules) and a novel interval-based event logic and present concrete RuleML-based syntax, semantics and implementation. We further evaluate this approach theoretically, experimentally and on an example derived from common industry use cases and illustrate its benefits.

Event-driven reactive functionalities are an urgent need in nowadays distributed service-oriented applications and (Semantic) Web-based environments. An important problem to be addressed is how to correctly and efficiently capture and process the event-based behavioral, reactive logic represented as ECA rules in combination with other conditional decision logic which is represented as derivation rules. In this paper we elaborate on a homogeneous integration approach which combines derivation rules, reaction rules (ECA rules) and other rule types such as integrity constraint into the general framework of logic programming. The developed ECA-LP language provides expressive features such as ID-based updates with support for external and self-updates of the intensional and extensional knowledge, transactions including integrity testing and an event algebra to define and process complex events and actions based on a novel interval-based Event Calculus variant.

Doctoral Symposium of MATES'06 Abstract: Automated management and monitoring of service contracts like Service Level Agreements (SLAs) or higher-level policies is vital for efficient and reliable distributed se rvice-oriented architectures (SOA) with high quality of service (QoS) levels. IT service provider need to manage, exec ute and maintain thousands of SLAs for different customers and different types of services, which needs new levels of flexibility and automation not available with the current technology. I propose a novel rule-based knowledge representation (KR) for SLA rules and a respective rule-based service level management (RBSLM) framework. My rule-based approach based on logic programming pr ovides several advantages including automated rule chaining allowing for compact knowledge representation and high levels of automation as well as flexibility to adapt to rapidly changing business requirements. Therewith, I address an urgent need service-oriented businesses do have nowadays which is to dynamically change their business and contractual logic in order to adapt to rapidly changing business environments and to overcome the restricting nature of slow change cycles.

Rule-based policy and contract systems have rarely been stu died in terms of their software engineering properties. This is a serious omission, because in rule-based policy or contract representat ion languages rules are being used as a declarative programming language to form alize real-world decision logic and create IS production systems upon. This paper adopts an SE methodology from extreme programming, namely t est driven development, and discusses how it can be adapted to verificat ion, validation and integrity testing (V&V&I) of policy and contract sp ecifications. Since, the test-driven approach focuses on the behavioral a spects and the drawn conclusions instead of the structure of the rule base a nd the causes of faults, it is independent of the complexity of the rule lan guage and the system under test and thus much easier to use and understand f or the rule engineer and the user.

An approach to the classification problem of machine learning, based on building local classification rules, is developed. The local rules are considered as projections of the global classification rules to the event we want to classify. A massive global optimization algorithm is used for optimization of quality criterion. The algorithm, which has polynomial complexity in typical case, is used to find all high--quality local rules. The other distinctive feature of the algorithm is the integration of attributes levels selection (for ordered attributes) with rules searching and original conflicting rules resolution strategy. The algorithm is practical; it was tested on a number of data sets from UCI repository, and a comparison with the other predicting techniques is presented.

In this report, a novel approach to intelligence and learning is introduced; this approach is based upon what we called percep tion logic. W h at we call ' perception automata ' is introduced in which learning is accom p lished at different perception resolution. Learning in this autom a ta is not heuristic, rather it guarantees the convergence of the approxim a ted function to whatever precision required. Furthe rm ore, the learning process can take place on-line and in at m o st O(log(N)) epochs, where N is the num ber of sam p les. The perception autom a ta is based on hierarchal leve ls of resolution in which each level adds som e details to the constructed function till th e final level can successfully reconstruct the whole function. This approach com b ines the favors of com putational approach in the sense that it is precise, structural and rigorous, and the features of distributed processing and adaptivity of soft com puting, as well as continuity and real-tim e response of dynam i cal system s.