分离域中的行为模仿
人工智能
2022-05-20 v1
摘要
设计使一个系统模仿另一系统行为的策略是计算机科学许多领域中自然出现的问题。本文从智能体的角度，在 LTLf（一种常用于人工智能中表示有限轨迹属性的形式化语言）的语境下解释该问题。我们的模型由两个分离的动态域 D_A 和 D_B，以及一个 LTLf 规约组成，该规约通过将 D_A 的行为（轨迹）上的属性映射到 D_B 的行为上的属性来形式化模仿的概念。目标是合成一种策略，逐步将 D_A 的每种行为映射为 D_B 的一种行为，从而满足该规约。我们考虑多种形式的映射规约，从简单形式到完整的 LTLf，并针对每一种研究其合成算法与计算性质。
引用
@article{arxiv.2205.09201,
title = {Mimicking Behaviors in Separated Domains},
author = {Giuseppe De Giacomo and Dror Fried and Fabio Patrizi and Shufang Zhu},
journal= {arXiv preprint arXiv:2205.09201},
year = {2022}
}