- Email: [email protected]
Contents — Volume 16, 1981
Volume 16 Number 3 July 1981
Artificial Intelligence AN I N T E R N A T I O N A L J O U R N A L
EDITOR-IN-CHIEF
Daniel G. Bobrow Xerox Palo Alto Research Center ASSOCIATE EDITOR
P.J. Hayes University of Rochester Department of Computer Science
1931 N ' H
19+~ North-Holland Publishing Company
CP~k~C
Amsterdam
Artificial Intelligence AN
INTERNATIONAL
JOURNAl.
Published by North-Holland Netherlands.
Publishing Company, P.O.
Box 103, 1000 AC Amsterdam, The
Subscription price: Volumes 16 and 17 (three issues each) in 1981: Dfl. 306.00 (U.S. $ 142.25) including postage and handling. The Dutch Guilder price is definitive; the currency equivalent is for your guidance only. Subscription orders and notification about changes of address should be sent to the office of the publisher, P.O. Box 211, 1000 AE Amsterdam, The Netherlands. Claims for issues not received should be made within three months of publication. If not, they cannot be honoured free of charge.
Artificial Intelligence is sponsored by The British Computer Society Abstracted in ABstractS
OF COMPUTER
t It ERATUru
E N G I N E E R I N G INDEX
BEHAVIOR AND PHYSIoLoGY INDEX
INFORMATION PROCESSING JOURNAl.
B E H A V I O R A l . SCIENCES
LANGUAGE AND LANGUAGE BEHAVIOR ABSTRACTS
COMPUTER ABSTRACTS
M A T H E M A T I C A l . REVIEWS
C O M P U T I N G REVIEWS
rEvErarlvnv(zUrnat
COMPUTER A N D CONTROl. A B S T R A ( T S CYBERNETICS ABSTRACTS
U.S.S.R. Abstracts Journal, Series " M a t h e m a t i c s "
mAtematIKa
ELECTRONICS A N D C O M M U N I C A T I O N S A B S ] R A ( TS
Z E N T R A L B L A T T FUR M A T H E M A T I K
North-Holland Publishing C o m p a n y (1981) All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, without the prior permission of the publisher, North-Holland Publishing C o m p a n y , P.O. Box 103, 1000 AC Amsterdam, The Netherlands. Submission of an article for publication implies the transfer of the copyright from the author(s) to the publisher and entails the author's irrevocable and exclusive authorization of the publisher to collect any sums or considerations for copying or reproduction payable by third parties (as mentioned in article 17 paragraph 2 o f the Dutch Copyright Act o f 1912 and in the Royal Decree of June 20, 1974 (S. 351) pursuant to article 16b of the Dutch Copyright Act of 1912) and/or to act in or out of Court in connection therewith. Special regulations for readers in the U.S.A.--This journal has been registered with the Copyright Clearance Center, Inc. Consent is given for copying of articles for personal or internal use, or for the personal use of specific clients. This consent is given on the ccmdition that the copier pays through the Center the per copy fee stated in the code on the first page of each article for copying beyond that permitted by Sections 107 or 108 of the U.S. Copyright Law. The appropriate fee should be forwarded with a copy of the first page of the article to the Copyright Clearance Center, Inc., 21 Congress Street, Salem, MA 01970, U.S.A. If no code appears in an article, the author has not given broad consent to copy and permission to copy must be obtained directly from the author. All articles published prior to 1981 may be copied for a per-copy fee of US $ 2.50, also payable through the Center. (N.B. For review journals this fee is $ 0.20 per copy per page). This consent does not extend to other kinds of copying, such as for general distribution, resale, advertising and promotion purposes, or for creating new collective works. Special written permission must be obtained from the publisher for such copying. Special regulations for authors in the U.S.A.--Upon acceptance of an article by the journal, the author(s) will be asked to transfer copyright of the article to the publisher. This transfer will ensure the widest possible dissemination of information under the U.S. Copyright Law. Published bimonthly
Printed in The Netherlands
Artificial Intelligence AN I N T E R N A T I O N A L J O U R N A L
EDITOR-IN-CHIEF
Daniel G. Bobrow Xerox Palo Alto Research Center ASSOCIATE EDITOR
P.J. Hayes University of Rochester Department of Computer Science
1931 N ' H
19+~ North-Holland Publishing Company
CP~k~C
Amsterdam
Artificial Intelligence AN
INTERNATIONAL
JOURNAl.
Published by North-Holland Netherlands.
Publishing Company, P.O.
Box 103, 1000 AC Amsterdam, The
Subscription price: Volumes 16 and 17 (three issues each) in 1981: Dfl. 306.00 (U.S. $ 142.25) including postage and handling. The Dutch Guilder price is definitive; the currency equivalent is for your guidance only. Subscription orders and notification about changes of address should be sent to the office of the publisher, P.O. Box 211, 1000 AE Amsterdam, The Netherlands. Claims for issues not received should be made within three months of publication. If not, they cannot be honoured free of charge.
Artificial Intelligence is sponsored by The British Computer Society Abstracted in ABstractS
OF COMPUTER
t It ERATUru
E N G I N E E R I N G INDEX
BEHAVIOR AND PHYSIoLoGY INDEX
INFORMATION PROCESSING JOURNAl.
B E H A V I O R A l . SCIENCES
LANGUAGE AND LANGUAGE BEHAVIOR ABSTRACTS
COMPUTER ABSTRACTS
M A T H E M A T I C A l . REVIEWS
C O M P U T I N G REVIEWS
rEvErarlvnv(zUrnat
COMPUTER A N D CONTROl. A B S T R A ( T S CYBERNETICS ABSTRACTS
U.S.S.R. Abstracts Journal, Series " M a t h e m a t i c s "
mAtematIKa
ELECTRONICS A N D C O M M U N I C A T I O N S A B S ] R A ( TS
Z E N T R A L B L A T T FUR M A T H E M A T I K
North-Holland Publishing C o m p a n y (1981) All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, without the prior permission of the publisher, North-Holland Publishing C o m p a n y , P.O. Box 103, 1000 AC Amsterdam, The Netherlands. Submission of an article for publication implies the transfer of the copyright from the author(s) to the publisher and entails the author's irrevocable and exclusive authorization of the publisher to collect any sums or considerations for copying or reproduction payable by third parties (as mentioned in article 17 paragraph 2 o f the Dutch Copyright Act o f 1912 and in the Royal Decree of June 20, 1974 (S. 351) pursuant to article 16b of the Dutch Copyright Act of 1912) and/or to act in or out of Court in connection therewith. Special regulations for readers in the U.S.A.--This journal has been registered with the Copyright Clearance Center, Inc. Consent is given for copying of articles for personal or internal use, or for the personal use of specific clients. This consent is given on the ccmdition that the copier pays through the Center the per copy fee stated in the code on the first page of each article for copying beyond that permitted by Sections 107 or 108 of the U.S. Copyright Law. The appropriate fee should be forwarded with a copy of the first page of the article to the Copyright Clearance Center, Inc., 21 Congress Street, Salem, MA 01970, U.S.A. If no code appears in an article, the author has not given broad consent to copy and permission to copy must be obtained directly from the author. All articles published prior to 1981 may be copied for a per-copy fee of US $ 2.50, also payable through the Center. (N.B. For review journals this fee is $ 0.20 per copy per page). This consent does not extend to other kinds of copying, such as for general distribution, resale, advertising and promotion purposes, or for creating new collective works. Special written permission must be obtained from the publisher for such copying. Special regulations for authors in the U.S.A.--Upon acceptance of an article by the journal, the author(s) will be asked to transfer copyright of the article to the publisher. This transfer will ensure the widest possible dissemination of information under the U.S. Copyright Law. Published bimonthly
Printed in The Netherlands