认知规范三十年

Jorge Fandinno; Wolfgang Faber; Michael Gelfond

认知规范三十年

人工智能 2021-10-06 v2 计算机科学中的逻辑

作者: Jorge Fandinno , Wolfgang Faber , Michael Gelfond

摘要

认知规范语言与认知逻辑程序将析取逻辑程序在稳定模型语义下扩展以包含称为主观文字的模态构造。利用主观文字，可以检查某个常规文字在程序的每个或某些稳定模型中是否为真，这些模型在此语境下亦称\emph{信念集}，被收集于称为世界观的集合中。这允许在语言内部表示某一命题应依据开放世界假设还是封闭世界假设来理解。为通过形式语义捕捉该语言背后的直觉，已有若干尝试，产生了大量提案，致使难以理解当前技术状态。本文提供该领域起源及其适用的知识表示与推理任务的概览。我们还详细分析所提语义的性质，并展望该领域未来研究需应对的挑战。本文在 Theory and Practice of Logic Programming (TPLP) 审稿中

关键词

认知规范认知逻辑程序主观文字稳定模型语义知识表示推理

引用

@article{arxiv.2108.07669,
  title  = {Thirty years of Epistemic Specifications},
  author = {Jorge Fandinno and Wolfgang Faber and Michael Gelfond},
  journal= {arXiv preprint arXiv:2108.07669},
  year   = {2021}
}

备注

Under consideration in Theory and Practice of Logic Programming (TPLP)

认知规范三十年

摘要

关键词

引用

备注

相关论文