Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: ,  propose a method for representing and debugging computer programs that combines the best features of two streams of research in AI. The representation adopted here combines features normally found in only in plan representations with features normally found only an device representations. Not only does this combined approach solve problems that have not been solved by strictly plan-based or proofbased debuggers, but the formal nature of the programming domain has helped us to clarify the semantics of functional representations.  then introduce the notion of a context-rich semantics that  call the functional semantics of a program, and show how reasoning with the functional semantics has certain advantages over reasoning with traditional programming language semantics.
['Dean Allemang', 'B. Chandrasekaran']
I am writing a research paper on a idea Functional Representation And Program Debugging
[{"from": "human", "value": "I am writing a research paper on a idea Functional Representation And Program Debugging"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: ,  propose a method for representing and debugging computer programs that combines the best features of two streams of research in AI. The representation adopted here combines features normally found in only in plan representations with features normally found only an device representations. Not only does this combined approach solve problems that have not been solved by strictly plan-based or proofbased debuggers, but the formal nature of the programming domain has helped us to clarify the semantics of functional representations.  then introduce the notion of a context-rich semantics that  call the functional semantics of a program, and show how reasoning with the functional semantics has certain advantages over reasoning with traditional programming language semantics."}]