4 ms·
Yes, a proper definition of reasoning must be provided. How are you defining reasoning, exactly? You imply that formal logic is reasoning. Is reasoning just for
by drob518 3mo ago
Yes, a proper definition of reasoning must be provided. How are you defining reasoning, exactly? You imply that formal logic is reasoning. Is reasoning just formal logic or is formal logic just a subset of reasoning? If a subset, what’s the rest of it? Since they implement logic, do Prolog programs “reason” or are they just performing inference according to the SLD resolution algorithm?
- mdp2021 3mo ago> proper definition of reasoning must be provided It will be related to the context. If a process tells me that "if the light is blue and the sound is sharp then the lever must be lowered", it outputs reasoning; if what the activity did was running on conditional paths like an Expert System, what it did was different from the content and only improper reasoning; if the activity produced semantic evaluations about the light, the blue, the sound, the sharpness, the lever etc., then it was reasoning even if it was a process that reasoned. But all of this makes sense only when it is there for the proper implementation of reasoning. Otherwise, Dijkstra is valid.