Questions tagged [artificial-intelligence]

Questions about design and properties of agents that act in a dynamic environment and make decisions towards some goal without user control.

105 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
5
votes
1answer
158 views

Predicting next action to take to reach a final state

Does anyone know of an algorithm that could be used to determine the next action to take to reach a desired state when trained on time-series data? For example, a robot starts at a certain state, ...
5
votes
0answers
991 views

Alpha beta algorithm with Iterative Deepening analysis

I'm implementing a chess engine. Like many engines, the search for the next best move is done with the alpha-beta algorithm. There are many improvements that can be made to make the algorithm faster ...
5
votes
0answers
1k views

Toads and frogs game algorithm

I am looking for an algorithm (or hint where to start), for Toads and Frogs Game. What I am interested in is not how to solve the problem (it's NP-hard), but how to plan one player's moves. I.e. how ...
4
votes
0answers
2k views

Maximizing pruned branches in an alpha-beta tree

Preliminary After doing some searches of similar questions posted here and elsewhere, i feel like this is the right place to inquire about, now let's get through some boring main notations... A ...
4
votes
0answers
2k views

Next-Word Prediction, Language Models, N-grams

I was looking into how a next-word prediction engine like swift key or XT9 can be implemented. Here's what I did. I read about n-grams here - en.wikipedia.org/wiki/N-gram and aicat.inf.ed.ac.uk/...
4
votes
0answers
348 views

Recommendation algorithms based on a set of attributes

I'm building an application which should suggest products for the users. I want to base my recommendation on different attributes, like location, weather, date, etc. Each of these attributes can have ...
3
votes
0answers
76 views

Was there a phase in Machine Learning timeline when researchers thought some Neural Networks could not be trained?

I was talking to a professor who made a comment to my question. Me: So much of quality literature around this topic ( IP Protection for Neural Weights) emanated in 1990-1991, I'm truly at loss ...
3
votes
0answers
135 views

Is “expert system” now an obsolete/unpopular term?

While doing research on expert systems, I notice that it is rare to see this term used in the last 20 years. For example, a recent paper was: Wang, Hao, Naiyan Wang, and Dit-Yan Yeung. "Collaborative ...
3
votes
0answers
118 views

A case study for search techniques in AI

We are teaching an artificial intelligence class and we need a different case study other than geographical maps (the popular example is the map of Romania) to explain the difference between Breadth-...
3
votes
0answers
22 views

proof that STRIPS terminates

I was reading page 6 of https://www.cs.cmu.edu/~reids/planning/handouts/Linear.pdf And it is not clear to me that the STRIPS algorithm necessarily terminates. Namely if we have a simple goal sg on ...
3
votes
0answers
614 views

Estimating size of state space

I have been studying search problems in AI, and I am having some troubles understanding some points in these concepts: State Space: "represents the environment of the problem, the set of all states ...
3
votes
0answers
76 views

Is there a reduction concept in artitificial intelligence?

Is there a concept for comparing algorithms in artificial intelligence theory similar to reduction in complexity theory (Wikipedia)? I'm asking this because I was wondering how AI algorithms are to ...
3
votes
0answers
100 views

What are the theoretical and practical contributions of Multiagent Systems to science?

Speaking about multiagent systems (MAS) is about as fuzzy as talking about artificial intelligence systems (AI). They are in essence the distributed counterpart of AI. While there are no so-called "...
3
votes
0answers
98 views

Limited lookahead pathfinding strategies on infinite graphs

I'm new to pathfinding algorithms and trying to find a good or even optimal heuristic for the following problem: Say you have a 3D square-lattice cuboid graph with randomly removed edges (with ...
3
votes
0answers
106 views

Why isn't there a big HTM machine already?

I've been reading a bit about Hierarchical Temporal Memory and Memory Prediction. I found a great paper: How the brain might work: A hierarchical and temporal model for learning and recognition, ...
3
votes
1answer
387 views

How to tell if a Heuristic is monotonic

I've applied a Heuristic to a puzzle where I need to move all off the B's the the right of the W's. my Heuristic is the total distance of the B's from the right most W's. my initial state is (B,B,B,*,...
2
votes
0answers
18 views

Why aren’t (type theory based) automated theorem provers efficient?

Note: my main experience with theorem provers is with Type theory based proof-assistant, rather than an actual automated theorem prover. It is obvious why naive automated theorem proving is ...
2
votes
0answers
42 views

Literature similar to Minsky's “Steps Toward Artificial Intelligence” (1961)?

With great pleasure I was just reviewing Marvin Minsky's publication "Steps Toward Artificial Intelligence" from 1961. Now I would like to know whether there are any more compilations about the ...
2
votes
0answers
50 views

Is one of the Advantages of AI symbolic systems the fact they are good at abstraction and modularity according to Minsky and Papert?

I was reading Perceptron's by Minsky's and Papert's book and there is a part where they discuss symbolic systems and one part of it says: Symbolic systems yield gains of their own...Above all else ...
2
votes
0answers
461 views

Tuning the parameters of Particle swarm optimization (PSO)

To tune the parameters of Particle swarm optimization (PSO), there are two methods offline and online. In offline manner, the meta-optimization is used to tune the parameters of PSO by using another ...
2
votes
0answers
122 views

Can cognitive architectures (CLARION, SOAR, ACT-R) be used for creative mathematical reasoning?

Can cognitive architectures (CLARION, SOAR, ACT-R, others) be used for creative mathematical reasoning? As far as I understand, then it is the best to encode formal mathematical knowledge in the ...
2
votes
0answers
463 views

What are the inputs to an LSTM for Slot Filling Task

I am confused on the inputs of a Long-Short Term Memory (LSTM) for the slot filling task in Spoken Language Understanding. Before I worked on this, I implemented a language model with a Recurrent ...
2
votes
0answers
264 views

The meaning of ontology in computer science

I am reading a paper and ran into this word Ontology-based, What does it really mean? I did searching about it but still ambiguous to me, can someone elaborate this ...
2
votes
0answers
94 views

Problem understanding Nilsson's general graph search and A* algorithm

I'm reading several books that present A* algorithm. More precisely, I'm Nilsson's "Artificial Intelligence a New Synthesis" and a textbook on problems of artificial intelligence which is written in ...
2
votes
0answers
158 views

Posterior of a DP in a Dirichlet process mixture model

Draws from a Dirichlet process (DP) are discrete, and exhibit clustering behaviour. Dirichlet Processes The Dirichlet Process ($DP$) is a stochastic process used in Bayesian nonparametric modelling....
2
votes
0answers
60 views

Inconsistent results with Q-learning

I'm running a q-learning agent in tic tac toe against a minimax agent and measuring the tie rate (since you can never win against minimax). When I run 10,000 training games, I've found that there seem ...
2
votes
0answers
82 views

KDD Machine Learning using K-NN Algorithm Classification Problem

I'm trying to solve a classification problem from the KDD cup archive of 2004. Details can be found here: KDD 2004 Archive I'm only dong the particle physics part. The description of dataset is as ...
2
votes
0answers
50 views

what is the best practice for turing test

I'm working on a AI project which generates poems in Turkish language like this project: https://github.com/schollz/poetry-generator It's a successful project but it's a template based poem generator....
2
votes
0answers
404 views

How to select the maximum weight value for a bias node in a neural network?

I'm programming a neural network. I know that I should initialize the network by picking random weights. How do I pick a random weight for the connections to bias nodes? What distribution should I ...
2
votes
0answers
486 views

What is the difference between “objective function”, “error function”, “criterion function” and “cost function” in the context of neural networks?

The title says it all: I have seen three functions so far, that seem to be the same / similar: error function criterion function cost function objective function I am currently working on ...
2
votes
0answers
2k views

Complexity of Alpha-Beta pruning with optimal move ordering

I originally read that Alpha-Beta pruning has time complexity of $O(b\ ^{m/2}\ )$ with perfect ordering (where b = branching factor, m = maximum ply depth) but have recently come across claims that ...
2
votes
0answers
63 views

How does this star1 variation work? (star1 is a stochastic (dice) algorithm for artificial intelligence in adversarial games)

I don't understand how the star1 variation mentioned in the paper is Sparse Sampling for Adversarial different than the usual star1 algorithm? (Taken from the bottom of page 7). This variant can be ...
2
votes
1answer
1k views

Understanding Decision Stump in Adaboost

I am trying to understand how Adaboost works, and many of the tutorials online involve the use of a decision tree stump. For example, http://www.cc.gatech.edu/~thad/6601-gradAI-fall2013/boosting.pdf ...
1
vote
0answers
16 views

Value flow (and economics) in stacked reinforcement learning systems: agent as reinforcement environment for other agents?

There is evolving notion of stacked reinforcement learning systems, e.g. https://www.ijcai.org/proceedings/2018/0103.pdf - where one RL systems executes actions of the second RL system and it itself ...
1
vote
0answers
10 views

What are the differences between CYC and IBM Watson?

From what I gathered from Wikipedia, CYC is based on set membership logic. So it would take symbols and create set membership predicates. But how is this different from IBM Watson?
1
vote
0answers
39 views

Multi Agent Sokoban Solvers state of the art

I am researching into coding a solver for a variant of the Sokoban game with multiple agents, restrictions (eg. colors of stones, goals) and relaxations (push AND pull possible etc.) By researching ...
1
vote
0answers
64 views

Law as a computer science problem?

For a long time, computer scientists and logicians have noticed that law (statutes, contracts, adjudication, etc), has some similarity with formal logic and programming languages, and have approached ...
1
vote
0answers
19 views

How to go about designing a quiz that changes difficulty based on user performance?

I thought about using a machine learning algorithm to learn the performance patterns of the quiz taker and model the next quiz based on how he/she performed. So each question will have a difficulty ...
1
vote
2answers
45 views

Learning a perceptron from stream data

I want to train a Perceptron using stochastic gradient rulefrom the stream data. I have very limited amount of memory and i can store only $N$ examples. Suppose my population consist of point as ...
1
vote
0answers
97 views

Is MCTS an appropriate method for this problem size (large action/state space)?

I'm doing a research on a finite horizon decision problem with $t=1,\dots,40$ periods. In every time step $t$, the (only) agent has to chose an action $a(t) \in A(t)$, while the agent is in state $s(t)...
1
vote
0answers
202 views

understanding constraint satisfaction problem: map coloring algorithm

I am trying to implement this recursive-backtracking function for a constraint satisfaction problem from the given algorithm: ...
1
vote
0answers
34 views

What are good examples of computational theories for A.I. according to David Marr's Definition?

I was reading David Marr's "Artificial Intelligence-A Personal View" and he talks about "computational theory of AI" or what he laters labels as "Type 1" Theory. He provides the example of Chomsky's ...
1
vote
0answers
29 views

Good pointers to learn foundations of Program induction and Program synthesis

I was interested in learning more about program induction and program synthesis. I was especially interested in learning about how to form program from data for example. My background is in ...
1
vote
0answers
194 views

Distributing Neural Network Training World-Wide Using Blockchain?

I just finished reading a white-paper from a recent AI startup. The company, Deep Brain Chain, wants to distribute neural network training over computers worldwide, using blockchain technology. Here ...
1
vote
0answers
486 views

Is Chinese Checkers a solved game

Is there a machine or algorithm available to solve the board game "Chinese checkers"? If there is please let me know about relevant material. I have already searched over internet unfortunately i am ...
1
vote
0answers
181 views

Prove that a convex combination of admissible heuristics is admissible

I got this question that's been troubling me for some time. If $h_1$ and $h_2$ are admissible heuristic functions, prove that $h_3 = (c-1)\,h_1 + c\,h_2$, $0 < c < 1$, is also an admissible ...
1
vote
0answers
36 views

Outline detection from patterns in a list of textual articles

Are there NLP algorithms dealing with detecting the repeating patterns in a a list of texts from which a topic keywords and other associative keywords can be derived? I will show it as an example: ...
1
vote
0answers
240 views

Propositional logic in an SMA* algorithm

I'm trying to implement an SMA* graph search algorithm that I found in a paper here(Rong Zhou, Eric A. Hansen: Memory-Bounded A* Graph Search. FLAIRS-02 Proceedings 203-209) and I would like to ...
1
vote
0answers
43 views

is-child-of, is-instance-of as intensional and extensional inheritance relation - is object-oriented modelling an great oversimplification?

I am trying to build knowledge base in OpenCog cognitive architecture (http://wiki.opencog.org/w/The_Open_Cognition_Project) and I see that OpenCog lacks usual means to express notions of object-...
1
vote
0answers
46 views

Program that solves mechanics diagram problems

There is a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is a unified internal model ...