Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  show how in the propositional case both Reiter's and Scherl & Levesque's solutions to the frame problem can be modelled in dynamic epistemic logic (DEL), and provide an optimal regression algorithm for the latter.#R##N#Our method is as follows:  extend Reiter's framework by integrating observation actions and modal operators of knowledge, and encode the resulting formalism in DEL with announcement and assignment operators.#R##N#By extending Lutz' recent satisfiability-preserving reduction to our logic,  establish optimal decision procedures for both Reiter's and Scherl & Levesque's approaches:#R##N#satisfiability is NP-complete for one agent, PSPACE-complete for multiple agents and EXPTIME-complete when common knowledge is involved.
['Hans van Ditmarsch', 'Andreas Herzig', 'Tiago de Lima']
I am writing a research paper on a idea Optimal Regression for Reasoning about Knowledge and Actions.
[{"from": "human", "value": "I am writing a research paper on a idea Optimal Regression for Reasoning about Knowledge and Actions."}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  show how in the propositional case both Reiter's and Scherl & Levesque's solutions to the frame problem can be modelled in dynamic epistemic logic (DEL), and provide an optimal regression algorithm for the latter.#R##N#Our method is as follows:  extend Reiter's framework by integrating observation actions and modal operators of knowledge, and encode the resulting formalism in DEL with announcement and assignment operators.#R##N#By extending Lutz' recent satisfiability-preserving reduction to our logic,  establish optimal decision procedures for both Reiter's and Scherl & Levesque's approaches:#R##N#satisfiability is NP-complete for one agent, PSPACE-complete for multiple agents and EXPTIME-complete when common knowledge is involved."}]