For questions about artificial intelligence.

learn more… | top users | synonyms

22
votes
3answers
900 views

Mathematical preparation for postgraduate studies in Linguistics

I am an undergraduate student in Mathematics and I would like to continue my postgraduate studies in the harder, more mathematical aspects of Linguistics. What exactly would that include is unknown ...
11
votes
4answers
2k views

Mathematics base for data mining and artificial intelligence algorithms. [closed]

Could you give me some clarification about data mining and artificial intelligence algorithms? What mathematics base they used for? Could you give me starting point, in mathematics, to understand ...
10
votes
4answers
425 views

Application of computers in higher mathematics

Currently the main application of computers in mathematics seems to be to compute things, i.e. to solve equations, evaluate integrals, etc. It is at all possible to delegate the thinking of a ...
10
votes
2answers
657 views

What would be the shortest path between 2 points when there are objects obstructing the straight path?

How would an algorithm find the shortest distance between 2 points on a horizontal 2d plane , especially when a straight path is not possible? Could it be something on the lines of calculating least ...
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.
8
votes
1answer
744 views

Applications of Differential Geometry in Artificial Intelligence

I am new to this wonderful site. I searched around a bit but I couldn't find any well-discussed posts on applications of differential geometry to artificial intelligence, or more generally to computer ...
7
votes
2answers
10k views

Euclidean & Manhattan Distance

I have a practice problem that I am working on (artificial intelligence), but am unable to calculate the Euclidean and Manhattan distances by hand using the following values: ...
6
votes
1answer
967 views

What about Genetic Algorithms from a mathematical point of view?

Last year I've attended an Artificial Intelligence course (it was very simple, just a summary of the main ideas); we've seen what a genetic algorithm is and the idea seems very interesting to me. Now ...
5
votes
1answer
98 views

AI strategies for losing positions [closed]

I have a card game that I am analyzing with Maple. Actually, it's a series of card games, one for every parameter k, where k is a natural number (representing the number of ranks of cards used in the ...
4
votes
1answer
531 views

Recursively Solving a Bellman Equation

Problem Overview I am to figure out $v_\pi$ of a certain Markov state. Given Information A set of actions, $a$ containing ${up, down, left, right}$ $v_\pi(12), v_\pi(13), v_\pi(14)$ (I am given ...
3
votes
1answer
149 views

Mathematics in cognitive sciences

Which areas of Maths can be formally studied in a cognitive sc major? Or: which areas of maths can support the study of brain. Some areas that seem relevant would be: mathematical logic, graph theory, ...
3
votes
3answers
628 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, ...
3
votes
2answers
40 views

Find sectors in a racing line.

Consider the following photo: To magnify image, right click and select open-image in new tab or something similar The photo above is a random race circuit data I've collected. What I'm trying to ...
3
votes
0answers
61 views

Are there some functions that cannot be optimized using calculus?

I've been working on a project to maximize a functions output using a genetic algorithm. However, from the limited calculus I know I thought there were methods to find the maximum of a mathematical ...
3
votes
1answer
540 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*} ...
2
votes
3answers
204 views

Games with human edge [closed]

Which are some two- or one-player games, where humans far outperforms the best computer programs? And how does the relative edge scale with time allowed to think? (In time frame 1 sec to 8 hours per ...
2
votes
2answers
561 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
1answer
64 views

Boolean Algebra Question

my problem is ,Please give the algorithm: how can rewrite an arbitrary propositional formula alfa(α) into a proposional formula beta(β) so that beta does not contain disjunction(∧) and alfa ...
2
votes
1answer
207 views

Testing critical points using newton-raphson method

I'm working on a homework assignment for my artificial intelligence course and I became a bit stuck on one part. The problem asks to retrieve the optima of the function and then to tell for each ...
2
votes
1answer
276 views

Markov Decision Process - Utility Function

Reward R(S) in a Markov Decision Process is a mapping from a State S -> Bounded number. I want to know how a Utility Function is defined for an MDP. I think it has to be a mapping from a sequence of ...
2
votes
0answers
62 views

How does Godel Escher Bach support Artificial Intelligence? [closed]

Typically, Godel's Incompleteness theorems have been used to argue against the possibility that the human mind is essentially equivalent to a formal system. However, in Daniel Dennett's book "Darwin's ...
2
votes
1answer
39 views

Finding the best fit of 3 categories ( restaurants/meal/person analogy problem )

I have this problem that sounds tedious and long and I'm not sure if there exist an intuitive way to solve it. The problem is related to image recognition but I will try to give an analogy to it You ...
2
votes
1answer
322 views

How to calculate Full joint probability distribution

This is a past exam question, I did it wrong in the exam, I'm reviewing it right now. The question is to compute the full joint probability of the problem below: I draw the full joint ...
2
votes
0answers
310 views

Modern mathematical theory on Neural Networks, Cellular Automata, Neuroscience

Is it possible for someone to do research on Neural Networks/Cellular Automaton/Neuroscience as an applied mathematician, for its theoretical development, especially based on some modern mathematics, ...
2
votes
1answer
317 views

Books on AI, programming, optimization

I'm studying math (just started) and I like programming as well (just started this too), is there a career or a branch of research including deep aspect of this two aspects? Is there someone among you ...
1
vote
5answers
275 views

First Order Logic

Is it possible to represent the english sentence with numerical value in First order Logic. For example if the sentence is: Nobody has more than one mother. I am wandering who can i show the ...
1
vote
1answer
770 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 ...
1
vote
1answer
20 views

Can you give a simple CDCL example?

I am trying to understand how Conflict-Driven Clause Learning works. After reading through the lecture slides, wikipedia article and some additional slides I found online I realized that I still can't ...
1
vote
1answer
422 views

What is the sigmoid *squashing* function?

I've just read the following The basic unit ("neuron" i) performs the following computation to update its state $y_i$: it computes a weighted sum $v_i$ of its inputs $x:j$ which is passed ...
1
vote
1answer
686 views

Proving that a Hessian Matrix is positive definite

I'm currently stuck on a problem for my Artificial Intelligence class. The assignment is provided at the following link: http://courses.engr.illinois.edu/cs440/HW1.pdf The problems that I'm stuck on ...
1
vote
1answer
79 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) ...
1
vote
1answer
1k views

