Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Many tasks require “reasoning”—i.e., deriving conclusions from a corpus of explicitly stored information—to solve their range of problems. An ideal reasoning system would produce all-and-only the  correct  ansrs to every possible query, produce ansrs that are as  specific  as possible, be  expressive  enough to permit any possible fact to be stored and any possible query to be asked, and be (time)  efficient . Unfortunately, this is provably impossible: as correct and precise systems become more expressive, they can become increasingly inefficient, or even undecidable. This survey first formalizes these hardness results, in the context of both logic- and probability-based reasoning, then overviews  the techniques now used to address, or at least side-step, this dilemma.
['Russell Greiner', 'Christian Darken', 'N. Iwan Santoso']
I am writing a research paper on a idea Efficient reasoning
[{"from": "human", "value": "I am writing a research paper on a idea Efficient reasoning"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Many tasks require \u201creasoning\u201d\u2014i.e., deriving conclusions from a corpus of explicitly stored information\u2014to solve their range of problems. An ideal reasoning system would produce all-and-only the  correct  ansrs to every possible query, produce ansrs that are as  specific  as possible, be  expressive  enough to permit any possible fact to be stored and any possible query to be asked, and be (time)  efficient . Unfortunately, this is provably impossible: as correct and precise systems become more expressive, they can become increasingly inefficient, or even undecidable. This survey first formalizes these hardness results, in the context of both logic- and probability-based reasoning, then overviews  the techniques now used to address, or at least side-step, this dilemma."}]