Computer induction is discussed in the light of concerns recently expressed by Bloomfield about the use of such algorithms in expert systems construction.

Computational modelling of scientific discovery is emerging as an important research field in artificial intelligence. Various computational systems modelling different aspects of scientific research and discovery have been developed. This paper looks at some of these models in order to examine how knowledge is organized in such systems, what forms of representation they have, how their methods of learning and representation are integrated, and the effects of representation on learning. The paper also describes the achievements and shortcomings of these systems, and discusses the obstacles in developing more comprehensive models.

Knowledge collection systems often assume they are cooperating with an unbiased expert. They have few functions for checking and fixing the realism of the expertise transferred to the knowledge base, plan, document or other product of the interaction. The same problem arises when human knowledge engineers interview experts. The knowledge engineer may suffer from the same biases as the domain expert. Such biases remain in the knowledge base and cause difficulties for years to come.

To prevent such difficulties, this paper introduces the reader to “critic engineering”, a methodology that is useful when it is necessary to doubt, trap and repair expert judgment during a knowledge collection process. With the use of this method, the human expert and knowledge-based critic form a cooperative system. Neither agent alone can complete the task as well as the two together.

The methodology suggested here offers a number of extensions to traditional knowledge engineering techniques. Traditional knowledge engineering often answers the questions delineated in generic task (GT) theory, yet GT theory fails to provide four additional sets of questions that one must answer to engineer a knowledge base, plan, design or diagnosis when the expert is prone to error. This extended methodology is called “critic engineering”.

For successful application of knowledge-based systems, “knowledge transfer” (KT) should be receiving more attention. Knowledge transfer is defined as a flow of knowledge from knowledge suppliers through knowledge-based systems to users. Insufficient state-of-the-application of knowledge-based systems in Japan and its near future directions are analysed in terms of KT. Some example tasks for improving KT are reported. These tasks were experienced by the author in the course of 10 years of research and development on knowledge-based systems for project management.

Automated planning is the field of Artificial Intelligence (AI) that focuses on identifying sequences of actions allowing to reach a goal state from a given initial state. The need of using such techniques in real-world applications has brought popular languages for expressing automated planning problems to provide direct support for continuous and discrete state variables, along with changes that can be either instantaneous or durative. PDDL+ (Planning Domain Definition Language +) models support the encoding of such representations, but the resulting planning problems are notoriously difficult for AI planners to cope with due to non-linear dependencies arising from the variables and infinite search spaces. This difficulty is exacerbated by the potentially huge fully ground representations used by modern planners in order to effectively explore the search space, which can make some problems impossible to tackle.

This paper investigates two grounding techniques for PDDL+ problems, both aimed at reducing the size of the full ground representation by reasoning over the lifted, more abstract problem structure. The first method extends the simple mechanism of invariant analysis to limit the groundings of operators upfront. The second method proposes to tackle the grounding process through a PDDL+ to classical planning abstraction; this allows us to leverage the amount of research done in the classical planning area. Our empirical analysis studies the effect of these novel approaches over both real-world hybrid applications and synthetic PDDL+ problems took from standard benchmarks of the planning community; our results reveal that not only the techniques improve the running time of previous grounding mechanisms but also let the planner extend the reach to problems that were not solvable before.

Distributed systems are populated by a large number of heterogeneous entities that join and leave the systems dynamically. These entities act as clients and providers and interact with each other in order to get a resource or to achieve a goal. To facilitate the collaboration between entities, the system should provide mechanisms to manage the information about which entities or resources are available in the system at a certain moment, as well as how to locate them in an efficient way. However, this is not an easy task in open and dynamic environments where there are changes in the available resources and global information is not always available. In this paper, we present a comprehensive vision of search in distributed environments. This review not only considers the approaches of the peer-to-peer area, but also the approaches from three more areas: service-oriented environments, multi-agent systems, and complex networks. In these areas, the search for resources, services, or entities plays a key role for the proper performance of the systems built on them. The aim of this analysis is to compare approaches from these areas taking into account the underlying system structure and the algorithms or strategies that participate in the search process.

When a mechanic troubleshoots a car, a physician narrows down a diagnosis, a designer selects from among options, or a corporation conducts a post-mortem of a venture gone wrong, the nature knowledge used is more likely than not, the same. That knowledge is “function”, though in the above scenarios it may be variously referred to as “responsibility”, “causal factor” or “missing element”. Reasoning about function is an integral part of human reasoning. It is currently attracting a lot of attention in artificial intelligence.

There is a growing awareness of the potential of expert systems in the accounting profession, although the number of applications is limited. This paper assesses whether the profession is dragging its heels, or whether it is being wisely cautious.

