Re: ONT Re: Zeroth Order Theories (ZOT's)
On Thu, Jan 24, 2002 at 04:32:04PM -0500, Jon Awbrey wrote:
> girl female child -> 1
> girl female (child) -> 0
> girl (female) -> 0
> (girl) female child -> 0
> (girl) female (child) -> 1
> (girl)(female) -> 1
>
> Picking out the interpretations that yield the truth of the expression,
> and expanding the corresponding partial argument tuples, we arrive at
> the following interpretations that satisfy the input expression:
>
> girl female child -> 1
> (girl) female (child) -> 1
> (girl)(female) child -> 1
> (girl)(female)(child) -> 1
>
> In sum, if it's a female and a child, then it's a girl,
> and if it's either not a female or not a child or both,
> then it's not a girl.
What does this baroque framework do that a hundred other little programs
for doing propositional logic and model theory don't do? As with
every other comprehensible part of your work that I've seen, you are
simply reinventing the wheel -- illustrated with ASCII art.
Chris Menzel