An analysis of the application of AI to the development of intelligent aids for flight crew tasks

This report presents the results of a study aimed at developing a basis for applying artificial intelligence to the flight deck environment of commercial transport aircraft. In particular, the study was comprised of four tasks: (1) analysis of flight crew tasks, (2) survey of the state-of-the-art of relevant artificial intelligence areas, (3) identification of human factors issues relevant to intelligent cockpit aids, and (4) identification of artificial intelligence areas requiring further research

Monitoring Computer Systems: An Intelligent Approach

Monitoring modern computer systems is increasingly difficult due to their peculiar characteristics. To cope with this situation, the dissertation develops an approach to intelligent monitoring. The resulting model consists of three major designs: representing targets, controlling data collection, and autonomously refining monitoring performance. The model explores a more declarative object-oriented model by introducing virtual objects to dynamically compose abstract representations, while it treats conventional hard-wired hierarchies and predefined object classes as primitive structures. Taking the representational framework as a reasoning bed, the design for controlling mechanisms adopts default reasoning backed up with ordered constraints, so that the amount of data collected, levels of details, semantics, and resolution of observation can be appropriately controlled. The refining mechanisms classify invoked knowledge and update the classified knowledge in terms of the feedback from monitoring. The approach is designed first and then formally specified. Applications of the resulting model are examined and an operational prototype is implemented. Thus the dissertation establishes a basis for an approach to intelligent monitoring, one which would be equipped to deal effectively with the difficulties that arise in monitoring modern computer systems

Extended incidence calculus and its comparison with related theories

This thesis presents a comprehensive study o f incidence calculus, a probabilistic logic for reasoning under uncertainty which extends two-value propositional logic to a multiple-value logic. There are three main contributions in this thesis.First of all, the original incidence calculus is extended considerably in three aspects: (a) the original incidence calculus is generalized; (b) an efficient algorithm for incidence assignment based on generalized incidence calculus is developed; (c) a combination rule is proposed for the combination of both independent and some dependent pieces of evidence. Extended incidence calculus has the advantages of representing information flexibly and combining multiple sources o f evidence.Secondly, a comprehensive comparison between extended incidence calculus and the Dempster-Shafer (DS) theory of evidence is provided. It is proved that extended incidence calculus is equivalent to DS theory in representing evidence and combining independent evidence but superior to DS theory in combining de­pendent evidence.Thirdly, the relations between extended incidence calculus and the assumption- based truth maintenance systems are discussed. It is proved that extended inci­dence calculus is equivalent to the ATM S in calculating labels for nodes. Extended incidence calculus can also be used as a basis for constructing probabilistic ATMSs.The study in this thesis reveals that extended incidence calculus can be re­garded as a bridge between numerical and symbolic reasoning mechanisms

Default Theory : an Alternative Approach

Computer Scienc

Second generation knowledge based systems in habitat evaluation.

Many expert, or knowledge-based, systems have been constructed in the domain of ecology, several of which are concerned with habitat evaluation. However, these systems have been geared to solving particular problems, with little regard paid to the underlying relationships that exist within a biological system. The implementation of problem-solving methods with little regard to understanding the more primary knowledge of a problem area is referred to in the literature as 'shallow', whilst the representation and utilisation of knowledge of a more fundamental kind is termed 'deep'. This thesis contains the details of a body of research exploring issues that arise from the refinement of traditional expert systems methodologies and theory via the incorporation of depth, along with enhancements in the sophistication of the methods of reasoning (and subsequent effects on the mechanisms of communication between human and computer), and the handling of uncertainty. The approach used to address this research incorporates two distinct aspects. Firstly, the literature of 'depth', expert systems in ecology, uncertainty, and control of reasoning and related user interface issues are critically reviewed, and where inadequacies exist, proposals for improvements are made. Secondly, practical work has taken place involving the construction of two knowledge based systems, one 'traditional', and the other a second generation system. Both systems are primarily geared to the problem of evaluating a pond site with respect to its suitability for the great crested newt (Triturus cristatus). This research indicates that it is possible to build a second-generation knowledge-based system in the domain of ecology, and that construction of the second generation system required a magnitude of effort similar to the firstgeneration system. In addition, it shows that, despite using different architectures and reasoning strategies, such systems may be judged as equally acceptable by endusers, and of similar accuracy in their conclusions. The research also offers guidance concerning the organisation and utilisation of deep knowledge within an expert systems framework, in both ecology and in other domains that have a similar concept-rich nature