The 7th Annual Knowledge-Based Software Engineering Conference was held at the McLean Hilton at Tysons Comer, in McLean, Virginia, on Sept. 20–23, 1992. This conference was sponsored by Rome Laboratory and held in cooperation with the IEEE Computer Society, ACM SIGART and SIGSOFT, and the American Association for Artificial Intelligence (AAAI).

The oft quoted inadequacy of von Neumann architectures for AI applications has regularly been used to justify the design of special purpose parallel machines. In particular, the von Neumann computational model has been criticized as being unsuitable for parallelism because of the memory access bottleneck. For the design of a new machine both top-down and bottom-up methodologies have drawbacks. The middle-out strategy, working both up and down from an intrinsically concurrent high-level programming language as a means of both representing and processing knowledge provides an attractive way of providing a symbiosis between software and hardware. The longest established and most well-founded symbolic method for the representation and manipulation of knowledge is logic. A notable result of the last decade, work on mechanical theorem proving was that a subset of predicate logic, Horn Clauses, can form the foundation of a computational model. The execution model of Prolog, the first popular language based on Horn Clauses, was designed for efficient evaluation on von Neumann architectures. An alternative computational model, more suitable for expressing reactive systems but retaining Prolog's affinity for metaprogramming, has given rise to a new class of languages, concurrent logic languages. One among many of these languages, FGHC (flat Guarded Horn Clauses), was developed by the Japanese as the kernel of their Fifth Generation initiative. A background familiarity with Prolog would be helpful in understanding this article.

In this paper, we describe how predictive models can be positively exploited in abstract argumentation. In particular, we present two main sets of results. On one side, we show that predictive models are effective for performing algorithm selection in order to determine which approach is better to enumerate the preferred extensions of a given argumentation framework. On the other side, we show that predictive models predict significant aspects of the solution to the preferred extensions enumeration problem. By exploiting an extensive set of argumentation framework features—that is, values that summarize a potentially important property of a framework—the proposed approach is able to provide an accurate prediction about which algorithm would be faster on a given problem instance, as well as of the structure of the solution, where the complete knowledge of such structure would require a computationally hard problem to be solved. Improving the ability of existing argumentation-based systems to support human sense-making and decision processes is just one of the possible exploitations of such knowledge obtained in an inexpensive way.

We propose a fully distributed actor-critic architecture, named diffusion-distributed-actor-critic Diff-DAC, with application to multitask reinforcement learning (MRL). During the learning process, agents communicate their value and policy parameters to their neighbours, diffusing the information across a network of agents with no need for a central station. Each agent can only access data from its local task, but aims to learn a common policy that performs well for the whole set of tasks. The architecture is scalable, since the computational and communication cost per agent depends on the number of neighbours rather than the overall number of agents. We derive Diff-DAC from duality theory and provide novel insights into the actor-critic framework, showing that it is actually an instance of the dual-ascent method. We prove almost sure convergence of Diff-DAC to a common policy under general assumptions that hold even for deep neural network approximations. For more restrictive assumptions, we also prove that this common policy is a stationary point of an approximation of the original problem. Numerical results on multitask extensions of common continuous control benchmarks demonstrate that Diff-DAC stabilises learning and has a regularising effect that induces higher performance and better generalisation properties than previous architectures.

The purpose of this paper is to review the use of knowledge-based systems and artificial intelligence (AI) in business. Part I of this paper provided a broad survey of the use of AI in business, summarizing the application of AI in a number of business domains. In addition, it also provided a summary of the use of different forms of knowledge representation in business applications. Part I has a large set of references, including a number of survey papers, focusing on AI in business. Part II of this paper consists of more detailed analysis of particular systems or issues affecting AI in business. It examines technical issues which are central to the construction of business AI systems, and it also examines the commercial contribution made by methods for the development of AI systems. In addition, part II looks at integration between AI and more traditional information systems. AI can be used to add value to many existing information systems, such as database management systems. Particular attention is given to the integration of AI with operations research, which is the one of the primary “competitors” of AI, providing an alternative set of support tools for decision making.

Business organizations are not concerned only with technology issues; there is also concern about the impact of AI on organizations. Further, the evaluation of AI often is based on an economic view of the world. Part II therefore investigates the organizational impact of AI, and the economics of AI, including issues such as value creation. The format of Part II is as follows: Section 8 analyses techniques for improving the performance of AI systems, thus maximizing economic return. Section 9 looks at different forms of uncertainty and ambiguity which must be dealt with by AI systems. It examines the contributions of fuzzy logic and numerical measures of certainty to handling these problems. Section 10 examines the usefulness of different approaches to knowledge acquisition in business situations, and investigates the benefits of methodological approaches to AI applications. It also looks at more recent AI programming techniques which eliminate the need for knowledge elicitation from an expert: neural networks, case-based reasoning and genetic algorithms are discussed. Sections 11 and 12 examine issues of integrating AI systems. Generally, the use of AI in business settings must ultimately be integrated with the broader base of corporate information systems. Section 11 looks at integration with information systems in general, and section 12 looks particularly at integration with operations research. Sections 13 and 14 review the organizational and economic impact of AI. Finally, section 15 provides a brief summary of part II.

