conjunctive-normal-form相关内容
我使用spacy,token.conjuncts来获取每个标记的合取词。 但是,token.conjuncts的返回类型是tuple,但我想获取span类型,例如: import spacy nlp = spacy.load("en_core_web_lg") sentence = "I like to eat food at the lunch time, or even at t
..
我有一个库,我必须与哪些行为基本上作为数据源接口。检索数据时,我可以将特殊的“过滤器表达式”传递给该库,稍后将其转换为SQL WHERE部分。这些表达式非常有限。他们必须是联合正常的形式。喜欢: (A或B或C)和(D或E或F)和... 这当然不是很适合编程。所以我想制作一个可以解析任意表达式并将它们转换为正常形式的包装器。喜欢: (A和(B或C)和D)或E
..
我有一个合乎逻辑的EX pression,我想评价。 这位前pression可以嵌套,由T(真)或F(假)和括号。 括号“(”意为“逻辑或”。 每个人身边两个方面TF(或每个人的身边其他两个组合),应进行AND(逻辑与)。 例如,前pression: ((TFT)T)=真 我需要一种算法来解决此问题。我认为首先将前pression以析取或合取范式,然后我可以很容易地评估EX press
..