15 votes
Accepted

Program reasoning about own source code

I think you are asking about two different things. The ability of a programming language to represent all its programs as data. Reasoning about programs as data. For analytical purposes it's ...
user avatar
6 votes

Program reasoning about own source code

No there is no current system that does all four steps in your system. If you want to design a system one of the first requirements is homoiconic language. At minimum you would want your core ...
user avatar
5 votes

Program reasoning about own source code

As @user217281728's answer mentions there are a type of machines related more to inference and AI, called Gödel Machines A Gödel machine is a self-improving computer program invented by Jürgen ...
user avatar
  • 571
3 votes

Program reasoning about own source code

This paper by Jurgen Schmidthuber might be of interest: http://arxiv.org/pdf/cs/0309048.pdf
user avatar
3 votes
Accepted

Machine Learning Algorithm To Fill Data Holes

In stats I think they'd say "imputation". CS theorists might model this as "matrix completion" (if you make it a matrix), "collaborative filtering" (like in the Netflix challenge). Maybe others know ...
user avatar
  • 7,090
3 votes
Accepted

Minmax vs Maxmin

First of all, there is a lot of information in this related question: Max Min of function less than Min max of function. That said, the source of your problem is a confusion about which choices are ...
user avatar
2 votes

Machine Learning Algorithm To Fill Data Holes

Your question is underspecified. If you just want to fill the gaps, put some fixed arbitrary value there. To make the question interesting you have to specific some condition for preferring one way ...
user avatar
2 votes
Accepted

Stochastic gradient methods and risk of neural nets

The question has changed somewhat in the comments, so I'll address its new version: "Given a class of algorithms $A$ and an $\epsilon >0$ and a loss class $L$ and a data distribution $D$, one ...
user avatar
  • 10.1k
1 vote

Are there proofs which show that AIs are bound to be "worse" than the human brain?

I suppose the scientific consensus is that while we are very far from there, in principle a digital artificial intelligence could mimic a human intelligence. For some recent work on the Church-...
user avatar
1 vote

Representation of procedural knowledge

John Sowa (probably the foremost expert on knowledge representation) gives a thorough discussion of the subject here: Sowa
user avatar
1 vote

Representation of procedural knowledge

You are probably speaking about something like a process ontology. Lately, that research has focused (moved?) on semantic workflows, e.g. to model processes in science, related with reproducibility. ...
user avatar
  • 594
1 vote

To what extent is "advanced mathematics" needed/useful in A.I. research?

The maths involved in AI are not advanced, and are taught at the undergrad level. AI training and inferencing algorithms are in the domain of advanced Computer Science. It is a bit of a word game. ...
user avatar
1 vote

What are some real world applications for genetic algorithms?

The annual GECCO conference (pretty much the premier venue for evolutionary computation research) has a `Real World Applications' track. See also this recent presentation:
user avatar

Only top scored, non community-wiki answers of a minimum length are eligible