Chez Scheme Version 4.1b
Copyright (c) 1991 Cadence Research Systems

loading explainer.ss
loading mops.ss
loading frames.ss
loading table.ss
loading index.ss
loading utils.ss
loading print-utils.ss
loading index.ss
loading retriever.ss
loading applier.ss
loading accepter.ss
loading tweaker.ss
loading queue.ss
> (explain-swale)

Micro Explainer
===============
Trying to explain m-swale-story which has the anomaly:
  instance isa (m-event-sequence-conflict)
  event-sequence: m-racehorse-life
  expectation: m-expectation-1
  surprising-fact: m-swale-dead-state

Micro XP Retriever
==================
Searching for XP's.
... found:
    m-die-from-illness-xp, m-die-from-old-age-xp.
Applying m-die-from-old-age-xp.
... generated m-expl1.
Applying m-die-from-illness-xp.
... generated m-expl2.

Micro-Accepter
==============
Evaluating m-expl2 for the purpose of prediction.
The underling XP is:
  mop isa (m-xp)
  events: ((illness . m-bad-health-state) (outcome . m-dead-state))
  causals: ((illness => outcome))
  constraints: (((events illness object) (events outcome object)))
Checking if explanation accounts for m-swale-dead-state.
... appears relevant.
Checking believability.
Problem found!
  instance isa (m-non-normative-filler-problem)
  explanation: m-expl2
  path: (events illness object)
  expected-value: m-unhealthy-animal
  observed-value: m-swale
... explanation is not believable.
Checking if explanation is useful for the purpose of prediction.
Is the explanation predictive?
... Explanation is adequate for prediction.
Problem found: m-prob3
Checking seriousness of problems.
... m-expl2 is tweakable

Micro Tweaker
=============
Looking for candidate tweaks in memory for m-prob3.
... found:
    m-replace-action-use-stereotypes-tweak, m-replace-actor-use-stereotypes-tweak, m-replace-action-use-causals-tweak.
Trying tweak replace-action-search-through-stereotypes on m-expl2.
Looking for effects to be accounted for.
... found m-dead-state
Looking for scripts for m-swale that include m-dead-state
... no scripts found.
... tweak failed.
Trying tweak replace-actor-search-through-stereotypes on m-expl2.
  [tweak unimplemented]
... tweak failed.
Trying tweak replace-action-search-through-causal-rules on m-expl2.
  [tweak unimplemented]
... tweak failed.

Micro XP Retriever
==================
Searching for XP's.
Looking for retrieval cues in m-prob3.
... Cue: observed m-swale, rather than m-unhealthy-animal.
... found m-fixx-xp
Applying m-fixx-xp.
... generated m-expl4.

Micro-Accepter
==============
Evaluating m-expl1 for the purpose of prediction.
The underling XP is:
  mop isa (m-xp)
  events: ((old-age . m-old-age-state) (outcome . m-dead-state))
  causals: ((old-age => outcome))
  constraints: (((events old-age object) (events outcome object)))
Checking if explanation accounts for m-swale-dead-state.
... appears relevant.
Checking believability.
Problem found!
  instance isa (m-non-normative-filler-problem)
  explanation: m-expl1
  path: (events old-age object)
  expected-value: m-old-animal
  observed-value: m-swale
... explanation is not believable.
Checking if explanation is useful for the purpose of prediction.
Is the explanation predictive?
... Explanation is adequate for prediction.
Problem found: m-prob5
Checking seriousness of problems.
... m-expl1 is tweakable

Micro Tweaker
=============
Looking for candidate tweaks in memory for m-prob5.
... found:
    m-replace-action-use-stereotypes-tweak, m-replace-actor-use-stereotypes-tweak, m-replace-action-use-causals-tweak.
Trying tweak replace-action-search-through-stereotypes on m-expl1.
Looking for effects to be accounted for.
... found m-dead-state
Looking for scripts for m-swale that include m-dead-state
... no scripts found.
... tweak failed.
Trying tweak replace-actor-search-through-stereotypes on m-expl1.
  [tweak unimplemented]
... tweak failed.
Trying tweak replace-action-search-through-causal-rules on m-expl1.
  [tweak unimplemented]
... tweak failed.

Micro XP Retriever
==================
Searching for XP's.
Looking for retrieval cues in m-prob5.
... Cue: observed m-swale, rather than m-old-animal.
... no XP's found.

Micro-Accepter
==============
Evaluating m-expl4 for the purpose of prediction.
The underling XP is:
  mop isa (m-xp)
  observed: m-healthy-animal
  expected: m-unhealthy-animal
  events: ((jog . m-jog-event) (exert . m-exert-event) (defect . m-heart-defect-state) (outcome . m-dead-state))
  causals: ((jog => exert) (defect exert => outcome))
  constraints: (((events jog actor) (events exert actor) (events defect owner) (events outcome object)))
Checking if explanation accounts for m-swale-dead-state.
... appears relevant.
Checking believability.
Problem found!
  instance isa (m-non-normative-filler-problem)
  explanation: m-expl4
  path: (events jog actor)
  expected-value: m-human
  observed-value: m-swale
... explanation is not believable.
Checking if explanation is useful for the purpose of prediction.
Is the explanation predictive?
Problem found!
  instance isa (m-non-knowable-antecedent-problem)
  explanation: m-expl4
  fact: m-heart-defect-state
  event-label: defect
... Explanation m-expl4 is not adequate for prediction.
Problems found:
  m-prob6, m-prob7.
Checking seriousness of problems.
... m-expl4 is tweakable

Micro Tweaker
=============
Looking for candidate tweaks in memory for m-prob6.
... found:
    m-replace-action-use-stereotypes-tweak, m-replace-actor-use-stereotypes-tweak, m-replace-action-use-causals-tweak.
Trying tweak replace-action-search-through-stereotypes on m-expl4.
Looking for effects to be accounted for.
... found m-exert-event
Looking for scripts for m-swale that include m-exert-event
... found m-horserace-event
Creating a new XP m-xp8 with m-horserace-event instead of m-jog-event
Applying m-xp8.
... generated m-expl9.
... tweak generated: (m-expl9).
Trying tweak replace-actor-search-through-stereotypes on m-expl4.
  [tweak unimplemented]
... tweak failed.
Trying tweak replace-action-search-through-causal-rules on m-expl4.
  [tweak unimplemented]
... tweak failed.
Looking for candidate tweaks in memory for m-prob7.
... no tweaks found.

Micro XP Retriever
==================
Searching for XP's.
Looking for retrieval cues in m-prob6.
... Cue: observed m-swale, rather than m-human.
Looking for retrieval cues in m-prob7.
... no XP's found.

Micro-Accepter
==============
Evaluating m-expl9 for the purpose of prediction.
The underling XP is:
  mop isa (m-xp)
  observed: m-healthy-animal
  expected: m-unhealthy-animal
  events: ((jog . m-horserace-event) (exert . m-exert-event) (defect . m-heart-defect-state) (outcome . m-dead-state))
  causals: ((jog => exert) (defect exert => outcome))
  constraints: (((events jog actor) (events exert actor) (events defect owner) (events outcome object)))
Checking if explanation accounts for m-swale-dead-state.
... appears relevant.
Checking believability.
... no problems.
Checking if explanation is useful for the purpose of prediction.
Is the explanation predictive?
Problem found!
  instance isa (m-non-knowable-antecedent-problem)
  explanation: m-expl9
  fact: m-heart-defect-state
  event-label: defect
... Explanation m-expl9 is not adequate for prediction.
Problem found: m-prob10
Checking seriousness of problems.
... m-expl9 is acceptable
> 