M·阿斯克。;J.马莱克。 资源有限的推理：用标签演绎系统表示的主动逻辑。 （英语） Zbl 1194.03025号 牛市。波兰。阿卡德。科学。，科技。 53，第1期，69-78（2005）。 摘要：使用有限的计算资源（如时间或内存）进行推理是一个重要问题，尤其是在知识密集型嵌入式系统中。经典逻辑通常被认为不适合这个目的，因为无法保证最后期限。解决这个问题的一个更有趣的方法是围绕主动逻辑的概念构建的。虽然主动逻辑是朝着正确的方向迈出的一步，但它只是寻找可接受解决方案的初步尝试。我们的工作基于这样一个假设，即标记演绎系统（LDS）提供了适当的元数学方法来研究这个问题。作为第一步，我们将一对主动逻辑系统，即记忆模型及其形式化简化，即步骤逻辑，重新定义为LDS。本文介绍了我们支持此项目的动机，然后概述了与此工作相关的元推理研究，并合理详细地介绍了MM系统。 引用于1文件 MSC公司： 03B60号 其他非经典逻辑 03B22号 抽象演绎系统 关键词：有源逻辑;标记演绎系统;资源有限的推理 PDF格式BibTeX公司 XML格式引用 \textit{M.Asker}和\textit{J.Malec}，公牛。波兰。阿卡德。科学。，技术科学。53，第1号，69--78（2005；Zbl 1194.03025） 全文： 链接