Autonomous Agents and Intelligent Assistants for Exploration Operations

Human exploration of space will involve remote autonomous crew and systems in long missions. Data to earth will be delayed and limited. Earth control centers will not receive continuous real-time telemetry data, and there will be communication round trips of up to one hour. There will be reduced human monitoring on the planet and earth. When crews are present on the planet, they will be occupied with other activities, and system management will be a low priority task. Earth control centers will use multi-tasking "night shift" and on-call specialists. A new project at Johnson Space Center is developing software to support teamwork between distributed human and software agents in future interplanetary work environments. The Engineering and Mission Operations Directorates at Johnson Space Center (JSC) are combining laboratories and expertise to carry out this project, by establishing a testbed for hWl1an centered design, development and evaluation of intelligent autonomous and assistant systems. Intelligent autonomous systems for managing systems on planetary bases will commuicate their knowledge to support distributed multi-agent mixed-initiative operations. Intelligent assistant agents will respond to events by developing briefings and responses according to instructions from human agents on earth and in space

A Universal Machine for Biform Theory Graphs

Broadly speaking, there are two kinds of semantics-aware assistant systems for mathematics: proof assistants express the semantic in logic and emphasize deduction, and computer algebra systems express the semantics in programming languages and emphasize computation. Combining the complementary strengths of both approaches while mending their complementary weaknesses has been an important goal of the mechanized mathematics community for some time. We pick up on the idea of biform theories and interpret it in the MMTt/OMDoc framework which introduced the foundations-as-theories approach, and can thus represent both logics and programming languages as theories. This yields a formal, modular framework of biform theory graphs which mixes specifications and implementations sharing the module system and typing information. We present automated knowledge management work flows that interface to existing specification/programming tools and enable an OpenMath Machine, that operationalizes biform theories, evaluating expressions by exhaustively applying the implementations of the respective operators. We evaluate the new biform framework by adding implementations to the OpenMath standard content dictionaries.Comment: Conferences on Intelligent Computer Mathematics, CICM 2013 The final publication is available at http://link.springer.com

Role of Integrated Parking Information System in Traffic Management

Management tasks of parking facilities (coordination of demand and supply) belong to mobility and trac management, especially in the case of limited capacities. While researches regarding to parking problems usually focus on narrower fields (processes, implementation), claim for integrated, comprehensive trac management appears even more intensively. The information technology offers a wide toolkit for this. The concept of the integrated parking management system has been elaborated. It takes into consideration the dierent characteristics of the parking methods. A ranking calculation method has been developed, which assesses the parking facilities and gives suggestions for the trip chain and the parking spot. This is based on time-dependent and ever-changing resistance values. The method takes into consideration the dynamic features of facilities, users' preferences and the applied management strategy. It can be used for the development of route guidance and navigation software. In the future, mobility and parking demands can be influenced by real-time and interactive information management via smartphones. These equipments became personal intelligent travel assistant devices

AI’s Role in Enhancing the Construction of Regional Primary and Secondary School Teachers

This paper investigates and analyzes the current situation of regional teaching staff and explores the path of AI in enhancing the construction of primary and secondary school teachers. Recent state documents have emphasized the urgent need for AI to improve teaching staff development. The study reveals issues in the construction of primary and secondary school teachers' teams in teaching, management, and training. For instance, classroom teaching is limited by time and space, making it difficult to achieve personalized learning for students and differentiated teaching for teachers. Teacher training lacks individual and group diagnosis, which does not consider teacher individuality, differences, and hierarchy. The evaluation of teachers in regional management and service tends to be subjective, and the awareness and application of data are inadequate. The study proposes addressing these problems by building and applying teacher big data, developing an AI assistant for teachers, and upgrading the quality of teaching intelligent monitoring systems. The proposed measures aim to promote high-quality development of regional teaching staff by establishing the main path for AI to enhance the construction of primary and secondary school teachers

Realising Team-Working in the Field: An Agent-based Approach

Multi-agent systems technology is applied to enable co-operation between mobile workers in the field, minimising user intervention and increasing reachability. A component-based approach is taken to simplify the management of deployed co-operation services. A Personal Assistant running on a mobile device is introduced to show how an intelligent and autonomous agent can increase the utility of users during workforce co-operation processes. Finally, a real world trial of the technology by network installation and maintenance engineers in the UK is described. Some technical issues revealed during the trial are discussed, as is the impact of the technology on the business process

Realising intelligent virtual design

This paper presents a vision and focus for the CAD Centre research: the Intelligent Design Assistant (IDA). The vision is based upon the assumption that the human and computer can operate symbiotically, with the computer providing support for the human within the design process. Recently however the focus has been towards the development of integrated design platforms that provide general support irrespective of the domain, to a number of distributed collaborative designers. This is illustrated within the successfully completed Virtual Reality Ship (VRS) virtual platform, and the challenges are discussed further within the NECTISE, SAFEDOR and VIRTUE projects

Realising intelligent virtual design

This paper presents a vision and focus for the CAD Centre research: the Intelligent Design Assistant (IDA). The vision is based upon the assumption that the human and computer can operate symbiotically, with the computer providing support for the human within the design process. Recently however the focus has been towards the development of integrated design platforms that provide general support irrespective of the domain, to a number of distributed collaborative designers. This is illustrated within the successfully completed Virtual Reality Ship (VRS) virtual platform, and the challenges are discussed further within the NECTISE, SAFEDOR and VIRTUE projects

Supporting decision making process with "Ideal" software agents: what do business executives want?

According to Simon’s (1977) decision making theory, intelligence is the first and most important phase in the decision making process. With the escalation of information resources available to business executives, it is becoming imperative to explore the potential and challenges of using agent-based systems to support the intelligence phase of decision-making. This research examines UK executives’ perceptions of using agent-based support systems and the criteria for design and development of their “ideal” intelligent software agents. The study adopted an inductive approach using focus groups to generate a preliminary set of design criteria of “ideal” agents. It then followed a deductive approach using semi-structured interviews to validate and enhance the criteria. This qualitative research has generated unique insights into executives’ perceptions of the design and use of agent-based support systems. The systematic content analysis of qualitative data led to the proposal and validation of design criteria at three levels. The findings revealed the most desirable criteria for agent based support systems from the end users’ point view. The design criteria can be used not only to guide intelligent agent system design but also system evaluation