LYCOS RETRIEVER 
Reasoning: Reasoning Program
built 288 days ago
The Representation and Reasoning Program conducts basic research in a wide range of topics within the field of Artificial Intelligence. In addition, this program has developed a numbers of software tools that support its research and greatly aid in the application of its technical results to new domains of application. Although the specific topics of research change as the field of AI matures and grows, this program has a long history of work in the following areas:
Source:
Any robust software-development paradigm must provide an answer to the reasoning problem [9, 12]; namely, how can you reason soundly about the behavior of a statement without actually executing it on a computer? The argument for this claim is straightforward. Suppose you could not reason abstractly about what a statement does, that you had to run it on a computer to see what happens. Then how would you choose a statement to ask the computer to execute? Trial-and-error is a surprisingly commonplace approach, but there are too many possible statements to try them all; you must be able to do some reasoning just to prune the options. A practical solution to the reasoning problem must be effective and reliable, not mere guesswork -- even if you never try to "prove" anything about your programs.
Source:
Many of the technological innovations that are attributable to the Representation and Reasoning Program were motivated by attempts to address the specific problems of various real-world domains of application. These domains include:
Source:
Steelcase's 2006 Environmental Report goes beyond traditional metrics to examine the reasoning and inspiration behind the company's diverse environmental initiatives. Each initiative supports Steelcase's ongoing goal of protecting, replenishing and restoring communities through both community service and sustainable design. The report raises awareness of pollution prevention within the context of the contract furniture industry by describing materials chemistry, life cycle assessment and the Steelcase Environmental Partnership program.
Source:
The Critical Thinking Co. has developed verbal and non-verbal reasoning programs to help the development of logical thought processes in students of all ages. Logic and reasoning represent a higher order of thinking that leads to greater comprehension of learned materials because it is neither random nor short-term. Greater comprehension leads to higher test scores and better grades and The Critical Thinking Co. guarantees it.
Source:
Sun Java Studio Enterprise provides Digital Reasoning with a cost-effective, unified platform of tools, support and services. Moving forward together with Sun, Digital Reasoning is positioned to continue to contribute to Pathfinder and other programs of national importance.
Source:
MORE ABOUT
Reasoning Program