
>(load "pv.lsp")
Loading pv.lsp
Finished loading pv.lsp
T

> (input_scenario)
Please input list of true proposition letters:  (a)
Please input list of false proposition letters:  (a)
Please input potential:  1


There is a problem. The scenario you have input is
inconsistent. Please start again.

Please input list of true proposition letters:  (a)
Please input list of false proposition letters:  (c)
Please input potential:  1

#S(SCENARIO POSITIVES (A) NEGATIVES (C) POTENTIAL 1)

>(input_scenario)
Please input list of true proposition letters:  (a)
Please input list of false proposition letters:  (b)
Please input potential:  1

#S(SCENARIO POSITIVES (A) NEGATIVES (B) POTENTIAL 1)

>(input_scenario)
Please input list of true proposition letters:  (c)
Please input list of false proposition letters:  ()
Please input potential:  1

#S(SCENARIO POSITIVES (C) NEGATIVES NIL POTENTIAL 1)

>(input_scenario)
Please input list of true proposition letters:  (a)
Please input list of false proposition letters:  nil
Please input potential:  2

#S(SCENARIO POSITIVES (A) NEGATIVES NIL POTENTIAL 2)

>(input_scenario)
Please input list of true proposition letters:  (b)
Please input list of false proposition letters:  ()
Please input potential:  5

#S(SCENARIO POSITIVES (B) NEGATIVES NIL POTENTIAL 5)

>(check_completeness_condition)
NIL

> *scenarios*
(#S(SCENARIO POSITIVES (B) NEGATIVES NIL POTENTIAL 5)
 #S(SCENARIO POSITIVES (A) NEGATIVES NIL POTENTIAL 2)
 #S(SCENARIO POSITIVES (C) NEGATIVES NIL POTENTIAL 1)
 #S(SCENARIO POSITIVES (A) NEGATIVES (B) POTENTIAL 1)
 #S(SCENARIO POSITIVES (A) NEGATIVES (C) POTENTIAL 1))

>(input_scenario)
Please input list of true proposition letters:  ()
Please input list of false proposition letters:  (a b c)
Please input potential:  1

#S(SCENARIO POSITIVES NIL NEGATIVES (A B C) POTENTIAL 1)

>(check_completeness_condition)
(C)

> (setq f1 (input_formula))
Please input a formula:   (a & (b & (- c)))

#S(FORMULA FUNCTOR & SUB_FORMULA1
           #S(FORMULA FUNCTOR NIL SUB_FORMULA1 A SUB_FORMULA2 NIL
                      TRUTH_VALUE NIL)
           SUB_FORMULA2
           #S(FORMULA FUNCTOR & SUB_FORMULA1
                      #S(FORMULA FUNCTOR NIL SUB_FORMULA1 B
                                 SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                      SUB_FORMULA2
                      #S(FORMULA FUNCTOR - SUB_FORMULA1
                                 #S(FORMULA FUNCTOR NIL SUB_FORMULA1 C
                                    SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                                 SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                      TRUTH_VALUE NIL)
           TRUTH_VALUE NIL)

> (input_scenario)
Please input list of true proposition letters:  ()
Please input list of false proposition letters:  ()
Please input potential:  1

#S(SCENARIO POSITIVES NIL NEGATIVES NIL POTENTIAL 1)

>(setq s1 (car *scenarios*))
#S(SCENARIO POSITIVES NIL NEGATIVES NIL POTENTIAL 1)

> (compute_bel f1 s1)
0.33333333333333337

> (setq f2 (input_formula))
Please input a formula:   ((-c ) & (a & b))

Formula improperly input. Please try again.

Please input a formula:   ((- c) & (a & b))

#S(FORMULA FUNCTOR & SUB_FORMULA1
           #S(FORMULA FUNCTOR - SUB_FORMULA1
                      #S(FORMULA FUNCTOR NIL SUB_FORMULA1 C
                                 SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                      SUB_FORMULA2 NIL TRUTH_VALUE NIL)
           SUB_FORMULA2
           #S(FORMULA FUNCTOR & SUB_FORMULA1
                      #S(FORMULA FUNCTOR NIL SUB_FORMULA1 A
                                 SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                      SUB_FORMULA2
                      #S(FORMULA FUNCTOR NIL SUB_FORMULA1 B
                                 SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                      TRUTH_VALUE NIL)
           TRUTH_VALUE NIL)

> (compute_bel f2 s1)
0.27777777777777779

> (monty_compute_bel f2 s1 100)
0.28000000000000003

> (setq *scenarios* nil)
NIL

> (input_scenario)
Please input list of true proposition letters:  ()
Please input list of false proposition letters:  ()
Please input potential:  1

