Path: utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!ames!think!bloom-beacon!cs.umass.EDU!BROVERMAN
From: BROVERMAN@cs.umass.EDU ("Carol Ann, Tower220, 5-0609")
Newsgroups: comp.ai.digest
Subject: Definition of Codesignation
Message-ID: <8810181921.AA01484@crash.cs.umass.edu>
Date: 18 Oct 88 17:56:00 GMT
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 10
Approved: ailist@ai.ai.mit.edu


Can someone tell me the original source of the terms "codesignation,"
"possible codesignation," and "necessary codesignation" (equiv. to 
unification)?

My source is Chapman's AI Journal paper on "Planning Using Conjunctive
Goals," but I am interested in the original introduction of these terms
and the precise difference between "unification" and "possible codesignation."

-Carol Broverman
(broverman@cs.umass.edu)