Theoretical questions about Artificial Intelligence
-1
votes
0answers
29 views
how to run minisat+ sat solver [closed]
I downloaded the minisat+zip file
I extracted the zip.According to install file i run
make rx
but i have the following result:
...
0
votes
0answers
22 views
Confusion related to derivation of CRF log likelihood gradient
I was reading this paper related to CRF and ran across the parameter estimation where they take the gradient of the log likelihood with respect to the parameters
where $l$ is the log likelihood. ...
2
votes
1answer
117 views
AI strategies for losing positions
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 ...
-1
votes
3answers
151 views
Algorithm Suggestion for Scoring System - weighted solution
I'm trying to validate a series of words that are provided by users. I'm trying to come up with a scoring system that will determine the likelihood that the series of words are indeed valid words.
...
8
votes
1answer
262 views
Is $\mathsf{P} = \mathsf{NP}$ relative to a universal predictor?
Consider any language $L$. Define $s(L) \in {\lbrace 0, 1 \rbrace}^\omega$ (an infinite sequence of bits) by the recursive formula
$$s(L)_n=\chi_L(s(L)_{<n})$$
Here $\chi_L$ is the characteristic ...
-5
votes
1answer
279 views
Developing A Perfect Tic-Tac-Toe Player - AI [closed]
I'm interested in AI as an area to study on in MSc. I don't have much prior knowledge. So, I decided to develop an AI that plays Tic-Tac-Toe perfectly, as an introduction. I've made some progress that ...
0
votes
1answer
76 views
When to apply soft constraints evaluation functions in genetic algorithms?
As stated in the question, say i created a random population of 100 timetables. 1 % of these timetables are valid. Then, if I apply the soft constraints evaluation functions on the 1% valid ...
-3
votes
1answer
102 views
Can Turing Machine implements Strong AI? [closed]
It has been proved that a Turing Machine cannot solve the halting problem, but is it (being able to solve the halting problem) really necessary for implementing Strong AI ?
We human can understand ...
0
votes
3answers
494 views
To what extent is “advanced mathematics” needed/useful in A.I. research?
I am currently studying mathematics. However, I don't think I want to become a professional mathematician in the future. I am thinking of applying my knowledge of mathematics to do research in ...
0
votes
1answer
188 views
Self-organizing maps algorithm(Kohonen networks)
In self-organizing maps(SOM) algorithm described here it is said about the weights of nodes and data items. If using this algorithm for sine function approximation given a few points are the nodes - ...
-3
votes
1answer
181 views
Which algorithm for a project about online machine learning?
I have a basic understanding of how machine learning works, but my knowledge isn't enough in order to develop a personal project I would like to start.
I want to develop a system based on online ...
-3
votes
1answer
35 views
Scoring without the effect of outliers [closed]
I am trying to assign scores to phone's specifications to calculate a final rating score for each phone. However, when I was scoring based on megapixels. I found that one of the phones 'A' has a 41MP ...
2
votes
0answers
521 views
Ultimate Jedi Challenge - Multiarmed Bandit / Reinforcment Learning / advanced AI problem
(This is an attempt to reformulate this question more concisely.)
Context
You are a Jedi master who wants to prepare a training program (online-algorithm) for his apprentice, "Luke". Luke needs to ...
1
vote
2answers
182 views
Complexity of universal computation on random input
This post is a refinement of a previous question which turned out to be trivial
It is also related to another previous question
Motivation: A property commonly ascribed to artificial intelligence is ...
1
vote
1answer
119 views
Average performance of universal computation
This post is related to my previous question but takes a different angle
There are several related questions in here
Consider an input-less algorithm $A$ generated randomly using a prefix-free ...
9
votes
2answers
410 views
Efficient universal problem solver?
Define a "problem" to be an algorithm $A$ accepting a natural number and returning 0 or 1 which returns $1$ on at least one $n \in \mathbb{N}$. Any such $n$ is called a "solution" to $A$
Define a ...
-2
votes
2answers
225 views
Are humans merely Turing complete? [closed]
Simply as stated in the question. Are humans merely Turing complete, or are we somehow "better" (or "worse") than a Turing complete machine? Why? How would one determine this?
0
votes
1answer
100 views
Logic programming with integer or even floating point domains
I am reading a lot about logic programming - ASP (Answer Set Programming) is one example or this. They (logic programs) are usually in the form:
[Program 1]
Rule1: a <- a1, a2, ..., not am, am+1;
...
2
votes
2answers
256 views
Accuracy rate in neural networks
I've implemented a neural network (using the back-propagation algorithm) in a digital marketing application, where the algorithm classifies words according to quality, price and another ...
1
vote
1answer
133 views
Theoretical proof of convergence of sequential weight update procedure (Neural Networks and Machine Learning)
My question is at the bottom.
(Most of the descriptive words come from Chris. Bishop's Neural Networks for Pattern Recognition)
let $w$ be the weight vector of the neural network and $E$ the error ...
0
votes
0answers
46 views
What latest initiatives are taken and developments been made in Image Recognition [closed]
Computers have not been very good at recognizing images.What research initiative and developments have been made so far to conquer this problem. Also is it easier for the best supercomputer to date to ...
-2
votes
1answer
153 views
Error in the book Artificial Intellingence Modern Approach (at Un-informed search)? [closed]
Please let me know if this is not appropriate question to ask here (I hope not but afraid since this isn't really theoretical question).
In the book "Artificial Intelligence Modern Approach" ...
2
votes
0answers
142 views
Computational power of cellular neural networks
A cellular neural network is a kind of recurrent neural network that could be thought of as a hybrid between neural nets and cellular automata.
As I understand it, the classic Chua-Yang CNN is ...
1
vote
1answer
201 views
What is the most Accurate way of Determining an Object's Color? [closed]
I have written a computer program that can detect coins in a static image (.jpeg, .png, etc.) using some standard techniques for computer vision (Gaussian Blur, thresholding, Hough-Transform etc.). ...
-2
votes
1answer
103 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 ...
0
votes
1answer
250 views
What are some examples of sequential-decision tasks?
I ask this because I'm currently learning about Neural Networks as a subset of the machine learning algorithms
Just trying to get some intuition on what sort of problems out there are categorized as ...
1
vote
0answers
213 views
Are there any well known algorithms for synthetic handwriting?
Please excuse if this is too practical. I decided it was not technical enough for stack overflow and probably suitable for here.
Given a set of letters, A-Z, what is the best scalable way to ...
4
votes
2answers
666 views
Why is Bayesian filtering better than Neural Networks when classifying spam?
According to several people on StackOverflow Bayesian filtering is better than Neural Networks for detecting spam.
According to the literature I've read that shouldn't be the case. Please explain!
-5
votes
1answer
160 views
AI or not an AI [closed]
What truely classifies a AI? IN science fiction they are thes super smart programs that usually try taking over the world. In the programming world i hear about AI for enemies in games or stuff along ...
0
votes
0answers
106 views
Fuzzy K-modes clustering how to find the cluster centers
I'm trying to understand [fuzzy k-modes][1] algorithm (look mainly at page 3) in order to implement it.
I'm stuck at the calculation of cluster centers they said as shown in the link
...
-2
votes
3answers
392 views
Formalizing a notion of machine Intelligence
Turing test of Artificial intelligence relies on interaction between two parties with the goal that one party convinces the other party that it has the same computational abilities.
I'm trying to ...
0
votes
0answers
153 views
Current State of Facial Recognition (2011): Has it been solved? [closed]
If there's one thing I remember from my final university project, it is that moment when the prof tells the class to not do facial recognition projects because they are computationally very hard to ...
2
votes
2answers
258 views
Genetic Algorithm to Draw a Graph? Position assignment problem
I have an assignment problem at hand and am wondering how suitable it would be to apply local search techniques to reach a desirable solution (the search space is quite large).
I have a directed ...
0
votes
0answers
215 views
How neural networks look like? How I can make one? [closed]
I've just got a class about neural networks, perceptrons and so on.
I have commercial software development background and previously I never had to deal with this area of computer science.
So my ...
1
vote
0answers
42 views
What Fuzzy techniques can combine conflicting quantified data?
I have been reading Fuzzy Belief Revision and trying to determine how the methods could be used to combine readings from conflicting sensors. For example, if one sensor reads 70 degrees and another ...
4
votes
1answer
109 views
Are there Belief Revision techniques for quantified data?
Are there Belief Revision techniques that aren't based solely in formal logic propositions?
For example, if one agent believes the temperature for an area is 85 degrees and another believes the ...
0
votes
2answers
264 views
Support Vector Machines
What is it the relationship between the number of support vectors in an SVM and its generalization ability? When lots of support vectors are used to classify, is the error rate minimized, but only to ...
1
vote
0answers
161 views
Natural Language Processing. Where to start? [closed]
Natural Language Processing is an area which interests me. I know little about it and I'm hoping somebody can suggest a starting point. Basically I'd like to develop a search algorithm specific for ...
8
votes
3answers
275 views
Applications of MCTS/UCT
MCTS/UCT is a game tree search method that uses a bandit algorithm to select promising nodes to explore. Games are played to their completion randomly and nodes leading to more wins are explored more ...
0
votes
0answers
138 views
Why does Bayes work in NLP? [closed]
I'm being introduced to statistical machine translation. If Pr(f|e) is the probability that the machine, when given the English sentence e, will produce the French translation f, then how can Bayes' ...
15
votes
2answers
786 views
Finding the distance between two polynomials (represented as trees)
A colleague who works on genetic programming asked me the following question. I first tried to solve it based on a greedy approach, but on a second thought, I found a counterexample to the greedy ...
-2
votes
1answer
223 views
Duration Viterbi Algorithm
I am searching for some good resources to understand the Duration Viterbi algorithm.
Does anyone knows a good resource to understand and learn how to model a Duration Viterbi Hidden Markov Chain ...
4
votes
2answers
176 views
Practical applications of the Theory of Equality with Uninterpreted Functions (EUF)
In these days I'm reading the book Decision Procedures - An Algorithmic Point of View. Chapters 3 and 4 deal with the Theory of Equality with Uninterpreted Functions (EUF). The authors give 3 toy ...
-4
votes
1answer
532 views
Find sentences with similar relative meaning from a list of sentences against an example one
I want to be able to find sentences with the same meaning. I have a query sentence, and a long list of millions of other sentences. Sentences are words, or a special type of word called a symbol which ...
10
votes
4answers
465 views
Human intelligence and algorithms
Have there been any studies to determine whether human intelligence can outperform algorithms (i.e. test whether the No Free Lunch Theorem applies to human intelligence)?
Along the same lines, has ...
4
votes
3answers
355 views
Semantic distance between excerpts of text.
I'm wondering how far along the natural language processing is in determining the semantic distance between two excerpts of text.
For instance, consider the following phrases
Early this morning I ...
17
votes
3answers
914 views
Consequences of #P = FP
Which would be the consequences of #P = FP?
I'm interested in both practical and theoretical consequences.
From a practical point of view, I'm particularly interested in consequences on Artificial ...
7
votes
2answers
371 views
Using SAT for Computer Vision tasks
Could anyone please point to both introductory and advanced papers/books showing how to use SAT technology to solve Computer Vision tasks (e.g. edge detection, object recognition, facial recognition, ...
0
votes
1answer
338 views
What does “number of inputs to each neuron” mean in Neural Network terms?
I am reading about a Neural Networks project that has some data like this
I am new to this, and though I think I understand what a 3:1 network mean, I do not understand what number of inputs (to ...
8
votes
11answers
1k views
What are some real world applications for genetic algorithms?
What are some real world problems that have been solved using a genetic algorithm? What is the problem? What is the fitness test used to solve this problem?
