有限多值语义下加权条件知识库上神经网络推理的 ASP 方法
人工智能
2022-05-18 v3
摘要
近年来，带有典型性的描述逻辑的加权知识库已在“概念式”多偏好语义（包括二值和模糊情形）下被视作多层感知机（MLPs）逻辑语义的基础。本文通过三种不同的语义构造，考虑有限多值情形下的带典型性加权条件 ALC 知识库。对于 ALC 的布尔片段 LC，我们利用 ASP 和“asprin”在 phi-相干语义下推理概念式多偏好蕴含，该语义适用于刻画 MLP 的稳态。作为概念验证，我们实验了所提方法用于检查训练后 MLP 的性质。本文正在接受 TPLP 的录用评审。
引用
@article{arxiv.2202.01123,
title = {An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases},
author = {Laura Giordano and Daniele Theseider Dupré},
journal= {arXiv preprint arXiv:2202.01123},
year = {2022}
}
备注
Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages