Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Encoding repair_core.gringo

Name	repair_core.gringo
Class Tree	[Root]    Graph Problems (32)    Sign Consistency (5)    Repair and Prediction (5)
Submitter	Martin Gebser
Author	Martin Gebser
Description
Created	2010-02-23 19:15
Modified	2010-02-23 20:02
Languages	Gringo 2.0.2
Language Features	Choice rules
Compatible Instance Classes	Escherichia coli Heatshock 3 Percent 6 Percent 9 Percent 12 Percent 15 Percent Exponential-Stationary Growth Shift 3 Percent 6 Percent 9 Percent 12 Percent 15 Percent
Input Predicates	edge/2 exp/1 input/2 obs_elabel/3 obs_vlabel/3 repair_a/0 repair_e/0 repair_g/0 repair_i/0 repair_v/0 vertex/1
Output Predicates	complement/2 elabel/3 infl/3 pos/1 repair/1 sign/1 vlabel/3
Encoding Parameter
Standalone	No
Tags	Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (Martin Gebser)
Attributes
Content	% Provide candidate repair (for cardinality or subset minimization) % - For available repair options, see repair_config.gringo % auxiliary definitions sign(-1;1). complement(S,-S) :- sign(S). % construct candidate repair pos(aedge(U,V)) :- repair_a, vertex(U;V), U != V, not edge(U,V), exp(P), not input(P,V). pos(eflip(U,V,S)) :- repair_e, edge(U,V), obs_elabel(U,V,S), not obs_elabel(U,V,T), complement(S,T), exp(P), not input(P,V). pos(ivert(V)) :- repair_g, exp(P), vertex(V), not input(P,V). pos(ivert(P,V)) :- repair_i, exp(P), vertex(V), not input(P,V). pos(vflip(P,V,S)) :- repair_v, exp(P), vertex(V), obs_vlabel(P,V,S). { repair(R) : pos(R) }. :- repair(ivert(V)), repair(ivert(P,V)). % construct consistent total labeling elabel(U,V,S) :- not repair(eflip(U,V,S)), obs_elabel(U,V,S), edge(U,V). elabel(U,V,T) :- repair(eflip(U,V,S)), complement(S,T). elabel(U,V,S) :- repair(aedge(U,V)), not elabel(U,V,T), complement(S,T). elabel(U,V,S) :- edge(U,V), not elabel(U,V,T), complement(S,T). vlabel(P,V,S) :- not repair(vflip(P,V,S)), obs_vlabel(P,V,S), exp(P), vertex(V). vlabel(P,V,T) :- repair(vflip(P,V,S)), complement(S,T). vlabel(P,V,S) :- not vlabel(P,V,T), complement(S,T), exp(P), vertex(V). infl(P,V,S*T) :- elabel(U,V,S), vlabel(P,U,T), not input(P,V). :- vlabel(P,V,S), not infl(P,V,S), not input(P,V), not repair(ivert(P,V)), not repair(ivert(V)). :- vlabel(P,V,S), infl(P,V,S), repair(ivert(P,V)). % output projection #hide. %#show elabel/3. #show vlabel/3. %#show repair/1.