RE: Group prayer on Skype on behalf of our Christian members
May 26, 2018 at 5:38 am
(This post was last modified: May 26, 2018 at 5:46 am by I_am_not_mafia.)
(May 25, 2018 at 8:57 pm)Huggy74 Wrote: Calculators can problem solve NOT reason.
Well considering that you only seem to be using wikipedia and dictionaries and considering anything appearing in them as correct ...
https://en.wikipedia.org/wiki/Automated_reasoning
Quote:The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy.
The most developed subareas of automated reasoning are automated theorem proving (and the less automated but more pragmatic subfield of interactive theorem proving) and automated proof checking (viewed as guaranteed correct reasoning under fixed assumptions). Extensive work has also been done in reasoning by analogy induction and abduction.
Other important topics include reasoning under uncertainty and non-monotonic reasoning
Oh but look what I found, a wikipedia page not making a distinction between problem solving and reasoning ...
https://en.wikipedia.org/wiki/Case-based_reasoning
Quote:Case-based reasoning (CBR), broadly construed, is the process of solving new problems based on the solutions of similar past problems
Quote:It has been argued that case-based reasoning is not only a powerful method for computer reasoning, but also a pervasive behavior in everyday human problem solving; or, more radically, that all reasoning is based on past cases personally experienced. This view is related to prototype theory, which is most deeply explored in cognitive science.
