Report Top Up a Node Prev Next Up a Map TOC Node Index File Index Page Bottom
Presentation Overview : Background Knowledge published Wed, Apr 3, 2002 - 21:37 EST

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



Node authored by Justin Del Vecchio

Presentation Overview : Background Knowledge published Wed, Apr 3, 2002 - 21:37 EST
Report Top Up a Node Prev Next Up a Map TOC Node Index File Index Page Top