EHadoux/aptimizer

View on GitHub
examples/dvorak.yml

Summary

Maintainability
Test Coverage
title: dvorak

version: 1

discount: 0.9

arguments: [a, b, c, d, e, f, g, h]

attacks:
 - e(b,a)
 - e(c,b)
 - e(c,d)
 - e(d,c)
 - e(d,e)
 - e(f,e)
 - e(g,f)
 - e(e,g)
 - e(h,d)

agent:
 - premises: "h(a)"
   claims:
   - "1.0: +a(a)"

 - premises: "h(e)"
   claims:
   - "1.0: +a(e)"

 - premises: "h(e) & a(g)"
   claims:
   - "1.0: +a(e)"

 - premises: "h(g) & a(f)"
   claims:
   - "1.0: +a(g)"

 - premises: "h(c) & a(b)"
   claims:
   - "1.0: +a(c)"

 - premises: "h(c) & a(d)"
   claims:
   - "1.0: +a(c)"

 - premises: "h(h) & a(d)"
   claims:
   - "1.0: +a(h)"

opponent:
 - premises: "h(b) & a(a)"
   claims:
   - "1.0: +a(b)"

 - premises: "h(d) & a(c)"
   claims:
   - "1.0: +a(d)"

 - premises: "h(d) & h(f) & a(e)"
   claims:
   - "0.5: +a(d)"
   - "0.5: +a(f)"

initial: "h(a) & h(c) & h(e) & h(g) & h(h)"

goals: "g(a) & g(e)"

action_names:
 - adda
 - adde
 - addep
 - addg
 - addc
 - addcp
 - addh