Public Repository

Last pushed: 2 years ago
Short Description
Implementation of Spatio Temporal ASPMT(QS) presented in IJCAI paper.
Full Description

----------------------------HOW TO RUN----------------------------

  1. Install docker.
  2. Download aspmtqs_sh:
    docker pull blindreview/sth
    
  3. To run benchmark examples from the paper:
    a) Spatial 1: Check if split is mutually consistent with parallel_move:
    docker run blindreview/sth /examples/spatial1
    
    b) Spatial 2: Check if split is mutually consistent with not po:
    docker run blindreview/sth /examples/spatial2
    
    c) Compose 1: Check if it is possible that composition of ntpp(S1,S2) and ntpp(S2,S3) is dc(S1,S3):
    docker run blindreview/sth /examples/compose1
    
    d) Compose 2: Check if it is possible that composition of po(S1,S2) and split(S2,S3) is po(S1,S3):
    docker run blindreview/sth /examples/compose2
    
    e) Contact 1: Check if it is possible that 4 stationary 3D STH section are externally connected with each other:
    docker run blindreview/sth /examples/contact1
    
    f) Contact 2: Check if it is possible that 5 stationary 4D STH section are externally connected with each other:
    docker run blindreview/sth /examples/contact2
    
    g) Abduce 1: Find a solution for the manipulation task:
    docker run blindreview/sth /examples/abduce1
    
    h) Abduce 2: Abduce position of robot B when it was not seen and compute its relation with the obstacle C:
    docker run blindreview/sth /examples/abduce2
    
Docker Pull Command
Owner
blindreview