Parsing error due to :metic

[Ashutosh Pandey]

Hi,

I am getting following error when using translate/translate.py.

I expect lama 2011 to support :metirc. Please let me know what is the issue.

Thanks

Parsing...

Traceback (most recent call last):

  File "/home/ashutosp/Downloads/Planners/lama/seq-sat-lama-2011/src/translate/translate.py", line 586, in <module>

    task = pddl.open()

  File "/home/ashutosp/Downloads/Planners/lama/seq-sat-lama-2011/src/translate/pddl/pddl_file.py", line 48, in open

    return tasks.Task.parse(domain_pddl, task_pddl)

  File "/home/ashutosp/Downloads/Planners/lama/seq-sat-lama-2011/src/translate/pddl/tasks.py", line 37, in parse

    = parse_domain(domain_pddl)

  File "/home/ashutosp/Downloads/Planners/lama/seq-sat-lama-2011/src/translate/pddl/tasks.py", line 97, in parse_domain

    yield Requirements(opt_requirements[1:])

  File "/home/ashutosp/Downloads/Planners/lama/seq-sat-lama-2011/src/translate/pddl/tasks.py", line 83, in __init__

    ":derived-predicates", ":action-costs"), req

AssertionError: :fluents

[Malte Helmert]

On 11.03.2013 07:09, Ashutosh Pandey wrote:
> Hi,
>
> I am getting following error when using translate/translate.py.
> I expect lama 2011 to support :metirc. Please let me know what is the issue.

Dear Ashutosh,

can you send the PDDL files that give the error message? Without them,
it's generally hard to understand what is going on and how to fix it.

It looks to me like the ":requirements" specification contains a
":fluents" entry. This is not allowed by the planner, since it doesn't
support arbitrary numerical fluents, only those that are related to
action costs. If you replace ":fluents" with ":action-costs" in the
:requirements block, this particular error message should go away.

Cheers,
Malte

[William Cushing]

Note that the only sort of metric that FD supports is sum-of-action-costs (and, if you are willing to implement the isomorphism yourself, then any metric isomorphic to sum-of-action-costs).

Supporting quantitative or qualitative metrics beyond sum-of-action-costs takes one beyond the realm of classical planning.  

-Will

--
You received this message because you are subscribed to the Google Groups "Fast Downward" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fast-downwar...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.