Table 3 .

Decision Models Used by the Different Methodologies*

		Asbru	EON	GLIF	GUIDE	PRODIGY	PROforma
Switch (see dimension 4)		+ (Task pre- conditions in XOR)	+ (Case)	+ (Case)	+ (Deterministic one-of)	+ (Using argumentation rules)	+ (Plan preconditions in XOR)
Argumentation rules			+	+		+	+
Decision trees/influence diagrams					+ (Non-deterministic one-of)
External functions		+		+	+	+	+
Extensibility			+	+	+	+	+
Decision-making commits choice of alternative		+	+	+	+	+	Not necessarily
Authorization required		±	±	±	±	±	±
Preferences	Symbolica		+	+		+ Preferred option	+
	Weighted numeric						+
	Cost function	+				+	+
	Formal utility theory				+

*The symbol +/- means that the guideline encoder may specify that user authorization is required.