CSE 4/563: Knowledge Representation
Stuart C. Shapiro
Spring, 2007
On-Line Resources

ssh -X styx.cse.buffalo.edu

cd /projects/shapiro/CSE563/decreasoner

Propositional Logic

• To take input from file and have output printed on your screen:

  python ubdecreasonerP.py file
  

• or to take input from infile and have output put in outfile

  python ubdecreasonerP.py infile > outfile
  

• Syntax of the input file for decreasonerP.py:
  • A comment starts with the character ";" and extends to the end of the line.
  • Blank lines are permitted anywhere in the file.
  • Each atomic proposition must be introduced by a line:

    proposition Symbol [comment]
    

  • Where a Symbol "consists of (a) one or more digits or (b) an uppercase letter followed by zero or more letters or digits." [Erik T. Mueller, Discrete Event Calculus Reasoner Documentation, January 10, 2007]
  • After the atomic propositions are introduced, comes a sequence of wfps, each terminated with a period, and optionally followed by a comment, where the syntax of a wfp is:

    wfp ::= Symbol
              | ! wfp
              | wfp & wfp
              | wfp | wfp
              | wfp -> wfp
              | wfp <-> wfp
              | (wfp)
    

Predicate Logic

• To take input from file and have output printed on your screen:

  python ubdecreasoner.py file
  

• or to take input from infile and have output put in outfile

  python ubdecreasoner.py infile > outfile