Hot answers tagged

22 votes

Is Prolog still used in AI?

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 ...
Kaiesh's user avatar
  • 716
16 votes

Is Prolog still used in AI?

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 ...
mindcrime's user avatar
  • 3,757
4 votes

Has machine learning been combined with logical reasoning (for example, PROLOG)?

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 ...
jsimmons's user avatar
3 votes

Which rules should I define for the predicate "not_to_far" of the exercise 1.1 of the book "Simply Logical: Intelligent Reasoning by Example"?

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 ...
Jaden Travnik's user avatar
2 votes

Defining rules for an expert system

We cannot do homework for students in this network, however I can suggest that several items affecting cost and several usage patterns are missing and the number of rules is shy by an order of ...
Douglas Daseeco's user avatar
2 votes

Has machine learning been combined with logical reasoning (for example, PROLOG)?

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 ...
nbro's user avatar
  • 40.2k
1 vote

What are the advantages and disadvantages of using LISP for constraint satisfaction in 3D space

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 ...
cronoik's user avatar
  • 111

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