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:
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.
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