---
title: "Judgmental Reasoning for Expert Systems"
authors:
  - "Tim Niblett"
doi: ""
url: "https://ijcai.org/proceedings/1985/59"
pdf: "https://ijcai.org/proceedings/1985/0059.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "315-316"
track: "Expert Systems"
keywords:
---

# Judgmental Reasoning for Expert Systems

Tim Niblett

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, pages 315-316.

## Abstract

We present a new system for plausible reasoning in expert systems. It is an extension of the Horn clause sub se l of fJ.rsl order logic, and is distinguished by its use of non-numeric certainties and the assignment of certainti es to logical formulae rather than events. Model theoretic and fixpoint semantics are sketched for this language . An implementation in the logic programming language Prolog is described and the advantages of the svstem are discussed . Key words : Plausible reasoning , probability, expert systems , logic programming.