On the realization of the recognition-primed decision model for artificial agents

Table 3 Joint probability table for possible worlds entails by rule#9

HFO	FPA	KMLPA	J₁ = HFO^FPA^KMPLA	J₂ = HITR	J₁ ⇒ J₂	p(.)
¬HFO	¬FPA	¬KMLPA	False	¬HITR	True	\(e^{w} /Z\)
¬HFO	¬FPA	¬KMLPA	False	HITR	True	\(e^{w} /Z\)
¬HFO	¬FPA	KMLPA	False	¬HITR	True	\(e^{w} /Z\)
¬HFO	¬FPA	KMLPA	False	HITR	True	\(e^{w} /Z\)
¬HFO	FPA	¬KMLPA	False	¬HITR	True	\(e^{w} /Z\)
¬HFO	FPA	¬KMLPA	False	HITR	True	\(e^{w} /Z\)
¬HFO	FPA	KMLPA	False	¬HITR	True	\(e^{w} /Z\)
¬HFO	FPA	KMLPA	False	HITR	True	\(e^{w} /Z\)
HFO	¬FPA	¬KMLPA	False	¬HITR	True	\(e^{w} /Z\)
HFO	¬FPA	¬KMLPA	False	HITR	True	\(e^{w} /Z\)
HFO	¬FPA	KMLPA	False	¬HITR	True	\(e^{w} /Z\)
HFO	¬FPA	KMLPA	False	HITR	True	\(e^{w} /Z\)
HFO	FPA	¬KMLPA	False	¬HITR	True	\(e^{w} /Z\)
HFO	FPA	¬KMLPA	False	HITR	True	\(e^{w} /Z\)
HFO	FPA	KMLPA	True	¬HITR	False	\(1/Z\)
HFO	FPA	KMLPA	True	HITR	True	\(e^{w} /Z\)

The probability p({HFO,FPA,KMPLA,¬HITR}) = 1/Z represents the probability of a world that is inconsistent with rule#9. The probabilities for all other possible worlds are equal to \(e^{w} /Z\), where w is the weight assigned to the rule. The operator ‘⇒’ is for logical implication