def test(): language = ["p", "q", "r", "s"] s0 = worldgen(language) s1 = updateFormula(s0, "r") s2 = updateLaw(s1, "(r)>((p)|(q))") situation = {"p": True} # pprint("Result 1:") # pprint(Forceable(situation, [s2[5][meta][name], s2[4][meta][name], s2[6][meta][name], s2[7][meta][name]], s2)) # pprint("Result 2:") # pprint(Forceable(situation, ["w_5", "w_4", "w_6", "w_7"], s2)) w0 = {meta: {name: "w0", FS: True, US: True}, values: {"p": True, "q": False, "r": False, "s": True}} w1 = {meta: {name: "w1", FS: True, US: True}, values: {"p": False, "q": True, "r": False, "s": False}} w2 = {meta: {name: "w2", FS: True, US: True}, values: {"p": False, "q": False, "r": True, "s": True}} cogstate = [w0, w1, w2] pprint(getAllBases(w0, cogstate))
from pprint import pprint from genworlds import worldgen from updates import updateFormula, updateLaw from counterfactual import ifItHadBeenTheCase from subprocess import call from texoutput import * # Start the tex file out = texheader("Hansson's Hamburger puzzle", "The Factual Counterfactual Counter") # Need propositional letters for "seeing a man walking with a hamburger", # "snackbar A is open" and "snackbar B is open". alphabet = ["p", "q", "r"] # Now we generate the universe W = worldgen(alphabet) out += texify(W) # Update with the fact that we see the man W = updateFormula(W, "r") out += texify(W) # Update with the law that if we see a man with a hamburger, he must have # got it at one of the snackbars W = updateLaw(W, "(r)>((p)|(q))") out += texify(W) # Update since we see A is open W = updateFormula(W, "p") out += texify(W)