Ranked Preference Matching Algorithm

first dropping the link that will serve as reference: NRMP Residency Matching I have a sort of side project (nothing riding on it, computational performance not an issue, so feel free to go wild, I ...
1
vote
2answers
146 views

Some Questions About Chess

I have to questions about the chess game: please help me to understand it. 1- How can a computer program know if this move or that move is better? It calculates all possbile continuation and examine? ...
1
vote
4answers
392 views

Which books /tutorials will be good for these topics for AI computer science student

I have found from the internet that I need to know these topics for understanding Artificial Intelligence: Matrix algebra: most machine learning models are represented as matrices and vectors. ...
1
vote
0answers
35 views

feature selection for continuous variables

I wonder how exactly "feature selection" should be performed in case of continuous feature values. When feature values are discrete it is very straitforward to apply feature selection, but what to do ...
1
vote
0answers
42 views

Solomonoff induction , Shannon Entropy, Kolmogorov Complexity.

If Expected Kolmogorov Complexity equals Shannon Entropy why can't Shannon Entropy be used as an approximation of Kolmogorov Complexity in Solomonoff Induction? Regarding Kolmogorov Complexity and ...
1
vote
0answers
163 views

Estimating conditional probability as a function of time

My question relates to estimating from a time series a time dependent conditional probability without having a prior parametric model of anything. Suppose I have two variables: r and I, and each can ...
1
vote
1answer
29 views

Markov Decision Process - Optimal policy invariance to scaling in the Utility Function

The title says it all. If i use a discounted Utility Function, why is the optimal policy invariant with respect tot the scaling of the Utility Function by a positive Factor?
1
vote
1answer
162 views

Gradient descent/ nonlinear optimization intuition needed

all. I'm taking an introductory AI class, and we're using the gradient descent algorithm to find the optimized/ lowest cost of a set of thetas (variable coefficients) to best fit a regression line. In ...
1
vote
1answer
114 views

i,j,k values of the theta matrix in neural networks

SO I'm looking at these two neural networks and walking through how the ijk values of Theta correspond to the layer, the node number, and either there are redundant values or I'm missing how the ...
1
vote
1answer
841 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 ...
0
votes
1answer
36 views

Calculating Entropy

Hi there kind people, I'm studying for an Artificial Intelligence test in a week or so, and this question is from a past paper - and it has really stumped me. Any help would be appreciated. Thank ...
0
votes
2answers
130 views

Memory of a neural network: is it forever?

As far as I remember a neural network cannot forget anything. Does this mean that no matters how evolved the network is, it's always going to throw me back the right output if I feed it an input? And ...
0
votes
1answer
31 views

Ellipsoidal Covariance Matrix

What does it mean when you say "Covariance matrix are highly ellipsoidal"? I am reading a paper and it uses this term very often "Covariance matrices are all equal and Highly ellipsoidal "?
0
votes
2answers
52 views

Why this first-order logic formula is not correct?

I'm studing computer science at university, in specific Artificial Intelligence. We are using Otter as Theorem prover. I'm having some problems formalizing this: "John, Mary and Derek are three ...
0
votes
1answer
12 views

Classification cost in growing a classification tree

This question is based in machine learning, but is heavily mathematic so I am posting here. This equation is used to estimate the class conditional probabilities of a certain leaf of data D in a ...
0
votes
0answers
17 views

combine analysis and artificial intelligence

I'm sorry if I ask this question at the wrong place, but I don't know a better one. I am a Master's student and I am really interested in analysis, but I also want to get into AI. Does anyone know a ...
0
votes
0answers
12 views

Lattice of a Fuzzy Number?

Can somebody define what is a fuzzy lattice? How to computer lattice of a fuzzy number? Please try to be generic and basic in the explanation as I'm a beginner in studying fuzzy theory and soft ...
0
votes
0answers
9 views

Applying a Resolution to a Predicate with Substiutions

My professor handed us an exam review with the answers already filled in. On this one particular problem I have no idea how he came to the answers he did. Question: Apply a resolution to the ...
0
votes
0answers
29 views

Conjunctive normal form (~p->r) AND (~p->~r) <-> r

I need help converting following formula to conjunctive normal form. (~p->r) AND (~p->~r) <-> r By using equivalences i arrive to following result (((~p AND ~r) OR (~p AND r)) OR p) AND (~p OR ...