[计算机科学] 基于Agent的自主空间软件工程方法 [推广有奖]

摘要翻译：
目前的空间软件工程方法，如卫星控制系统，都是基于反馈控制器的开发，使用软件包，如MATLAB的Simulink工具箱。这些为适应环境变化的工程实时系统提供了强大的工具，但当控制器本身需要适应时，这些工具受到了限制。我们正在研究如何将时态逻辑和agent编程的思想与这种控制系统的使用相结合，以提供一个更强大的自主决策层。本文将讨论我们对这种系统工程的初步方法。
---
英文标题：
《Agent Based Approaches to Engineering Autonomous Space Software》
---
作者：
Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa,
  Sandor M. Veres
---
最新提交年份：
2010
---
分类信息：

一级分类：Computer Science        计算机科学
二级分类：Multiagent Systems        多智能体系统
分类描述：Covers multiagent systems, distributed artificial intelligence, intelligent agents, coordinated interactions. and practical applications. Roughly covers ACM Subject Class I.2.11.
涵盖多Agent系统、分布式人工智能、智能Agent、协调交互。和实际应用。大致涵盖ACM科目I.2.11类。
--
一级分类：Computer Science        计算机科学
二级分类：Artificial Intelligence        人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--

---
英文摘要：
  Current approaches to the engineering of space software such as satellite control systems are based around the development of feedback controllers using packages such as MatLab's Simulink toolbox. These provide powerful tools for engineering real time systems that adapt to changes in the environment but are limited when the controller itself needs to be adapted.   We are investigating ways in which ideas from temporal logics and agent programming can be integrated with the use of such control systems to provide a more powerful layer of autonomous decision making. This paper will discuss our initial approaches to the engineering of such systems.
---
PDF链接：
https://arxiv.org/pdf/1003.0617