liveBook · Manning

Symbolic reasoning

As explained in Inside AI

Symbolic reasoning is reasoning that derives conclusions by manipulating explicit symbols according to formal rules and logic.

Symbolic reasoning derives conclusions by manipulating explicit symbols according to formal rules and logic. It suits problems where actions must satisfy stated constraints rather than merely match patterns in data. section 7.0

River-crossing puzzle

The Farmer-Wolf-Goat-Cabbage riddle requires finding a safe sequence of crossings while preventing the wolf from eating the goat and the goat from eating the cabbage. Explicit rules and constraints determine which action comes next. section 7.0

This approach addresses deductive reasoning, forward planning, and domain constraints that statistical models may miss. Data-driven systems can identify correlations, but diagnosis also requires medical concepts, disease mechanisms, biology, pathology, and clinical expertise. section 7.0

How Inside AI covers it

How deep it goes
Defines symbolic reasoning through one constrained puzzle and stops short of implementation details.
Examples
Uses the Farmer-Wolf-Goat-Cabbage riddle and medical diagnosis as contrasting applications.
What you can do after
Evaluate whether a task requires explicit rules and constraints beyond statistical pattern recognition.
How it connects
Ties symbolic reasoning to logic, deductive reasoning, forward planning, machine learning, and medical diagnosis.

Also explained in

Compare how 3 books explain symbolic reasoning →

Related concepts

This explainer was generated by Manning's knowledge graph from the text of Inside AI. The section links point to the parts of the book it draws on.