dlvhex

How the ActionPlugin Computes Preferences Between Actions

We report here the definition of the objective function H_P(A) (generalized from (Leone et al. 2006)). For an answer set A, H_P(A) is defined in terms of an auxiliary function f_p as follows:

f_P (1) = 1,	(A1)
f_P(n)=f_P(n-1)·(\|AA_w(grnd(P))\|)·w^P_max+ 1, n > 1 ,	(A2)
H_P(A)=∑_i=1^{l^P_max}(f_P(i)· ∑_{a &isin M_i^P(a)} weight(a))	(A3)

where w^P_max and l^P_max denote the maximum weight and maximum level over weighted action atoms in grnd(P), respectively; M^P_i (A) denotes the set of action atoms with weight and level i that appear in A, and weight(a) denotes the weight of resp. action atom a.

References

Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., and Scarcello, F. 2006. The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7, 3, 499-562.

last edited 2010-02-21