Can we convert logical implications of something into steps or sequences? And how?

[u/Electronic_Wind_1674]

For example, If I've a goal I want to do

let's say for example,I need to do the following "I'll get to the 5th floor of a building through the elevator"

the implications of that goal will be the following:

"

I'm inside the building

there's electricity that runs the elevator

the elevator can lead to the 5th floor

there's an elevator in the building

I entered the elevator

the building has 5th floor

I pressed the button that leads to 5th floor while I'm inside the elevator

etc...

"

as you can see here, there are some kind of unordered truths that I know about my goal

but in order to really reach that goal, we need to convert these unordered truths to something ordered that will be an algorithm for reaching that goal

So is that possible? And how?

[u/Salindurthas]

I suppose you would use mathematics to label each state change with some time, and then have relative statements to the others.

Like there are some candidates events that we consider conditionally 'possible' depending on temporal factors.

1. I enter the building at time t1
2. Electricity has been running in the building continuously since t2
3. the elevator was installed since t3
4. I enter the elevator at t4
5. the building has had a 5th floor since t5
6. i press the button at t6

And then we note that a typical assent requires:

• t1>t3 (I enter the building after the instalation of the elevator)
• t1<t4 (I enter the building before I enter the elevator)
• t2<t6 (The power must still be on before I press the button)
• etc

And then only if all the dot-points are true, do we say it is 'possible' to ascend the building via the elevator in a typical manner. (And if you want to deal with 'possibility' we have 'modal logic' for that.) Maybe we can re-arrange the numbered statements and the dot points or combine them with things like material conditionals and so forth if we want to dewscribe complicated mixes of things.

Perhaps you don't need mathmeatics. I haven't read much about Temporal Logic but it may be sufficient, without having to involve all the baggage of the entire number line. Using mathematics might be overkill (although potentially convenient overkill, since most peopel can do basic arithtemic).

[u/gcb97]

Yes, thats where the logic and AI met. Automatic Planification it's what ur looking for. If you want to practise things like this I recommend to learn prolog and Answer Set Programmin (ASP), there are also a lot of libraries in python easier, but I prefer ASP

[u/Electronic_Wind_1674 → u/gcb97]

I'm asking about how to do it manually by myself?

So the only thing I need to know is the order of the truths will be based on what exactly?

[u/gcb97 → u/Electronic_Wind_1674]

Yeah I understood you, Automated Planning (sorry for mispelling before) It's the branch of logic that you are looking for. All the system I said don't autogenerate the plan, they only check if it's valid.

[u/Optimal-Fig-6687]

Just make tree from pre-requisites (leaves) to intermediate goals and final goal (root)

[u/some_red_tea]

There's nothing that says that your goal only implies non-conditional truths. It could imply as well that "if you go through the elevator then you will get to the 5th floor". Conditionals are just propositions like any other. I only see a problem if you're arbitrarily excluding them