Abstract
Evidential reasoning techniques classically represent support for a hypothesis by a numeric value or an evidential interval. The combination of support is performed by an arithmetic rule which often requires restrictions to be placed on the set of possibilities. These assumptions usually require the hypotheses to be exhausitive and mutually exclusive. Endorsement based classification systems represent support for the alternatives symbolically rather than numerically. A framework for constructing endorsement systems is presented in which transformations are defined to generate and update the knowledge base. The interaction of the knowledge base and transformations produces a non-monotonic reasoning system. Two endorsement based reasoning systems are presented to demonstrate the flexibility of the transformational approach for reasoning with ambiguous and inconsistent information.
Original language | American English |
---|---|
Journal | NASA. Lyndon B. Johnson Space Center, 2nd Annual Workshop on Space Operations Automation and Robotics (SOAR 1988) |
State | Published - Nov 1 1988 |
Keywords
- Applications Programs (Computers)
- Classifications
- Data Acquisition
- Data Bases
- Expert Systems
- Heuristic Methods
- Hypotheses
- Knowledge Representation
- Principal Components Analysis
- Rules
- Support Systems
- Transformations
Disciplines
- Computer Sciences
- Engineering
- Mathematics
- Physical Sciences and Mathematics