Background Knowledge

The hope is to model background information that will lead SNeBR to find contradictions. When it finds a contradiction it will need to revise a questionable consequence for an unknown verb and either change the consequence or remove it entirely. This is where Ehrlich's kn_cat arcs come into play.

I am not certain how to go about this or if it is even possible. However it is worthy of further investigation.

Here is a thumbnail sketch of the background information I want to model:

Rabbits

Actions

-hop

-eat

-give birth to young

Characterisitcs

-terapods

-mammals

-quick

-pets

-cute

-equivalent to bunnies

Stem Cells

Actions

-do mitosis

Characteristics

-specialized cells

-turn into other cells

-molecular in scale

Possible Rules that could lead to contradictions and the invocation of SNeBR

For all x

If x is not a terapod

it cannot give birth, be an animal, hop, etc.

Conversely,

For all x

If x is a terapod

it cannot do mitosis