.png){kind=icon}
返回
Human Emotion Verification by Action Languages via Answer Set Programming
.png){kind=icon}
OA
AI
DOI：10.1017/s1471068426100416.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文介绍了行动语言C-MT（心智转换语言），该语言建立在答案集程序和转换系统之上，用于表示人类心智状态如何对一系列可观察行动做出反应而演变。借鉴如情绪评估理论等成熟心理学理论，我们将心智状态（如情绪）形式化为多维配置。为使智能体行为可控并限制不当心理影响等不良效应，我们引入了一种新型因果规则“禁止引起”，以及针对心智状态动态的专用构造。这些构造允许将有效转换指定为约束和不变性属性，并在转换系统中严格评估其轨迹。该框架支持对心智变化的不同动态进行推理和比较。我们将该行动语言应用于情绪验证模型的构建。
Keyword:
action languages
answer set programming
verification
theory of mind
期刊
T
IF:
1.1
论文数:
24
被引数:
684
机构
引用论文
Suicide prevention and depression apps' suicide risk assessment and management: a systematic assessment of adherence to clinical guidelines自杀预防和抑郁症应用程序的自杀风险评估和管理: 对临床指南依从性的系统评估.png)
BMC MEDICINE
OAAI
BMC MEDICINEIF8.3
OAAI分享收藏
查看更多内容