问题标签 [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.

0 投票
1 回答
125 浏览

python - 如何在 spacy 中获得合取的跨度?

我使用 spacytoken.conjuncts来获取每个标记的合取。

但是,返回类型token.conjunctstuple,但我想获取span类型,例如:

有谁知道如何将其转换tuplespan类型?

或者也许我怎样才能直接获得span连词的类型?

我需要spantype 的原因是,我想使用conjuncts (span)来定位这个连词的位置,例如,这个连词属于哪个名词块或一个拆分(无论我用什么方式拆分它们)。

目前,我将tupleto转换str为迭代所有拆分或名词块以搜索拆分/名词块是否包含 this conjunct

但是,存在一个错误,例如,当一个conjunct(令牌的)出现在多个拆分/名词块中时,定位包含它的确切拆分将是一个问题conjunct。因为我只考虑str而不考虑indexoridconjunct。如果我能拥有span这个conjunct,那么我就可以定位到这个的确切位置conjunct

请随时发表评论,在此先感谢!

0 投票
1 回答
40 浏览

java - 另一个空子句中的一个空子句是否等同于一个空子句?(以 CNF 形式)

是子句 { { } } ≡ { } 吗?子句是 CNF 形式的。我试着想了想,所以最终的解决方案,根据我的说法应该是该陈述是正确的。理解是否正确?

0 投票
3 回答
114 浏览

javascript - 在 JavaScript 中将命题公式转换为合取范式的算法实现?

我看到了如何将命题公式转换为合取范式 (CNF)?但它没有进入实施细节。所以我很幸运地找到显示类型的这个:

然后它有这个有用的(开始)功能CONVERT

我将它翻译成下面的 JavaScript,但被困在 AND 和 OR 位上。我想确保我也得到了正确的。

我的“数据模型”/数据结构的描述在这里

我有 AND 和 OR 作为一对。所以,如果你这样写数学:

在代码中会更像这样:

但问题是,我们可能有任意的公式树:

与 OR 相同。那么你将如何实现这些函数convertDisjunctionconvertConjunction,以便它们可以处理那种树数据结构呢?

我尝试实现convertConjunctionand convertDisjunction,但我认为我做的不对。