For questions about artificial intelligence.

learn more… | top users | synonyms

0
votes
1answer
46 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$ ...
10
votes
4answers
476 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
829 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 ...
4
votes
3answers
757 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
1answer
159 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, ...
1
vote
1answer
222 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: ...
3
votes
2answers
61 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 ...
0
votes
1answer
66 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 ...