在非嵌入式计算机中面向动力滑翔机的非单调逻辑实现
人工智能
2019-09-23 v2
摘要
在本文中，我们提出了一种在非嵌入式系统中实现非单调推理的方法。作为自主动力滑翔机的一部分，它模拟飞机的驾驶决策。真实飞行员不仅必须关注来自座舱的信息（空速、高度、升降速度指示器、罗盘……），还要关注舱外信息。在整个飞行过程中，飞行员不断与控制塔通信以遵循指令，因为需要遵守空域法规。此外，若控制塔在飞行员遇到紧急情况时发送指令，他可能不得不违反这些指令和空域法规以解决问题（例如紧急降落）。另一方面，气候不断变化（风、雪、冰雹……）并可能影响传感器。所有这些情况都容易导致矛盾。转向不确定性下的推理，飞行员必须做出决策以完成飞行。该实现的目标是验证一个非单调模型，其能够解决不完整与矛盾信息的问题。我们使用缺省逻辑（一种可在矛盾面前寻找不动点的非单调逻辑）对问题进行形式化。在实现中，使用了 Prolog 语言，运行于主频 1 GHz 单核、512 Mb 内存、功耗 0.8 瓦的嵌入式计算机上。
引用
@article{arxiv.1907.13305,
title = {An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider},
author = {José Luis Vilchis Medina and Pierre Siegel and Vincent Risch and Andrei Doncescu},
journal= {arXiv preprint arXiv:1907.13305},
year = {2019}
}
备注
In Proceedings ICLP 2019, arXiv:1909.07646