This paper holds the material presented at our keynote at the Intelligent Virtual Environments and Virtual Agents Conference, where we analyzed future trends in virtual agent and environment technologies, as applied to the fields of videogames and interactive multimedia. We begin by observing current tendencies in game development projects, both in the market and in the academia, outlining their respective strengths and weaknesses. We follow by describing the aspects of game development that will come to shape the next generation of games, and discuss the requirements for academic projects to achieve the level of quality required to be competitive in this field. In the rest of the paper we analyze the roles, importance, challenges, and research opportunities that a new generation of virtual characters and environments will bring to the world of interactive entertainment.

One approach to solving planning problems is to compile them to other problems for which powerful off-the-shelf solvers are available; common targets include SAT, CSP, and MILP. Recently, a novel optimization technique has become available: quantum annealing (QA). QA takes as input problem instances of quadratic unconstrained binary optimization (QUBO) problem. Early quantum annealers are now available, though their constraints restrict the types of QUBOs they can take as input. Here, we introduce the planning community to the key steps in compiling planning problems to QA hardware: a hardware-independent step, mapping, and a hardware-dependent step, embedding. After describing two approaches to mapping general planning problems to QUBO, we describe preliminary results from running an early quantum annealer on a parametrized family of hard planning problems. The results show that different mappings can substantially affect performance, even when many features of the resulting instances are similar. We conclude with insights gained from this early study that suggest directions for future work.

The Knowledge Engineering Review is an outstanding journal in Computer Science. The guest editors and contributors to this Special Issue are economists. Why is this so? In recent years, there has been a growing dialogue between economists and computer scientists, to our mutual benefit. The Special Issue is devoted to nine papers in which economists survey aspects of the field of agent-based computational economics models, and in some cases report on new findings in several areas of application. As such, we hope it has something to offer both computer scientists and economists.

Video streaming over mobile wireless networks is getting popular in recent years. High video quality relies on large bandwidth provisioning, however, it decreases the number of supported users in wireless networks. Thus, effective bandwidth utilization becomes a crucial issue in wireless network as the bandwidth resource in wireless environment is precious and limited. The NGN quality of service mechanisms should be designed to reduce the impact of traffic burstiness on buffer management. For this reason, we propose an active dropping mechanism to deal with the effective bandwidth utilization in this paper. We use scalable video coding extension of H.264/AVC standard to provide different video quality for users of different levels. In the proposed dropping mechanism, when the network loading exceeds the threshold, the dropping mechanism starts to drop data of the enhancement layers for users of low service level. The dropping probability alters according to the change in network loading. With the dropping mechanism, the base station increases the system capability and users are able to obtain better service quality when the system is under heavy loading. We also design several methods to adjust the threshold value dynamically. By using the proposed mechanism, better quality can be provided when the network is in congestion.

One of the issues that have garnered little attention, but that is nevertheless important for developing practical robots, is optimal walking conditions like power consumption during walking. The main contribution of this research is to prepare a correct walking pattern for humans who have a problem with their walking and also study the effect of average motion speed on optimal power consumption. In this study, we firstly optimize the stability and minimize the power consumption of the robot during the single support phase using parameter optimization. Our approach is based on the well-known Zero Moment Point method to calculate the stability of the proposed biped robot. Secondly, we performed experiments on healthy male, age 29 years, to analyze human walking by placing 28 markers, attached to anatomical positions and two power plates for a distance of more than one gait cycle at an average speed of 1.23 ± 0.1 m s−1 validate our results for motion analysis of correct walking ability. Our model was continuously validated by comparing the results of our empirical evaluation against the prediction of our model. The errors between experimental test and our prediction were about 4%–11% for the joint trajectories and about 0.2%–0.5% for the ground reaction forces which is acceptable for our prediction. Due to the presented model and optimized issue and predicted path, the robot can move like a person in a way that has maximum stability along with the minimum power consumption. Finally, the robot was able to walk like a specific person that we considered. This study is a case study and also can be generalized to all samples and can perform these procedures to another person’s with different features.

This workshop brought together researchers concerned with fundamental issues of modelling action, those developing automated planning techniques and those attempting to implement autonomous agents acting in the world. In the past, these research communities have been separate from each other to a surprising extent. Researchers interested in theories of action have busied themselves with finding solutions to the frame and ramification problems, for very expressive theories of action. On the other hand, researchers interested in developing planning systems have typically concentrated on efficiency over expressiveness and assumed away the frame and ramification problems by means of the “STRIPS assumption”. Finally, researchers interested in implementing autonomous agents have found their attention occupied by issues of execution monitoring and sensing.