For questions about artificial intelligence.

learn more… | top users | synonyms

10
votes
4answers
478 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
861 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 ...
1
vote
1answer
237 views

The mathematics behind AlphaGo AI and Google Deepmind [closed]

in case you are following the tech news, Google's AlphaGo beat the world Go champion Lee Sedol, not once but twice. Here is the link of the game 2 review: http://gogameguru.com/alphago-races-ahead-2-...
0
votes
1answer
67 views

How to apply negation to a term?

EDIT: Maybe page 18 of this paper can help. This is a follow up from this question, where I am using ALCQ and I have this: $\lnot(3 \le \exists \text{hasPet}.\text{Animal})$ How to apply the ...
0
votes
1answer
47 views

Make individuals distinct

I am trying to construct an ALCQ knowledge base (KB) for some sentences. Here is what I have: Abox (Yiannis is a person and he drinks only one kind of a coffee, frappe): Person(YIANNIS) $\forall$ ...