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_subset.gringo

Name	repair_subset.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 21:46
Languages	Gringo 2.0.2
Language Features	Disjunction
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	complement/2 exp/1 input/2 obs_elabel/3 obs_vlabel/3 pos/1 repair/1 sign/1
Output Predicates	bot/0 drop/1 elabell/3 keep/1 oppo/3 vlabell/3
Encoding Parameter
Standalone	No
Tags	Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (Martin Gebser)
Attributes
Content	% Check subset-minimality of candidate repair (obtained from repair_core.gringo) % guess repairs to drop drop(R) | keep(R) :- repair(R). keep(R) :- not repair(R), pos(R). bot :- keep(R) : pos(R). % check for consistent total labeling w.r.t. dropped/kept repairs elabell(U,V,S) : sign(S) :- edge(U,V), sign(T), not obs_elabel(U,V,T). % elabell(U,V,S) : sign(S) :- keep(aedge(U,V)). % elabell(U,V,S) : sign(S) :- repair(aedge(U,V)). % elabell(U,V,S) : sign(S) :- pos(aedge(U,V)). elabell(U,V,S) : sign(S) :- keep(aedge(U,V)), repair(aedge(U,V)). elabell(U,V,T) :- repair(eflip(U,V,S)), keep(eflip(U,V,S)), complement(S,T). elabell(U,V,S) :- drop(eflip(U,V,S)). elabell(U,V,S) :- not repair(eflip(U,V,S)), obs_elabel(U,V,S), complement(S,T), edge(U,V), not obs_elabel(U,V,T). vlabell(P,V,S) : sign(S) :- exp(P), vertex(V). vlabell(P,V,T) :- repair(vflip(P,V,S)), keep(vflip(P,V,S)), complement(S,T). vlabell(P,V,S) :- drop(vflip(P,V,S)). vlabell(P,V,S) :- not repair(vflip(P,V,S)), obs_vlabel(P,V,S), exp(P), vertex(V). oppo(P,U,V) :- edge(U,V), elabell(U,V,S), vlabell(P,U,T), vlabell(P,V,R), S*T != R, not input(P,V). % oppo(P,U,V) :- keep(aedge(U,V)), elabell(U,V,S), vlabell(P,U,T), vlabell(P,V,R), S*T != R, not input(P,V). % oppo(P,U,V) :- repair(aedge(U,V)), elabell(U,V,S), vlabell(P,U,T), vlabell(P,V,R), S*T != R, not input(P,V). oppo(P,U,V) :- keep(aedge(U,V)), elabell(U,V,S), vlabell(P,U,T), vlabell(P,V,R), S*T != R, not input(P,V), repair(aedge(U,V)). oppo(P,U,V) :- drop(aedge(U,V)), exp(P), not input(P,V). oppo(P,U,V) :- pos(aedge(U,V)), not repair(aedge(U,V)), exp(P), not input(P,V). bot :- exp(P), oppo(P,U,V) : edge(U,V), oppo(P,W,V) : pos(aedge(W,V)), drop(ivert(P,V)). bot :- exp(P), oppo(P,U,V) : edge(U,V), oppo(P,W,V) : pos(aedge(W,V)), drop(ivert(V)), not input(P,V). bot :- exp(P), oppo(P,U,V) : edge(U,V), oppo(P,W,V) : pos(aedge(W,V)), not repair(ivert(P,V)), not repair(ivert(V)), vertex(V), not input(P,V). % noex(P,V) :- exp(P), vertex(V), oppo(P,U,V) : edge(U,V), oppo(P,W,V) : pos(aedge(W,V)), not input(P,V). % bot :- noex(P,V), drop(ivert(V)). % bot :- noex(P,V), drop(ivert(P,V)). % bot :- noex(P,V), not repair(ivert(P,V)), not repair(ivert(V)). % derive everything from bot drop(R) :- bot, pos(R). keep(R) :- bot, pos(R). elabell(U,V,S) :- bot, pos(aedge(U,V)), sign(S). elabell(U,V,S) :- bot, edge(U,V), sign(S), sign(T), not obs_elabel(U,V,T). vlabell(P,V,S) :- bot, exp(P), vertex(V), sign(S). % exclude existence of smaller repairs :- not bot. % output projection #show repair/1.