Encoding hydraulic-planning_decision.iclingo

Name	hydraulic-planning_decision.iclingo
Class Tree	[Root] Unclassified (114) Hydraulic System (8) Hydraulic Planning (3) 3D ASP Competition (1)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	An incremental encoding of Hydraulic Planning. The time indexes in solutions can be made non-negative by using the script here: http://asp.haiti.cs.uni-potsdam.de/encoding/show/id/6080
Created	2009-03-29 17:12
Modified	2009-05-09 11:49
Languages	Iclingo 2.0.2
Language Features	Cardinality constraints Choice rules
Compatible Instance Classes	Hydraulic Planning
Input Predicates	full/1 goal/1 jet/1 junction/1 link/3 numValves/1 stuck/1 tank/1 valve/1
Output Predicates	switchon/2
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser)
Attributes
Content	#base. relay(J) :- link(I,J,V1), link(J,K,V2), I != K, not stuck(V1;V2). maxstep(S+1) :- S = { relay(J) : relay(J) : not goal(J) }. reach(1,J) :- goal(J). #cumulative t. :- maxstep(t-2). 1 { switchon(V,-t+2) : link(I,J,V) : not stuck(V) } 1 :- t > 1. :- switchon(V,-t+2), not reach(t-1,J) : link(I,J,V). reach(t,I) :- link(I,J,V), switchon(V,-t+2), reach(t-1,J). #volatile t. :- not reach(t,I) : full(I). #base. #hide. #show switchon/2.

Actions