通过谓词重定义实现反向解释
人工智能
2024-08-06 v1 计算复杂性
摘要
基于谓词的历史解释 (HXP) 通过代理人与环境交互序列（即历史）中的任意谓词行为进行研究。为此，计算序列中每个动作的重要性得分。该解释包含向用户显示最重要的动作。由于计算动作重要性是 #W[1]-hard 的，对于长时间历史而言，必须近似得分，这会牺牲其质量。我们因此提出了一种新的 HXP 方法，称为 Backward-HXP (B-HXP)，用于在无需近似得分的情况下为这些历史提供解释。实验表明 B-HXP 能够概括长时间历史。
关键词
引用
@article{arxiv.2408.02606,
title = {Backward explanations via redefinition of predicates},
author = {Léo Saulières and Martin C. Cooper and Florence Dupin de Saint Cyr},
journal= {arXiv preprint arXiv:2408.02606},
year = {2024}
}