Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site allegra.UUCP
Path: utzoo!watmath!clyde!cbosgd!ihnp4!allegra!dep
From: dep@allegra.UUCP (Dewayne Perry)
Newsgroups: net.ai,net.research
Subject: Re: Software Engineering Meets Artificial Intelligence
Message-ID: <5617@allegra.UUCP>
Date: Mon, 6-Jan-86 09:47:45 EST
Article-I.D.: allegra.5617
Posted: Mon Jan  6 09:47:45 1986
Date-Received: Tue, 7-Jan-86 04:29:31 EST
References: <421@bcsaic.UUCP>
Organization: AT&T Bell Laboratories, Murray Hill
Lines: 7
Xref: watmath net.ai:3153 net.research:396

<i use ai techniques to determine the sequence of first lines to eat>

Why would you consider using predicate calculus in requirements
specifications as an ai technique??  I would have thought it a
logical technique!

Dewayne Perry