Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  illustrate the utility of the situation calculus for representing complex scheduling tasks by axiomatizing a deadline driven scheduler in the language. The actions arising in such a scheduler are examples of natural actions, as investigated in the concurrent situation calculus by Pinto (PhD thesis, 1994), and later by Reiter (Proc. Common Sense 96, 1996). Because the deadline driven scheduler is sequential,  must first suitably modify Reiter’s approach to natural actions so it applies to the sequential case. Having done this,  then show how the situation calculus axiomatization of this scheduler yields a very simple simulator in GOLOG, a situation calculusdbased logic programming language for dynamic domains.
['Raymond Reiter', 'Zheng Yuhua']
I am writing a research paper on a idea Scheduling in the situation calculus: A case study
[{"from": "human", "value": "I am writing a research paper on a idea Scheduling in the situation calculus: A case study"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  illustrate the utility of the situation calculus for representing complex scheduling tasks by axiomatizing a deadline driven scheduler in the language. The actions arising in such a scheduler are examples of natural actions, as investigated in the concurrent situation calculus by Pinto (PhD thesis, 1994), and later by Reiter (Proc. Common Sense 96, 1996). Because the deadline driven scheduler is sequential,  must first suitably modify Reiter\u2019s approach to natural actions so it applies to the sequential case. Having done this,  then show how the situation calculus axiomatization of this scheduler yields a very simple simulator in GOLOG, a situation calculusdbased logic programming language for dynamic domains."}]