On 9/11/21, immortal.discover...@gmail.com <immortal.discover...@gmail.com> wrote: > By assumptions, do you mean probability, and not a solid yes or no?
No, I mean hypothetical reasoning. It's a proof method in logic, for example I assume A = "I drink a cup of poison", and I already know that taking the poison will kill me, in other words I know that A imply B = "I will be dead". So I get B as a conclusion with A being an assumption. Modus ponens says that A and A ⇒ B entails B. But that requires A to be already true. Humans often use hypothetical reasoning, for example when we play Tic Tac Toe. We reason that a move leads to winning, by this reasoning we find the move desirable and then we play the move. I'm wondering if a similar process can be emulated in formal logic... YKY ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T74958068c4e0a30f-M86b0a00e8d90c5c5045d0dd0 Delivery options: https://agi.topicbox.com/groups/agi/subscription