用逻辑作为算子消去的计算：ToyElim系统
Computing with Logic as Operator Elimination: The ToyElim System
Technische Universität Dresden（德累斯顿工业大学）
摘要：
描述了一个原型系统，其核心功能是，基于命题逻辑，消除二阶运算符，如布尔量词和投影，遗忘和限制操作。这种方法允许在知识表示中表达许多表示和计算任务-例如关于逻辑编程语义的溯因解释和模型的计算-在统一的操作系统中，由统一的经典语义框架支持。
英文摘要：
A prototype system is described whose core functionality is, based on propositional logic, the elimination of second-order operators, such as Boolean quantifiers and operators for projection, forgetting and circumscription. This approach allows to express many representational and computational tasks in knowledge representation - for example computation of abductive explanations and models with respect to logic programming semantics - in a uniform operational system, backed by a uniform classical semantic framework.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
