|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 算法理论与分析 』 (http://bbs.xml.org.cn/list.asp?boardid=60) ---- [求助] 自然语言命题的符号化 (http://bbs.xml.org.cn/dispbbs.asp?boardid=60&rootid=&id=103673) |
|
-- 作者：魔力天使 -- 发布时间：8/24/2011 9:41:00 AM -- [求助] 自然语言命题的符号化 集合名称 元素 U x|x是一位顾客 C X|是一位首选顾客 P X|x是交了费 S X|x收到账单的 某些交了费的首选顾客收到了账单 （ C∩P）∩S≠空集 （ C∩P）∕∈空集 收到账单的每个首选顾客交了费 all （s∩c） is p 根据模型可以写出 （ C∩s）∈p (c∩s)∩p=空集 没有交了费的顾客收到了账单 all (p∩u)' is s 根据模型可以写出 p'∈s 上面的答案是错的。 正确的答案是（c∩p）∈s' 有没有一个比较正确的方法，可以很快的找出 c的存在？ 本来是想用 vnn图来进行可视化理解。发现这样有很大的局限性，因为在将来会多于四个条需要判断，vnn就失去作用了。
|
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
39.063ms |