Stable Model Semantics of Weight Constraint Rules

Abstract

1 A generalization of logic program rules is proposed where rules are built from weight constraints with type information for each predicate instead of simple literals. These kinds of constraints are useful for concisely representing di erent kinds of choices as well as cardinality, cost and resource constraints in combinatorial problems such as product con guration. A declarative semantics for the rules is presented which generalizes the stable model semantics of normal logic programs. It is shown that for ground rules the complexity of the relevant decision problems stays in NP. The rst implementation of the language handles a decidable subset where function symbols are not allowed. It is based on a new procedure for computing stable models for ground rules extending normal programs with choice and weight constructs and a compilation technique where a weight rule with variables is transformed to a set of such simpler ground rules.

DOI: 10.1007/3-540-46767-X_23

Extracted Key Phrases

1 Figure or Table

Statistics

01020'01'03'05'07'09'11'13'15'17
Citations per Year

127 Citations

Semantic Scholar estimates that this publication has 127 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Niemel1999StableMS, title={Stable Model Semantics of Weight Constraint Rules}, author={Ilkka Niemel{\"a} and Patrik Simons and Timo Soininen}, booktitle={LPNMR}, year={1999} }