Re: Good and Bad IS-A hierarchiesDoug Lenat <firstname.lastname@example.org>
Date: Mon, 24 Jul 1995 13:30-0500
From: Doug Lenat <email@example.com>
Subject: Re: Good and Bad IS-A hierarchies
To: firstname.lastname@example.org, email@example.com
Cc: firstname.lastname@example.org, email@example.com
I think some generalization of what you're saying will turn out to be
the right (i.e., adequate!) answer. Namely, one will pick and choose
the ontological commitments as well, and then pick and choose from among
the axioms which are "allowed", and each "pick" will then further
eliminate some axioms from consideration.
An example of the former sort of ontological choice is "size" -- as
in your axiom number 6. An example of the latter is the adoption of
your axiom 1 which then precludes osmosis etc.