特邀编辑

格哈德·布鲁卡
维克托·马雷克
米雷克·特鲁兹琴斯基

特殊曲目内容

非单调推理涉及信息不完整或不确定的情况。因此，得出的结论缺乏经典逻辑推理的铁皮确定性。即使保留了原始信息，新信息也可能会改变结论。捕获非单调推理中涉及的机制并将其用于计算的形式化方法，如答案集编程范式，是该研究领域的核心。

这六篇论文对答案集语义下的逻辑编程基础、描述逻辑的非单调扩展、受限环境下的信念改变以及论证都有重要贡献。它们表明，该领域仍然充满活力，与人工智能的长期目标相关。