This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the reasoning from evidence in a legal record to a finding of fact. Keywords Default logic, non-monotonic logic, evidence assessment
Vern R. Walker