alternative interlingua

pfps@allegra.tempo.nj.att.com (Peter F. Patel-Schneider)

Mail folder: Interlingua Mail
Next message: Danny Bobrow: "Re: alternative interlingua"
Previous message: Peter F. Patel-Schneider: "system = logic + control"
In-reply-to: R. V. Guha: "alternative interlingua"

Message-id: <9008131536.AA22572@venera.isi.edu>
Date: Mon, 13 Aug 90 11:36:28 EDT
From: pfps@allegra.tempo.nj.att.com (Peter F. Patel-Schneider)
To: ai.guha@mcc.com
Cc: interlingua@venera.isi.edu
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.

peter