Skip to main content

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
0 votes
1 answer
63 views

Real world example of an Knowledge based system

I was learning knowledge representation and reasoning in AI, in which till now, I have studied predicate logic and first order logic. Forward chaining, Backward chaining, Refutation resolution method ...
Bhavesh Achhada's user avatar
0 votes
1 answer
50 views

Equivalent of symbolic regression but for code instead of math expression

I'm already well versed with Genetic/Memetic algorithms and similar algorithms. I know about Symbolic regression, where some dataset is fitted through a math expression evolution, but I'm wondering, ...
Nordine Lotfi's user avatar
0 votes
0 answers
29 views

Symbolic AI in the medical field, specifically in diagnosing a patients condition. Have i understood the concept behind how it works?

This scenario should demonstrate just how the system along with the rule works in a medical diagnosis where the symptoms of the patient are evaluated by the system to determine what condition he/she ...
Micky G's user avatar
3 votes
2 answers
249 views

What is the "state of the art" in (at least partially) symbolic/logic-based chat bots/AI assistants?

ChatGPT has had a lot of buzz around it recently, and for good reason. It has shown some amazing capabilities in responding to new information, as well as in generalizing new information that has been ...
Nathan BeDell's user avatar
0 votes
0 answers
128 views

Could GPT3 be integrated with GOFAI programming to improve its ability to acquire new knowledge?

In my limited experience with AI chatbots (Replika, Sophie, etc.) they immediately fail the Turing test if I try to teach them some simple fact, or ask them to recall something that I said a few ...
Gaylen's user avatar
  • 1
0 votes
0 answers
56 views

How to relate the definition for entailment, with soundness and completeness?

Is it fair enough to say for a language model, φ, which makes certain variable A true, and if φ also makes another variable B true, then we can conclude: A ⊨ B And for a certain inference calculus c,...
Carpediem's user avatar
2 votes
1 answer
228 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 ...
hanugm's user avatar
  • 3,890
1 vote
0 answers
76 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 ...
hanugm's user avatar
  • 3,890
1 vote
1 answer
209 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 ...
hanugm's user avatar
  • 3,890
1 vote
2 answers
66 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. ...
Manish Kumar Singh's user avatar
1 vote
1 answer
328 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 ...
Hori Rashid's user avatar
3 votes
1 answer
1k 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}...
Vignesh Kumar's user avatar
5 votes
3 answers
689 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 ...
Dan D.'s user avatar
  • 1,293
2 votes
1 answer
182 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 ...
Basile Starynkevitch's user avatar
3 votes
3 answers
5k 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 ...
acj11507's user avatar
4 votes
1 answer
166 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 ...
Dan D.'s user avatar
  • 1,293
2 votes
0 answers
35 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 ...
TomR's user avatar
  • 863
2 votes
1 answer
130 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 ...
StalkingAletheia's user avatar
3 votes
1 answer
2k 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, ...
Israr Ali's user avatar
  • 103
4 votes
3 answers
336 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'...
olinarr's user avatar
  • 755
5 votes
1 answer
139 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 ...
Steven Sagona's user avatar
10 votes
3 answers
3k 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 ...
malioboro's user avatar
  • 2,819
6 votes
2 answers
963 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.
dua fatima's user avatar
3 votes
1 answer
321 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, ...
DukeZhou's user avatar
  • 6,237
8 votes
3 answers
572 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 ...
John Doucette's user avatar
4 votes
0 answers
362 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....
Daniel's user avatar
  • 326
7 votes
1 answer
159 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 ...
ihavenokia's user avatar
8 votes
2 answers
1k 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 ...
Alex S King's user avatar
3 votes
1 answer
185 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 ...
mindcrime's user avatar
  • 3,767
9 votes
1 answer
462 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 '...
NietzscheanAI's user avatar
3 votes
1 answer
438 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 ...
rcpinto's user avatar
  • 2,119
4 votes
1 answer
90 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 ...
mindcrime's user avatar
  • 3,767
5 votes
1 answer
6k 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-...
WilliamKF's user avatar
  • 2,513