我正在做一个练习,在这里我需要展示一下KB |= ~D。
我知道知识库是:
- (B v ¬C) => ¬A
- (¬A v D) => B
- A ∧ C
在转换为全国保卫部队之后:
A ∧ C ∧ (¬A v ¬B) ∧ (¬A v C) ∧ (A v B) ∧ (B v ¬D)
所以现在我已经转换为CNF,但从那里,我不知道如何进一步。会很感激你的帮助。谢谢!
我是数据科学的新手,我想深入研究它。
我决定开始在kaggle上进行高级竞赛,但是我应该改进我在python和ML方面的知识。
我是一名工程师,有4年的编程经验(基本上是php vanilla JS,以及基于javascript的框架)。
我和python一起对Udemy进行了一次关于ML的调查。由于我已经是一名程序员,我知道大部分的基本知识,我只需要熟悉这个脚本以及它是如何用python编写的。
我迫切需要一个人的帮助,他们可以帮助我,如果我应该参加Python for everyone,或者直接进入密歇根大学的Applies data science with Python。
我知道,有时
select
t1.city_name
from
(
select
'全国' as city_name
from
stg.t_vip
union all
select
cc.city_name
from
stg.t_city_config cc
join
stg.t_vip v
on
v.city_id =