当前位置:
X-MOL 学术
›
arXiv.cs.LO
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
A kernel function for Signal Temporal Logic formulae
arXiv - CS - Logic in Computer Science Pub Date : 2020-09-11 , DOI: arxiv-2009.05484 Luca Bortolussi, Giuseppe Maria Gallo and Laura Nenzi
arXiv - CS - Logic in Computer Science Pub Date : 2020-09-11 , DOI: arxiv-2009.05484 Luca Bortolussi, Giuseppe Maria Gallo and Laura Nenzi
We discuss how to define a kernel for Signal Temporal Logic (STL) formulae.
Such a kernel allows us to embed the space of formulae into a Hilbert space,
and opens up the use of kernel-based machine learning algorithms in the context
of STL. We show an application of this idea to a regression problem in formula
space for probabilistic models.
中文翻译:
信号时序逻辑公式的核函数
我们讨论如何为信号时序逻辑 (STL) 公式定义内核。这样的内核允许我们将公式空间嵌入到希尔伯特空间中,并在 STL 的上下文中打开了基于内核的机器学习算法的使用。我们展示了这个想法在概率模型的公式空间中的回归问题的应用。
更新日期:2020-09-14
中文翻译:
信号时序逻辑公式的核函数
我们讨论如何为信号时序逻辑 (STL) 公式定义内核。这样的内核允许我们将公式空间嵌入到希尔伯特空间中,并在 STL 的上下文中打开了基于内核的机器学习算法的使用。我们展示了这个想法在概率模型的公式空间中的回归问题的应用。