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

Filter by
Sorted by
Tagged with
1
vote
1answer
47 views

Is logic AI a complement to learning AI?

I want to know the relation between logic AI and learning AI. Logic AI here refers to the branch of AI that is based on mathematical logic. Learning AI refers to the branch of AI that is based on ...
-1
votes
0answers
17 views

What is the story of a logic based inferring system which gave disastrous logic related to shaver?

While reading a textbook, I came across a story as follows A research project was to develop a logic-based inferring system. After the completion of the project, the system gave a terrible result on ...
1
vote
0answers
25 views

Does Godel's incompleteness theorems restricts the scope of connectionist-AI?

It is well-known that Godel's incompleteness theorems restricted the reachability of symbolic-AI, which is dependent on mathematical logic. But, I am wondering whether it has any impact on the ...
0
votes
0answers
18 views

Approach for model architecture and output type for decision making problem

I have a problem where based on some textual rules and images, the model has to decide what action to take. Like, if there are 5 possible selections then which object to select based on image and ...
1
vote
1answer
45 views

Are the capabilities of connectionist AI and symbolic AI the same?

The universal approximation theorem says that MLP with a single hidden layer and enough number of neurons can able to approximate any bounded continuous function. You can validate it from the ...
0
votes
2answers
51 views

Is there any other (possibly less popular) approach to create AI apart from statistical methods?

From what I have gathered so far, an AI has some prior (stored in the form of some probability distribution), and, based on experiences/data, changes the distribution (via Bayes rule) accordingly. ...
1
vote
0answers
32 views

What is the difference between "Syllogism" and "Law of Syllogism"?

The logical arguments are the basis for Artificial Intelligence. That is why I picked AI community to ask my question. Reading from Wikipedia, A syllogism is a kind of logical argument that applies ...
3
votes
1answer
40 views

Do these FOL formula both represent "You can fool some of the people all of the time"?

You can fool some of the people all of the time. This can be represented in FOL as follows $$\exists x \; \forall t \; (\text{person}(x) \land \text{time}(t)) \Rightarrow \text{can-fool}(x,t) \tag{1}...
5
votes
3answers
324 views

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 ...
2
votes
1answer
166 views

What are recent AI software systems and research papers close to J. Pitrat's ideas?

J. Pitrat (born in 1934) was a French leading artificial intelligence scientist (the first to get a Ph.D. in France mentioning "artificial intelligence"). His blog is still online and of ...
3
votes
3answers
2k views

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 ...
4
votes
1answer
108 views

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 ...
2
votes
0answers
30 views

Developmental systems that try to explain or understand the reward value in the reinforcement learning?

Are there methods (possibly logical or (how they are called in the literature) relational) that allows for the developmental systems to understand or explain the value of the received reward during ...
2
votes
1answer
88 views

Is explainable AI more feasible through symbolic AI or soft computing?

Is explainable AI more feasible through symbolic AI or soft computing? How much each paradigm, symbolic AI and soft computing (or hybrid approaches), addresses explanation and argumentation, where ...
2
votes
1answer
224 views

Is there any AI system for finding the best way to schedule university classes?

I was wondering whether there is an AI system which could be used to resolve the class clashes problem which mostly happens in universities. In almost every university students face this problem, ...
4
votes
3answers
211 views

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'...
4
votes
1answer
108 views

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 ...
6
votes
2answers
2k views

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 ...
6
votes
2answers
800 views

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.
3
votes
1answer
216 views

Historical weakness of GOFAI in relation to partisan combinatorial games?

I was recently perusing the paper Some Studies in Machine Learning Using the Game of Checkers II--Recent Progress (A.L. Samuel, 1967), which is interesting historically. I was looking at this figure, ...
7
votes
3answers
340 views

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 ...
4
votes
0answers
314 views

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....
7
votes
1answer
110 views

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 ...
7
votes
2answers
904 views

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 ...
3
votes
1answer
175 views

How can thought vectors be used outside of an Artificial Neural Network (ANN) context?

We hear a lot today about how thought vectors are the Next Big Thing in AI, and how they serve as the underlying representation of thought/knowledge in ANN's. But how can one use thought vectors in ...
9
votes
1answer
422 views

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 '...
3
votes
1answer
303 views

In what ways can connectionist AI be integrated with GOFAI?

In what ways can connectionist artificial intelligence (neural networks) be integrated with Good Old-Fashioned A.I. (GOFAI)? For instance, how could deep neural networks be integrated with knowledge ...
4
votes
1answer
77 views

Can rule induction be considered a way to "hybridize" probabilistic / statistical approaches and symbolic approaches?

In years past, GOFAI (Good Old Fashioned AI) was heavily based on "rules" and symbolic computation based on rules. Unfortunately, that approach ran into stumbling blocks, and the world moved heavily ...
5
votes
1answer
4k views

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-...