0
votes
1answer
185 views

Using implication with the Universal quantifier

While reviewing my AI textbook, I came across a paragraph that baffled me. It attempts to explain why the truth table for implication turns out to be perfect, as ...
3
votes
0answers
127 views

Convert a WFF to Clausal Form

I'm given the following question: Convert the following WFF into clausal form: \begin{equation*} \forall(X)(q(X)\to(\exists(Y)(\neg(p(X,Y)\vee r(X,Y))\to h(X,Y))\wedge f(X))) \end{equation*} ...
1
vote
1answer
69 views

CHeck my proof of how I arrived at my answer

Show proof for: (P --> Q), P ^ (~ ~R & ~ ~ Q), (S --> ~ R), ~(P & Q) : (~S ^ ~Q) is this correct? (P --> Q) Premise P ^ ( ~ ~R & ~ ~Q) Premise (S --> ~R) ...
0
votes
0answers
38 views

Some theoretical question about ID3 machine learning algorithm

I am studying the ID3 algotithm for an universitary exame and I have some problems to understand how is select the best attribute to create new subtrees having fewer attributes in their root (until ...
2
votes
2answers
248 views

Some doubts about the differences between logic implication and inference rule

I am studying for an Artificial Inteligence university exam that includes a section dedicated to mathematical logic. I am finding some difficulty in understanding the difference between logical ...
2
votes
3answers
442 views

First order logic.

In Artificial intelligence, I saw the following question and answer in website. Question: Politicians can fool some people all of the time, and they can fool all people some of the time, ...
0
votes
1answer
504 views

Propositional Logic. Algorithm for Deciding Entailment [closed]

I start studying artificial intelligence and logic. There are many things I do not know. Reading about inference I found that a Knowledge Base KB entails a sentence a if and only if a is true in ...