问题标签 [conjunctive-normal-form]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
python - 如何在 spacy 中获得合取的跨度?
我使用 spacytoken.conjuncts
来获取每个标记的合取。
但是,返回类型token.conjuncts
是tuple
,但我想获取span
类型,例如:
有谁知道如何将其转换tuple
为span
类型?
或者也许我怎样才能直接获得span
连词的类型?
我需要span
type 的原因是,我想使用conjuncts (span)
来定位这个连词的位置,例如,这个连词属于哪个名词块或一个拆分(无论我用什么方式拆分它们)。
目前,我将tuple
to转换str
为迭代所有拆分或名词块以搜索拆分/名词块是否包含 this conjunct
。
但是,存在一个错误,例如,当一个conjunct
(令牌的)出现在多个拆分/名词块中时,定位包含它的确切拆分将是一个问题conjunct
。因为我只考虑str
而不考虑index
orid
的conjunct
。如果我能拥有span
这个conjunct
,那么我就可以定位到这个的确切位置conjunct
。
请随时发表评论,在此先感谢!
java - 另一个空子句中的一个空子句是否等同于一个空子句?(以 CNF 形式)
是子句 { { } } ≡ { } 吗?子句是 CNF 形式的。我试着想了想,所以最终的解决方案,根据我的说法应该是该陈述是正确的。理解是否正确?
javascript - 在 JavaScript 中将命题公式转换为合取范式的算法实现?
我看到了如何将命题公式转换为合取范式 (CNF)?但它没有进入实施细节。所以我很幸运地找到了显示类型的这个:
然后它有这个有用的(开始)功能CONVERT
:
我将它翻译成下面的 JavaScript,但被困在 AND 和 OR 位上。我想确保我也得到了正确的。
我的“数据模型”/数据结构的描述在这里。
我有 AND 和 OR 作为一对。所以,如果你这样写数学:
在代码中会更像这样:
但问题是,我们可能有任意的公式树:
与 OR 相同。那么你将如何实现这些函数convertDisjunction
和convertConjunction
,以便它们可以处理那种树数据结构呢?
我尝试实现convertConjunction
and convertDisjunction
,但我认为我做的不对。