I am wondering about how Discrete Reasoning is different than Logic. I assume that Discrete Reasoning could be described, modelled or represented by Logic, but as a more practical method, logic would be a tool to use with Discrete Reasoning rather than as a representational substrate.
Discrete Reasons and Discrete Reasoning can have meaning over and above the True False values of Logic (and the True False Relationships between combinations of Propositions.) Discrete Reasoning can have combinations that do not have a meaning or which do not have a clear meaning. This is one of the most important distinctions. It can be used in various combinations of hierarchies and/or in non-hierarchies. It can, for the most part, be used more freely with other modelling methods. Discrete Reasoning may be Context Sensitive in ways that produce ambiguities, both useful and confusing. Discrete Reasoning can be Active. So a statement about some subject might, for one example, suggest that you should change your thinking about (or representation of) the subject in a way that goes beyond some explicit propositional description about some object. You may be able to show that Logic can be used in a way to allow for all these effects, but I believe that there is a strong argument for focusing on Discrete Reasoning, as opposed to Logic, when you are working directly on AI. Jim Bromer ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/Tcc2adcdd20e1add4-M5dd9053c2b88a6c64297c790 Delivery options: https://agi.topicbox.com/groups
