论文标题
部分可观测时空混沌系统的无模型预测
Negation-Closure for JSON Schema
论文作者
论文摘要
JSON Schema是描述JSON文件家庭的不断发展的标准。这是一种逻辑语言，基于一系列断言，这些断言描述了分析中的JSON值的特征以及这些断言（包括否定操作员）的逻辑或结构组合者。大多数具有否定的逻辑语言均可予以否定，也就是说，对于每个操作员来说，他们都有表达否定的否定偶。我们表明，JSON Schema并非如此，我们研究了草案的最新版本如何变化，并讨论了如何相应地将语言丰富。在此过程中，我们定义了JSON模式的代数重新重新制定，我们成功地在原型系统中用于生成模式证人。
JSON Schema is an evolving standard for describing families of JSON documents. It is a logical language, based on a set of assertions that describe features of the JSON value under analysis and on logical or structural combinators for these assertions, including a negation operator. Most logical languages with negation enjoy negation closure, that is, for every operator they have a negation dual that expresses its negation. We show that this is not the case for JSON Schema, we study how that changed with the latest versions of the Draft, and we discuss how the language may be enriched accordingly. In the process, we define an algebraic reformulation of JSON Schema, which we successfully employed in a prototype system for generating schema witnesses.
