The logic of lifts

Discussion in 'Intelligence & Machines' started by Speakpigeon, Jul 22, 2019.

  1. Speakpigeon Valued Senior Member

    Can computer-literate people specify a lift, a usual lift, going up and down, stopping at floors etc. using only formal logic?
    I'm interested in the principle, no need to get all fussy about it. The simpler the better.
    No algorithm allowed. Only ordinary logic. Conjunctions and such, two truth values only, etc.
  2. Google AdSense Guest Advertisement

    to hide all adverts.
  3. exchemist Valued Senior Member

    Tell you what: why don't you offer a way of doing it for once, to give us a chance to be the ones to take potshots at what you've done? That would make a welcome change.
    sideshowbob likes this.
  4. Google AdSense Guest Advertisement

    to hide all adverts.
  5. DaveC426913 Valued Senior Member


    Please Register or Log in to view the hidden image!

    Couldn't resist.
    Carry on.
    exchemist likes this.
  6. Google AdSense Guest Advertisement

    to hide all adverts.
  7. James R Just this guy, you know? Staff Member

    How far back do you want to start?
  8. Speakpigeon Valued Senior Member

    I don't know. Could you go back to around 236 BC?

    The earliest known reference to a lift is in the works of the Roman architect Vitruvius, who reported that Archimedes (c. 287 BC – c. 212 BC) built his first lift probably in 236 BC.[2] Some sources from later historical periods mention lifts as cabs on a hemp rope powered by hand or by animals.
    In 1000, the Book of Secrets by al-Muradi in Islamic Spain described the use of an lift-like lifting device, in order to raise a large battering ram to destroy a fortress.[3] In the 17th century the prototypes of lifts were located in the palace buildings of England and France. Louis XV of France had a so-called 'flying chair' built for one of his mistresses at the Chateau de Versailles in 1743.[4]
    Ancient and medieval lifts used drive systems based on hoists or windlasses. The invention of a system based on the screw drive was perhaps the most important step in lift technology since ancient times, leading to the creation of modern passenger lifts. The first screw drive lift was built by Ivan Kulibin and installed in the Winter Palace in 1793. Several years later another of Kulibin's lifts was installed in the Arkhangelskoye near Moscow.
    I was just making sure our brightest minds around here actually didn't know how to do this. Apparently, like you here, they don't even know where to begin.
    And, no, I won't give you a lift.
  9. Beer w/Straw Transcendental Ignorance! Valued Senior Member

    Where would you begin?
  10. exchemist Valued Senior Member

    How do you arrive - logically - at the conclusion the brightest minds around here do not know how to do this?

    Surely other possibilities logically exist, e.g. :-

    A) They have not read your post,

    B) They cannot be arsed.
  11. billvon Valued Senior Member

    Given that I have done just that using Boolean logic (which is a subset of formal logic) - yes. The top level (application level, or "which floor to go to next") is easy. The lower levels (motor control, accel/decel control, level control) is just as doable but nearly impossible to express in formal logic. Easy in mathematics, though.
  12. RainbowSingularity Valued Senior Member

    "a Lift-like"
    not AN lift-like!

    Please Register or Log in to view the hidden image!ée_de_l'Arles_antique,_Arles,_France_(16168385326).jpg
    Last edited: Jul 24, 2019
  13. Speakpigeon Valued Senior Member

    Any chance you actually show the result here?
    What do you mean "nearly" impossible"? Do you mean you haven't done it but that it's doable? Is there any impossibility in principle?
  14. Speakpigeon Valued Senior Member

    How do you arrive logically at the conclusion that I arrived at my conclusion logically?
    Go on, you first.
  15. James R Just this guy, you know? Staff Member

    You include yourself in this, no doubt.
  16. arfa brane call me arf Valued Senior Member

    I can't be too sure, because the question is a little vague, but it looks like it's asking for a specification which corresponds to a static data structure rather than a computer program as such.

    The data structure would necessarily be some kind of switching network. Each lift would have a number of inputs and a number of outputs (different floors).
    In fact it would be relatively easy to define such a structure once all the floors and all the interconnecting lifts are given.

    If I was given this problem I think I could probably have a solution in a day or so; a diagram of the network and a data structure in some language.

    Why someone might think this is an example of some kind of logic fail, I can't really say. If someone is keen on finding an example that defies logical description (a physical example), I'd say they're shit out of luck.
    Hipparchia likes this.
  17. Beaconator Registered Senior Member



    I’m not sure if this guy fixes elevators, has terrible luck, or just a death wish.
  18. Ethernos 1997 Registered Senior Member

    I hope i am not getting this wrong. Lift consist of steel wire, motor and switch. So for floor 1 length of wire is x. For floor 2 length of wire is x minus something and so what i would do is calculate the revolution of motor w.r.t. floor 1,2 n so on and assign that revolution for floors.
  19. Dicart Registered Senior Member

    For that kind of machinery (a lift is a very simple machine), you start by creating a Karnaugh table.
    There are rules that permit to simplify this table.
    Once simplified, you can write the "logic formula" that express all the permitted logical states.
  20. river


    Well .....

    Last edited: Mar 1, 2021

Share This Page