7 research outputs found
Transport aircraft loading and balancing system: Using a CLIPS expert system for military aircraft load planning
The requirement for improving aircraft utilization and responsiveness in airlift operations has been recognized for quite some time by the Canadian Forces. To date, the utilization of scarce airlift resources has been planned mainly through the employment of manpower-intensive manual methods in combination with the expertise of highly qualified personnel. In this paper, we address the problem of facilitating the load planning process for military aircraft cargo planes through the development of a computer-based system. We introduce TALBAS (Transport Aircraft Loading and BAlancing System), a knowledge-based system designed to assist personnel involved in preparing valid load plans for the C130 Hercules aircraft. The main features of this system which are accessible through a convivial graphical user interface, consists of the automatic generation of valid cargo arrangements given a list of items to be transported, the user-definition of load plans and the automatic validation of such load plans
Desarrollo y tendencias de la inteligencia artificial
Este artÃculo presenta una revisión en el tema del desarrollo y tendencias de la inteligencia artificial. La inteligencia artificial está tomando amplia relevancia a nivel mundial, en razón de la gran flexibilidad que tiene para resolver problemas relacionados con la medicina, ingenierÃas, militar y entretenimiento. El cine y los medios de comunicación han jugado un papel decisivo en la acogida y el interés suscitado por la inteligencia artificial. Tanto el desarrollo de entornos de programación amigables lenguajes de programación especializada para inteligencia artificial, han facilitado enormemente el desarrollo de aplicativos, que se encuentran en campos de estudio. Existe software por módulos que permiten modelar soluciones a problemas de forma fácil, atractiva y muy genérica, usando inteligencia artificial
Aeronautical engineering: A continuing bibliography with indexes (supplement 225)
This bibliography lists 429 reports, articles, and other documents introduced into the NASA scientific and technical information system in March, 1988
Formal verification of AI software
The application of formal verification techniques to Artificial Intelligence (AI) software, particularly expert systems, is investigated. Constraint satisfaction and model inversion are identified as two formal specification paradigms for different classes of expert systems. A formal definition of consistency is developed, and the notion of approximate semantics is introduced. Examples are given of how these ideas can be applied in both declarative and imperative forms
Space Station Freedom automation and robotics: An assessment of the potential for increased productivity
This report presents the results of a study performed in support of the Space Station Freedom Advanced Development Program, under the sponsorship of the Space Station Engineering (Code MT), Office of Space Flight. The study consisted of the collection, compilation, and analysis of lessons learned, crew time requirements, and other factors influencing the application of advanced automation and robotics, with emphasis on potential improvements in productivity. The lessons learned data collected were based primarily on Skylab, Spacelab, and other Space Shuttle experiences, consisting principally of interviews with current and former crew members and other NASA personnel with relevant experience. The objectives of this report are to present a summary of this data and its analysis, and to present conclusions regarding promising areas for the application of advanced automation and robotics technology to the Space Station Freedom and the potential benefits in terms of increased productivity. In this study, primary emphasis was placed on advanced automation technology because of its fairly extensive utilization within private industry including the aerospace sector. In contrast, other than the Remote Manipulator System (RMS), there has been relatively limited experience with advanced robotics technology applicable to the Space Station. This report should be used as a guide and is not intended to be used as a substitute for official Astronaut Office crew positions on specific issues
Third CLIPS Conference Proceedings, volume 2
Expert systems are computer programs which emulate human expertise in well defined problem domains. The C Language Integrated Production System (CLIPS) is an expert system building tool, developed at the Johnson Space Center, which provides a complete environment for the development and delivery of rule and/or object based expert systems. CLIPS was specifically designed to provide a low cost option for developing and deploying expert system applications across a wide range of hardware platforms. The development of CLIPS has helped to improve the ability to deliver expert system technology throughout the public and private sectors for a wide range of applications and diverse computing environments. The Third Conference on CLIPS provided a forum for CLIPS users to present and discuss papers relating to CLIPS applications, uses, and extensions
Aeronautical engineering: A cumulative index to a continuing bibliography (supplement 235)
This publication is a cummulative index to the abstracts contained in Supplements 223 through 234 of Aeronautical Engineering: A Continuing Bibliography. The bibliographic series is compiled through the cooperative efforts of the American Institute of Aeronautics and Astronautics (AIAA) and the National Aeronautics and Space Administration (NASA). Seven indexes are included -- subject, personal author, corporate source, foreign technology, contract number, report number and accession number