The Action Plugin and Action Addon Framework


How the ActionPlugin Computes Preferences Between Actions

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


fP(1) = 1, (A1)

fP(n)=fP(n-1)·(|AAw(grnd(P))|)·wPmax+ 1, n> 1 , (A2)

HP(A)=i=1lPmax(fP(i)· a &isin MiP(a) weight(a)) (A3)

where wPmax and lPmax denote the maximum weight and maximum level over weighted action atoms in grnd(P), respectively; MPi(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 2013-04-23

 

General
dlvhex source code @ github.com
Description-Of-A-Project

Popular Plugins
Action Plugin
DecisionDiagrams Plugin
Description Logics Plugin
Description Logics Lite Plugin
MELD: Belief Merging Plugin
Nested HEX Plugin
MCSIE Plugin
String Plugin
dlvhex-semweb Project

Documentation
User Guide
README
doxygen
Writing Plugins in C++
Writing Plugins in Python