知识空间与学习策略的完备性
Knowledge Spaces and the Completeness of Learning Strategies
摘要：
我们提出了一个学习理论，旨在形式化的一些想法Coquand的游戏语义和Krivine的实现经典逻辑。我们引入了一个新的拓扑结构的知识状态的概念，捕捉有限的积极和消极的信息，指导学习策略。我们使用一个领先的例子来说明如何非建设性的证明导致知识空间的连续和有效的学习策略，并证明我们的学习语义是健全的和完整的w.r.t.经典真理，因为它是Coquand和Krivine的方法的情况。
英文摘要：
We propose a theory of learning aimed to formalize some ideas underlying Coquand's game semantics and Krivine's realizability of classical logic. We introduce a notion of knowledge state together with a new topology, capturing finite positive and negative information that guides a learning strategy. We use a leading example to illustrate how non-constructive proofs lead to continuous and effective learning strategies over knowledge spaces, and prove that our learning semantics is sound and complete w.r.t. classical truth, as it is the case for Coquand's and Krivine's approaches.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
