Recently Completed Programs Home
Overview
Mission
Vision
|
|
|
|
Real-World Reasoning (REAL)
Mission:
The objective of the Real-World Reasoning (REAL) program is to explore and develop foundations, technology, and tools to enable effective, practical automated reasoning of the scale and complexity required for computers to perform complex tasks in the real world requiring intelligence. Effective, "real-world" machine reasoning requires inference in environments that are far more complex in scale and scope than those tackled by current machine reasoning methods. Enduring real-world systems need to deal with vast amounts of knowledge and information, often concerning dynamic and intentional phenomena. In addition, beliefs about the environment are often uncertain and involve plausible but not provable assumptions. The REAL program seeks innovative research methods that can make fundamental and breakthrough advances in real-world reasoning to deal with these and related problems.
|
