Questions tagged [symbolic-ai]

For questions related to symbolic artificial intelligence, which is also known as good old-fashioned artificial intelligence (GOFAI), which is an expression coined by John Haugeland in his 1985 book "Artificial Intelligence: The Very Idea".

For more info, see, for example, https://en.wikipedia.org/wiki/Symbolic_artificial_intelligence.

37 questions
10
votes
3 answers

Is the expert system still in use today?

In my country, the Expert System class is mandatory, if you want to take the AI specialization in most universities. In class, I learned how to make a rule-based system, forward chaining, backward chaining, Prolog, etc. However, I have read…
9
votes
1 answer

What kind of body (if any) does intelligence require?

In the mid 1980s, Rodney Brooks famously created the foundations of "the new AI". The central claim was that the symbolist approach of 'Good Old Fashioned AI' (GOFAI) had failed by attempting to 'cream cognition off the top', and that embodied…
NietzscheanAI
  • 7,286
  • 24
  • 38
8
votes
3 answers

What kinds of problems can AI solve without using a deep neural network?

A lot of questions on this site seem to be asking "can I use X to solve Y?", where X is usually a deep neural network, and Y is often something already addressed by other areas of AI that are less well known? I have some ideas about this, but am…
8
votes
2 answers

Is anybody still researching GOFAI?

A lot of textbooks and introductory lectures typically split AI into connectionism and GOFAI (Good Old Fashioned AI). From a purely technical perspective, it seems that connectionism has grown into machine learning and data science, while nobody…
7
votes
1 answer

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"?

I've just started reading a book about AI. The book is Simply Logical: Intelligent Reasoning by Example. There is a very basic exercise (on page 19 of the pdf, page 5 of the book), but I can't figure it out. The exercise is Exercise 1.1. Two…
ihavenokia
  • 173
  • 2
  • 6
6
votes
2 answers

What are the differences in scope between statistical AI and classical AI?

What are the differences in scope between statistical AI and classical AI? Real-world examples would be appreciated.
dua fatima
  • 323
  • 1
  • 3
  • 11
5
votes
1 answer

Is natural language reasoning the right way to implement reasoning in AI?

It is well known that human reasoning, after evolving for at least several thousand years, has gradually transformed from natural language reasoning to formal reasoning. In modern science, a significant indicator of a discipline's maturity is…
jario
  • 53
  • 5
5
votes
3 answers

Why is symbolic AI not so popular as ANN but used by IBM's Deep Blue?

Everybody is implementing and using DNN with, for example, TensorFlow or PyTorch. I thought IBM's Deep Blue was an ANN-based AI system, but this article says that IBM's Deep Blue was symbolic AI. Are there any special features in symbolic AI that…
Dan D
  • 1,318
  • 1
  • 14
  • 39
5
votes
1 answer

Can (trained) neural networks be combined with symbolic AI to perform operations like AND?

Does anyone work out ways of relating trained neural networks by symbolic AI? For example, if I train a network on pictures of dogs, and I train a network on pictures of shirts. You could imagine that the simplest way (without going through the…
5
votes
1 answer

What are some examples of Classical AI applications?

I believe that Classical AI uses deductive thought processes. For example, given as a set of constraints, deduce a conclusion. What are some examples of successfully applying Classical AI to real-world problems?
WilliamKF
  • 2,533
  • 1
  • 26
  • 31
4
votes
0 answers

What are some interesting recent papers that synthesize symbolic AI with Deep Learning?

A lot of people seem to be under the impression that combining GOFAI and contemporary AI will make models more general. I'm particularly interested in reasoning through analogy or case-based reasoning.
4
votes
2 answers

Are all formalisms of representing knowledge created equal?

In a recent arXiv paper (accepted by AAAI-25): https://arxiv.org/abs/2412.11855 (Title: A Theory of Formalisms for Representing Knowledge) the authors present a seemingly intriguing result, claiming that all universal (or natural and equally…
4
votes
3 answers

How to calculate the optimal placements for settlements in Catan without an ML algorithm?

Is it possible to calculate the best possible placements for settlements in Catan without using an ML algorithm? While it is trivial to simply add up the numbers surrounding the settlement (highest point location), I'm looking to build a deeper…
4
votes
1 answer

Is it possible to do K-nearest-neighbours before training DNN

The following X-shape alternated pattern can be separated quite well and super fast by K-nearest Neighbour algorithm (go to https://ml-playground.com to test it): However, DNN seems to face great struggles to separate that X-shape alternated data.…
4
votes
3 answers

Shouldn't Gödel's incompleteness theorems disprove the physical symbol system hypothesis?

According to the Wikipedia page of the physical symbol system hypothesis (PSSH), this hypothesis seems to be a vividly debated topic in philosophy of AI. But, since it's about formal systems, shouldn't it be already disproven by Gödel's theorem? My…
1
2 3