Maude-help mailing list

[Matthew Rocklin <mrocklin AT cs.uchicago.edu>]

Hi Everyone,

I have a system module which produces a finite set of terminating states for a given input. 

I also have a quality function that maps these states to a Float. 

Is there a simple way to ask Maude to search for and return the best terminal state under this quality function?

More complex - is there a way to use this quality function to speed up the search process. I.e. can I have Maude give up searching down paths that seem poor quality.

Thanks,

--

Matthew Rocklin

University of Chicago

Computer Science PhD Student