On this page:
5.1 Facts
5.1.1 List Facts
5.1.2 Association List Facts
5.1.3 Vector Facts
5.1.4 Structure Facts
5.2 The assertion Structure
make-assertion

5 Facts and Assertions

    5.1 Facts

      5.1.1 List Facts

      5.1.2 Association List Facts

      5.1.3 Vector Facts

      5.1.4 Structure Facts

    5.2 The assertion Structure

In a rule-based system, an assertion represents a fact that has been asserted. Assertions are an important aspect of forward chaining inference and most of the operations on assertions are defined in Section 4.2, Forward Chaining Control.

The discussion of assertions in this chapter is limited to the assertion structure.

5.1 Facts

In the PLT Scheme Inference Collection, facts are represented by structured Scheme objects. Currently, facts can be represented by:

For list, association list, and vector facts must have an initial element that is a symbol. This initial symbol defines the kind of the fact—I didn’t want to use the term class since that could be confused with classes from the PLT Scheme class system. There is no inherent semantics associated with facts. They are just structured data that are matched against patterns in rules.

The folowing sections give examples of facts from the simple ancestors example that show facts in the context of assertions.

5.1.1 List Facts

A list fact is a fact represented by a Scheme list structure. The fact must be a non-empty list of atoms with the first element being a symbol demoting the kind of fact represented. The requirement for atomic elements differentiates a list fact from an association list fact. List facts are matches against list patterns by position.

The following is an example of the assertion of list facts from the ancestors example.

(assert '(parents penelope jessica jeremy))
(assert '(parents jessica mary-elizabeth homer))
(assert '(parents jeremy jenny steven))
(assert '(parents steven loree john))
(assert '(parents loree #f jason))
(assert '(parents homer stephanie #f))
5.1.2 Association List Facts

An association list fact is a fact represented by a Scheme list structure with at least one named field. The fact must be a non-empty list whose first element is a symbol denoting the kind of fact represented, followed by any number (including zero) of atomic elements, followed by at least one pair whose first element is a symbol. Association list fact are matched against association list patterns by position for the initial atomic elements and by name for the rest.

The following is an example of the assertion of association list facts from the ancestors example.

(assert '(parents penelope (mother . jessica) (father . jeremy)))
(assert '(parents jessica (mother . mary-elizabeth)
                          (father . homer)))
(assert '(parents jeremy (mother . jenny) (father . steven)))
(assert '(parents steven (mother . loree) (father . john)))
(assert '(parents loree (mother . #f) (father . jason)))
(assert '(parents homer (mother . stephanie) (father . #f)))
5.1.3 Vector Facts

A vector fact is a fact represented by a Scheme vector. The fact must be a non-empty vector whose first element is a symbol denoting the kind of fact represented. Vector facts are matched against vector patterns by position.

The following is an example of the assertion of vector facts from the ancestors example.

(assert #(parents penelope jessica jeremy))
(assert #(parents jessica mary-elizabeth homer))
(assert #(parents jeremy jenny steven))
(assert #(parents steven loree john))
(assert #(parents loree #f jason))
(assert #(parents homer stephanie #f))
5.1.4 Structure Facts

A structure fact is a fact represented by a Scheme structure. The fact must be a structure instance. Structure facts are matched against structure patterns by position.

The following is an example of the assertion of structure facts from the ancestors example. Note that the structure definition must include an inspector to allow it fields to be examined.

(defstruct parents (name mother father) (make-inspector))
 
(assert (make-parents 'penelope 'jessica 'jeremy))
(assert (make-parents 'jessica 'mary-elizabeth 'homer))
(assert (make-parents 'jeremy 'jenny 'steven))
(assert (make-parents 'steven 'loree 'john))
(assert (make-parents 'loree #f 'jason))
(assert (make-parents 'homer 'stephanie #f))

5.2 The assertion Structure

(struct assertion
        (id
         fact
         reason))
 
  id : exact-positive-integer?
  fact : fact?
  reason : any/c
Defines an assertion.

(make-assertion fact reason)  assertion?
  fact : fact?
  reason : any/c
Returns a new assertion using fact and reason and the next-assertion-id from the current inference environment. This call does not propogate the assertion through the rule network.