Evidential Reasoning with Gister-CL: A Manual

Abstract

This document is designed to serve as a self-contained introduction to evidential reasoning and Gister-CL. Evidential reasoning is a collection of techniques for automated reasoning from evidence; Gister-CL is an application independent implementation of these techniques. As such, Gister-CL might serve either as the foundation for application specific implementations of evidential reasoning or as a basis for research in uncertain reasoning. Both evidential reasoning and Gister-CL are undergoing further development. Therefore, this document will be periodically updated.