Hot answers tagged

17

Remembering that artificial intelligence has been an academic endeavour for the longest time, Prolog was amongst one of the early languages used as part of the study and implementation of it. It has rarely made its way into large commercial applications, having said that, a famous commercial implementation is in Watson, where prolog is used for NLP. The ...


14

Yes, as mentioned in other answers, Prolog is actually used in IBM Watson. Prolog doesn't get much "hype" and "buzz" these days, but it is absolutely still used. As always, it has certain specific areas where it shines, and specific techniques that map well to its use. Specifically, things like Inductive Logic Programming, Constraint Logic Programming, ...


4

In reference to your exact question, there is published research that attempts to bring these two areas together. For example, HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving (2017) by Cezary Kaliszyk, François Chollet, Christian Szegedy. This group also has other published work related to the subject. Regardless of their results, ...


3

Your intuition is good. Because "nearby" is only defined with "connected", there could only be 1 station between them. However, it says that the stations are "not_too_far" if at most one station is between them. What about if no stations are between them? If 2 stations are "connected" they should be "not_too_far" as well. So it should be: not_too_far(X,Y) ...


1

Another example where machine learning has been combined with symbolic AI is in the context of knowledge graphs (which can be viewed as a graphical/visual representation of a knowledge base), where people have been proposing ways to learn embeddings of the entities and relations of the graphs (known as knowledge graph embeddings), in order to be able to ...


1

This is actually a question which will only receive opinion based answer's. A question you should ask yourself is if the constraint part is really that complex that it is worth to use a different programming language. Unity itself offers a C# API [1] and I would therefore stick with that. [1] https://unity3d.com/programming-in-unity


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