On Repairing Reasoning Reversals via Representational Refinements

Representation is a fluent. A mismatch between the real world and an agent’s representation of it can be signalled by unexpected failures (or successes) of the agent’s reasoning. The ‘real world ’ may include the ontologies of other agents. Such mismatches can be repaired by refining or abstracting an agent’s ontology. These refinements or abstractions may not be limited to changes of belief, but may also change the signature of the agent’s ontology. We describe the implementation and successful evaluation of these ideas in the ORS system. ORS diagnoses failures in plan execution and then repairs the faulty ontologies. Our automated approach to dynamic ontology repair has been designed specifically to address real issues in multi-agent systems, for instance, as envisaged in the Semantic Web

Wind turbine condition monitoring : technical and commercial challenges.

Deployment of larger scale wind turbine systems, particularly offshore, requires more organized operation and maintenance strategies to ensure systems are safe, profitable and cost-effective. Among existing maintenance strategies, reliability centred maintenance is regarded as best for offshore wind turbines, delivering corrective and proactive (i.e. preventive and predictive) maintenance techniques enabling wind turbines to achieve high availability and low cost of energy. Reliability centred maintenance analysis may demonstrate that an accurate and reliable condition monitoring system is one method to increase availability and decrease the cost of energy from wind. In recent years, efforts have been made to develop efficient and cost-effective condition monitoring techniques for wind turbines. A number of commercial wind turbine monitoring systems are available in the market, most based on existing techniques from other rotating machine industries. Other wind turbine condition monitoring reviews have been published but have not addressed the technical and commercial challenges, in particular, reliability and value for money. The purpose of this paper is to fill this gap and present the wind industry with a detailed analysis of the current practical challenges with existing wind turbine condition monitoring technology

CBR and MBR techniques: review for an application in the emergencies domain

The purpose of this document is to provide an in-depth analysis of current reasoning engine practice and the integration strategies of Case Based Reasoning and Model Based Reasoning that will be used in the design and development of the RIMSAT system. RIMSAT (Remote Intelligent Management Support and Training) is a European Commission funded project designed to: a.. Provide an innovative, 'intelligent', knowledge based solution aimed at improving the quality of critical decisions b.. Enhance the competencies and responsiveness of individuals and organisations involved in highly complex, safety critical incidents - irrespective of their location. In other words, RIMSAT aims to design and implement a decision support system that using Case Base Reasoning as well as Model Base Reasoning technology is applied in the management of emergency situations. This document is part of a deliverable for RIMSAT project, and although it has been done in close contact with the requirements of the project, it provides an overview wide enough for providing a state of the art in integration strategies between CBR and MBR technologies.Postprint (published version

BCAUS Project description and consideration of separation of data and control

The commonly stated truths that data may be segregated from program control in generic expert system shells and that such tools support straightforward knowledge representation were examined. The ideal of separation of data from program control in expert systems is difficult to realize for a variety of reasons. One approach to achieving this goal is to integrate hybrid collections of specialized shells and tools instead of producing custom systems built with a single all purpose expert system tool. Aspects of these issues are examined in the context of a specific diagnostic expert system application, the Backup Control Mode Analysis and Utility System (BCAUS), being developed for the Gamma Ray Observatory (GRO) spacecraft. The project and the knowledge gained in working on the project are described

The 1990 progress report and future plans

This document describes the progress and plans of the Artificial Intelligence Research Branch (RIA) at ARC in 1990. Activities span a range from basic scientific research to engineering development and to fielded NASA applications, particularly those applications that are enabled by basic research carried out at RIA. Work is conducted in-house and through collaborative partners in academia and industry. Our major focus is on a limited number of research themes with a dual commitment to technical excellence and proven applicability to NASA short, medium, and long-term problems. RIA acts as the Agency's lead organization for research aspects of artificial intelligence, working closely with a second research laboratory at JPL and AI applications groups at all NASA centers

Modelling human teaching tactics and strategies for tutoring systems

One of the promises of ITSs and ILEs is that they will teach and assist learning in an intelligent manner. Historically this has tended to mean concentrating on the interface, on the representation of the domain and on the representation of the student’s knowledge. So systems have attempted to provide students with reifications both of what is to be learned and of the learning process, as well as optimally sequencing and adjusting activities, problems and feedback to best help them learn that domain. We now have embodied (and disembodied) teaching agents and computer-based peers, and the field demonstrates a much greater interest in metacognition and in collaborative activities and tools to support that collaboration. Nevertheless the issue of the teaching competence of ITSs and ILEs is still important, as well as the more specific question as to whether systems can and should mimic human teachers. Indeed increasing interest in embodied agents has thrown the spotlight back on how such agents should behave with respect to learners. In the mid 1980s Ohlsson and others offered critiques of ITSs and ILEs in terms of the limited range and adaptability of their teaching actions as compared to the wealth of tactics and strategies employed by human expert teachers. So are we in any better position in modelling teaching than we were in the 80s? Are these criticisms still as valid today as they were then? This paper reviews progress in understanding certain aspects of human expert teaching and in developing tutoring systems that implement those human teaching strategies and tactics. It concentrates particularly on how systems have dealt with student answers and how they have dealt with motivational issues, referring particularly to work carried out at Sussex: for example, on responding effectively to the student’s motivational state, on contingent and Vygotskian inspired teaching strategies and on the plausibility problem. This latter is concerned with whether tactics that are effectively applied by human teachers can be as effective when embodied in machine teachers

Involuntary Unemployment : the Elusive Quest for a Theory

This paper addresses the issue of why Keynesian economists have had such a hard time in giving the concept of involuntary unemployment a place in economic theory. Is the gradual demise of this concept a manifestation of some inner defect in economic theory or is it due to some intrinsic weakness in the concept itself, which limits its usefulness when it comes to economic theorising? I have recently published a book which attempts to answer this question, and my aim in this paper is to present its main results. I start by characteristing Keynes’s programme as consisting of the following four elements : 1) demonstrating the existence of involuntary unemployment; 2) demonstrating that wage rigidity can be exonerated as its cause; 3) giving a general equilibrium or interdependency explanation of the phenomenon; 4) demonstrating that demand stimulation is the proper remedy for the problem. Next, I bring out four conceptual ambiguities that have plagued discussions about involuntary unemployment : the confusion between involuntary unemployment and underemployment; the confusion between involuntary unemployment in the individual disiquilibrium sense and involuntary unemployment in the frustration sense; a loose understanding of the notion of full emplyment; and, finally, a less than rigorous definition of the notion of rigidity. The paper continues by presenting my arguments on whether different types of New Keynesian modesls (implicit contracts, efficiency wages, coordination failures and imperfect competition) have succeeded in achieving Keynes’s programme. My conclusion is that they all fail on at least one of its items. In the final section of this paper, I speculate on whether it is still worthwhile for economists with a Keynesian inclination to keep fighting in defence of involuntary unemployment.Keynes; Involuntary Unemployment; New keynesian Theory