实体
Answer Set Programming (ASP)
Answer Set Programming (ASP)
PulseAugur coverage of Answer Set Programming (ASP) — every cluster mentioning Answer Set Programming (ASP) across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新的ASP框架集成模糊逻辑进行定性推理
本文介绍了一种新颖的基于模糊逻辑的答案集编程（ASP）扩展，旨在处理具有模糊语言标签的定性推理。所提出的框架将数值数据（例如机器学习模型的输出）与定性概念上的符号推理相结合。主要特点包括基于学习的隶属函数和语义丰富的谓词，从而实现了一种统一的声明式方法，该方法结合了专家知识、上下文因素和主观解释。
-
新的元编程框架简化了时间ASP逻辑
研究人员开发了一个新颖的元编程框架，旨在简化时间集求解（Answer Set Programming, ASP）的时间扩展的实现和探索。该框架通过将形式化类型规范和嵌套能力纳入clingo的理论语法，增强了标准的ASP元编程。它包括一个转换管道，通过防止嵌套模态在接地（grounding）过程中被简化来保持语义正确性，并通过实现线性时间均衡逻辑（TEL）、度量均衡逻辑（MEL）和动态均衡逻辑（DEL）的元编码进行了演示。该系统名为me…