Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Recently, it has been shown how to automatically translate any problem in NP, expressed in the language of second-order logic, into a STRIPS planning problem. In this work,  extend this translation by considering decision problems in the polynomial-time hierarchy (PH) and not just NP. Since decision problems in PH require in general exponentially-long “certificates”, the plans (if any) for the resulting STRIPS problems may have exponential length. Besides explaining the novel translations,  present experimental results and discuss the challenges that such problems pose.
['Aldo Porco', 'Alejandro Machado', 'Blai Bonet']
I am writing a research paper on a idea Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions
[{"from": "human", "value": "I am writing a research paper on a idea Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Recently, it has been shown how to automatically translate any problem in NP, expressed in the language of second-order logic, into a STRIPS planning problem. In this work,  extend this translation by considering decision problems in the polynomial-time hierarchy (PH) and not just NP. Since decision problems in PH require in general exponentially-long \u201ccertificates\u201d, the plans (if any) for the resulting STRIPS problems may have exponential length. Besides explaining the novel translations,  present experimental results and discuss the challenges that such problems pose."}]