Scribd Logo
Upload

Welcome to Scribd!

  • 3 views

    Logic Lab FOAL (November 28, 2023)

    Uploaded by

    Prashant Rawat

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd

    Logic Lab FOAL (November 28, 2023)

    Uploaded by

    Prashant Rawat
    3 views2 pages

    Original Title

    lab

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    3 views2 pages

    Logic Lab FOAL (November 28, 2023)

    Uploaded by

    Prashant Rawat

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    of 2

    Logic Lab FOAL (November 28, 2023)

    Syntax, Semantics, and Pragmatics of of First-Order Logic with RISCAL

    Wolfgang Schreiner
    Wolfgang.Schreiner@risc.jku.at
    Research Institute for Symbolic Computation
    Johannes Kepler University Linz

    This exercise consists of running the software system RISCAL to investigate the syntax, semantics,
    and pragmatics of logic formulas by the specification of a computational problem. Consult the file
    README.txt on the course site to learn about how to run the software, either in a virtual Linux
    machine on your own computer (recommended) or on a remote server (alternative).
    If you choose the remote server option, you do not have to download the the exercise file as
    described below; it will be copied automatically to your working directory on the server when you
    login to the server such that you can open it in RISCAL. However, the file will be also automatically
    deleted when you logout (or when the network connection is interrupted). Therefore make sure that
    you regularly copy/paste the content of the modified file into a file on your local computer; otherwise
    all modifications may be lost!
    However, the following descriptions assume that you have chosen to use the virtual machine.

    Running the Exercise Execute in the virtual machine in a terminal window the commands

    mkdir RISCAL-Logic
    cd RISCAL-Logic
    wget https://www.risc.jku.at/people/schreine/courses/software/RISCAL-Logic.tgz
    tar zxf RISCAL-Logic.tgz
    ls -la
    RISCAL Lab.txt &

    By these commands you create a subdirectory RISCAL-Logic, go to this directory, download and
    unpack an archive that includes the exercise file Lab.txt, and start RISCAL on this file.
    This file contains various executable operations. To execute such an operation, select it in the
    “Operations” menu, optionally tick the execution option “Silent” and press the “Start Execution”
    button indicated by the green arrow.
    You perform the exercise by updating this file; to retrieve the updated file to your computer execute

    cp Lab.txt ~/host/.

    This copies the file into the directory host that is shared with your computer. From the corresponding
    directory of your computer, you can retrieve this file which is part of the deliverable of the exercise.
    Deliverable All results of the exercise are to be presented in a single PDF file LabResult.pdf
    that contains

    • a cover page with the title “Logic Lab Exercise”, your full name and Matrikelnumber;

    • a listing of the (updated) exercise file Lab.txt;

    • screenshots of the RISCAL software that depict the execution of some operations;

    • additional explanations you have been requested in the exercise.

    Further details on the contents of the file are given in the exercise file.
    Finally create a file LabResult.zip that contains both files LabResult.pdf and Lab.txt and
    upload the file LabResult.zip into the corresponding exercise of the Moodle course. After the
    upload, download the file again to make sure that the upload has worked.

    Demonstration On the afternoon of November 30 (possibly also on some other dates), you will
    give a short presentation of your solution. The presentation will be performed via Zoom (the session
    link will be announced in time).

    You might also like