#S(SCENARIO POSITIVES NIL NEGATIVES NIL POTENTIAL 1)

>(input_scenario)
Please input list of true proposition letters:  (a b)
Please input list of false proposition letters:   ()
Please input potential:  7

#S(SCENARIO POSITIVES (A B) NEGATIVES NIL POTENTIAL 7)

>(input_scenario)
Please input list of true proposition letters:  (a)
Please input list of false proposition letters:  (b)
Please input potential:  3

#S(SCENARIO POSITIVES (A) NEGATIVES (B) POTENTIAL 3)

>(input_scenario)
Please input list of true proposition letters:  (b)
Please input list of false proposition letters:  (a)
Please input potential:  10

#S(SCENARIO POSITIVES (B) NEGATIVES (A) POTENTIAL 10)

>(input_scenario)
Please input list of true proposition letters:  (a)
Please input list of false proposition letters:  ()
Please input potential:  5

#S(SCENARIO POSITIVES (A) NEGATIVES NIL POTENTIAL 5)

>(input_scenario)
Please input list of true proposition letters:  (b)
Please input list of false proposition letters:  ()
Please input potential:  4

#S(SCENARIO POSITIVES (B) NEGATIVES NIL POTENTIAL 4)

>(check_completeness_condition)
(B)

> (setq f3 (input_formula))
Please input a formula:   (a -> b)

#S(FORMULA FUNCTOR - SUB_FORMULA1
           #S(FORMULA FUNCTOR & SUB_FORMULA1
                      #S(FORMULA FUNCTOR NIL SUB_FORMULA1 A
                                 SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                      SUB_FORMULA2
                      #S(FORMULA FUNCTOR - SUB_FORMULA1
                                 #S(FORMULA FUNCTOR NIL SUB_FORMULA1 B
                                    SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                                 SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                      TRUTH_VALUE NIL)
           SUB_FORMULA2 NIL TRUTH_VALUE NIL)

> (compute_bel f3 s1)
0.83714285714285719

> *scenarios*
(#S(SCENARIO POSITIVES (B) NEGATIVES NIL POTENTIAL 4)
 #S(SCENARIO POSITIVES (A) NEGATIVES NIL POTENTIAL 5)
 #S(SCENARIO POSITIVES (B) NEGATIVES (A) POTENTIAL 10)
 #S(SCENARIO POSITIVES (A) NEGATIVES (B) POTENTIAL 3)
 #S(SCENARIO POSITIVES (A B) NEGATIVES NIL POTENTIAL 7)
 #S(SCENARIO POSITIVES NIL NEGATIVES NIL POTENTIAL 1))

>(setq f4 (input_formula))
Please input a formula:   (a & b)

#S(FORMULA FUNCTOR & SUB_FORMULA1
           #S(FORMULA FUNCTOR NIL SUB_FORMULA1 A SUB_FORMULA2 NIL
                      TRUTH_VALUE NIL)
           SUB_FORMULA2
           #S(FORMULA FUNCTOR NIL SUB_FORMULA1 B SUB_FORMULA2 NIL
                      TRUTH_VALUE NIL)
           TRUTH_VALUE NIL)

> (setq f5 (input_formula))
Please input a formula:   (b & a)

#S(FORMULA FUNCTOR & SUB_FORMULA1
           #S(FORMULA FUNCTOR NIL SUB_FORMULA1 B SUB_FORMULA2 NIL
                      TRUTH_VALUE NIL)
           SUB_FORMULA2
           #S(FORMULA FUNCTOR NIL SUB_FORMULA1 A SUB_FORMULA2 NIL
                      TRUTH_VALUE NIL)
           TRUTH_VALUE NIL)

> (compute_bel f4 s1)
0.43714285714285717

> (compute_bel f5 s1)
0.38257575757575757

> (setq f6 (input_formula))
Please input a formula:   (a \/ b)

#S(FORMULA FUNCTOR - SUB_FORMULA1
           #S(FORMULA FUNCTOR & SUB_FORMULA1
                      #S(FORMULA FUNCTOR - SUB_FORMULA1
                                 #S(FORMULA FUNCTOR NIL SUB_FORMULA1 A
                                    SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                                 SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                      SUB_FORMULA2
                      #S(FORMULA FUNCTOR - SUB_FORMULA1
                                 #S(FORMULA FUNCTOR NIL SUB_FORMULA1 B
                                    SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                                 SUB_FORMULA2 NIL TRUTH_VALUE NIL)
                      TRUTH_VALUE NIL)
           SUB_FORMULA2 NIL TRUTH_VALUE NIL)

> (compute_bel f6 s1)
1.0

