alternative interlingua (Peter F. Patel-Schneider)
Message-id: <>
Date: Mon, 13 Aug 90 11:36:28 EDT
From: (Peter F. Patel-Schneider)
In-reply-to: R. V. Guha's message of Fri, 10 Aug 90 13:01 CDT <19900810180105.6.GUHA@GAIA.ACA.MCC.COM>
Subject: alternative interlingua
I tried to pick a number of features that I thought were useful for KR, and
that had a chance of being formalized.  The idea is that the logic would be
extended as necessary.

The way to translate axioms with abs in them would be to turn them into
default rules, not to leave the abs predicates in.