search

GMMDMDIDEMS / rddl-instance-generator

A command line tool for generating an unlimited number of RDDL instance files of customisable complexity.
MIT License
0 stars 0 forks source link

Add a parameter to define the minimum number of objects #2

Open GMMDMDIDEMS opened 2 months ago

GMMDMDIDEMS commented 2 months ago

To guarantee interesting instances, we potentially need to define a minimum number of objects. This could be achieved by adding a min-parameter. E.g. for the Wildfire domain:

types:
  - x_pos:
    type: object
    min: 2
  - y_pos:
    type: object
    min: 2

Do we want to prevent a user from creating (potentially) trivial instances? Just issue a warning? Can we say with certainty that an instance with 1 x_pos and e.g. 8 y_pos objects is trivial/uninteresting? Probably rather depends on the variable assignments...

GMMDMDIDEMS commented 1 month ago

An advanced option could be to allow the user to define object constraints in the form of a constraint satisfaction problem (CSP), from which the possible object combinations result.

See also python-constraint