8
votes
3answers
1k views

What Maths are the most important for Artificial Intelligence?

I am just curious about this. Please don't include anything about programming.
0
votes
1answer
298 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
194 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
73 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) ...
2
votes
2answers
332 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
494 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, ...
1
vote
1answer
570 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 ...