Copy Link
Add to Bookmark
Report
AIList Digest Volume 1 Issue 059
AIList Digest Tuesday, 20 Sep 1983 Volume 1 : Issue 59
Today's Topics:
Programming Languages - Micro LISP Reviews,
Machine Translation - Ada & Dictionary Request & Grammar Translation,
AI Journals - Addendum,
Bibliography - SNePS Research Group
----------------------------------------------------------------------
Date: Mon, 19 Sep 1983 11:41 EDT
From: WELD%MIT-OZ@MIT-MC
Subject: Micro LISPs
For a survey of micro LISPs see the August and Sept issues of
Microsystems magazine. The Aug issue reviews muLISP, Supersoft LISP
and The Stiff Upper Lisp. I believe that the Sept issue will continue
the survey with some more reviews.
Dan
------------------------------
Date: 14 Sep 83 1:44:58-PDT (Wed)
From: decvax!genrad!mit-eddie!barmar @ Ucb-Vax
Subject: Re: Translation into Ada: Request for Info
Article-I.D.: mit-eddi.713
I think the reference to the WWMCS conversion effort is a bad example
when talking aboutomatic programming language translation. I would be
very surprised if WWMCS is written in a high-level language. It runs
on Honeywell GCOS machines, I believe, and I think that GCOS system
programming is traditionally done in GMAP (GCOS Macro Assembler
Program), especially at the time that WWMCS was written. Only a
masochist would even think of writing an automatic "anticompiler" (I
have heard of uncompilers, but those are usually restricted to
figuring out the code produced by a known compiler, not arbitrary
human coding); researchers have found it hard enough to teach
computers to "understand" programs in HLLs, and it is often pretty
difficult for humans to understand others' assembler code.
--
Barry Margolin
ARPA: barmar@MIT-Multics
UUCP: ..!genrad!mit-eddie!barmar
------------------------------
Date: Mon 19 Sep 83 14:56:49-CDT
From: Werner Uhrig <CMP.WERNER@UTEXAS-20.ARPA>
Subject: Request for m/c-readable foreign language dictionary info
I am looking for foreign-language dictionaries in machine-readable
form. Of particular interest would be a subset containing
EDP-terminology. This would be used to help automate translation of
computer-related technical materials.
Of major interest are German, Spanish, French, but others might be
useful also.
Any pointers appreciated.
Werner (UUCP: ut-ngp!werner or ut-ngp!utastro!werner
via: { decvax!eagle , ucbvax!nbires , gatech!allegra!eagle ,
ihnp4 }
ARPA: werner@utexas-20 or werner@utexas-11 )
------------------------------
Date: 19 Sep 1983 0858-PDT
From: PAZZANI at USC-ECL
Subject: Parsifal
I have a question about PARSIFAL (Marcus's deterministic parser) that
I hope someone can answer:
Is it easy (or possible) to convert grammar rules to the kind of rules
that Parsifal uses? Is there an algoritm to do so?
(i.e., by grammar rule, I mean things like:
S -> NP VP
VP -> VP2 NP PP
VP -> V3 INF
INF -> to VP
etc.
where by grammar rule Marcus means things like
{RULE MAJOR-DECL-S in SS-START
[=np][=verb]-->
Label c decl,major.
Deactivate ss-start. Activate parse-subj.}
{RULE UNMARKED-ORDER IN PARSE-SUBJ
[=np][=verb]-->
Attach 1st to c as np.
Deactivate Parse-subj. Activate parse-aux.}
Thanks in advance,
Mike Pazzani
Pazzani@usc-ecl
------------------------------
Date: 16 Sep 83 16:58:30-PDT (Fri)
From: ihnp4!cbosgd!cbscc!cbscd5!lvc @ Ucb-Vax
Subject: addendum to AI journal list
Article-I.D.: cbscd5.589
The following are journals that readers have sent me since the time I
posted the list of AI journals. As has been pointed out, individuals
can get subscriptions at a reduced rate. Most of the prices I quoted
were the institutional price.
The American Journal of Computational Linguistics -- will now be called ->
Computational Linguistics
Subscription $15
Don Walker, ACL
SRI International
Menlo Park, CA 94025.
------------------------------
Cognition and Brain Theory
Lawrence Erlbaum Associates, Inc.
365 Broadway,
Hillsdale, New Jersey 07642
$18 Individual $50 Institutional
Quarterly
Basic cognition, proposed models and discussion of
consciousness and mental process, epistemology - from frames to
neurons, as related to human cognitive processes. A "fringe"
publication for AI topics, and a good forum for issues in cognitive
science/psychology.
------------------------------
New Generation Computing
Springer-Verlag New York Inc.
Journal Fulfillment Dept.
44 Hartz Way
Secaucus, NJ 07094
A quarterly English-language journal devoted to international
research on the fifth generation computer. [It seems to be
very strong on hardware and logic programming.]
1983 - 2 issues - $52. (Sample copy free.)
1984 - 4 issues - $104.
Larry Cipriani
cbosgd!cbscd5!lvc
------------------------------
Date: 16 Sep 1983 10:38:57-PDT
From: shapiro%buffalo-cs@UDel-Relay
Subject: Your request for bibliographies
Bibliography
SNeRG: The SNePS Research Group
Department of Computer Science
State University of New York at Buffalo
Amherst, New York 14226
Copies of Departmental Technical Reports (marked with an "*")
should be requested from The Library Committee, Dept. of Computer
Science, SUNY/Buffalo, 4226 Ridge Lea Road, Amherst, NY 14226.
Businesses are asked to enclose $3.00 per report requested with their
requests. Others are asked to enclose $1.00 per report.
Copies of papers other than Departmental Technical Reports may be
requested directly from Prof. Stuart C. Shapiro at the above address.
1. Shapiro, S. C. [1971] A net structure for semantic
information storage, deduction and retrieval. Proc. Second
International Joint Conference on Artificial Intelligence,
William Kaufman, Los Altos, CA, 212-223.
2. Shapiro, S. C. [1972] Generation as parsing from a network
into a linear string. American Journal of Computational
Linguistics, Microfiche 33, 42-62.
3. Shapiro, S. C. [1976] An introduction to SNePS (Semantic Net
Processing System). Technical Report No. 31, Computer
Science Department, Indiana University, Bloomington, IN, 21
pp.
4. Shapiro, S. C. and Wand, M. [1976] The Relevance of
Relevance. Technical Report No. 46, Computer Science
Department, Indiana University, Bloomington, IN, 21pp.
2. Bechtel, R. and Shapiro, S. C. [1976] A logic for semantic
networks. Technical Report No. 47, Computer Science
Department, Indiana University, Bloomington, IN, 29pp.
6. Shapiro, S. C. [1977] Representing and locating deduction
rules in a semantic network. Proc. Workshop on
Pattern-Directed Inference Systems. SIGART Newsletter, 63
14-18.
7. Shapiro, S. C. [1977] Representing numbers in semantic
networks: prolegomena Proc. 2th International Joint
Conference on Artificial Intelligence, William Kaufman, Los
Altos, CA, 284.
8. Shapiro, S. C. [1977] Compiling deduction rules from a
semantic network into a set of processes. Abstracts of
Workshop on Automatic Deduction, MIT, Cambridge, MA.
(Abstract only), 7pp.
9. Shapiro, S. C. [1978] Path-based and node-based inference in
semantic networks. In D. Waltz, ed. TINLAP-2: Theoretical
Issues in Natural Languages Processing. ACM, New York,
219-222.
10. Shapiro, S. C. [1979] The SNePS semantic network processing
system. In N. V. Findler, ed. Associative Networks: The
Representation and Use of Knowledge by Computers. Academic
Press, New York, 179-203.
11. Shapiro, S. C. [1979] Generalized augmented transition
network grammars for generation from semantic networks.
Proc. 17th Annual Meeting of the Association for
Computational Linguistics. University of California at San
Diego, 22-29.
12. Shapiro, S. C. [1979] Numerical quantifiers and their use in
reasoning with negative information. Proc. Sixth
International Joint Conference on Artificial Intelligence,
William Kaufman, Los Altos, CA, 791-796.
13. Shapiro, S. C. [1979] Using non-standard connectives and
quantifiers for representing deduction rules in a semantic
network. Invited paper presented at Current Aspects of AI
Research, a seminar held at the Electrotechnical Laboratory,
Tokyo, 22pp.
14. * McKay, D. P. and Shapiro, S. C. [1980] MULTI: A LISP Based
Multiprocessing System. Technical Report No. 164, Department
of Computer Science, SUNY at Buffalo, Amherst, NY, 20pp.
(Contains appendices not in LISP conference version)
12. McKay, D. P. and Shapiro, S. C. [1980] MULTI - A LISP based
multiprocessing system. Proc. 1980 LISP Conference, Stanford
University, Stanford, CA, 29-37.
16. Shapiro, S. C. and McKay, D. P. [1980] Inference with
recursive rules. Proc. First Annual National Conference on
Artificial Intelligence, William Kaufman, Los Altos, CA,
121-123.
17. Shapiro, S. C. [1980] Review of Fahlman, Scott. NETL: A
System for Representing and Using Real-World Knowledge. MIT
Press, Cambridge, MA, 1979. American Journal of
Computational Linguistics 6, 3, 183-186.
18. McKay, D. P. [1980] Recursive Rules - An Outside Challenge.
SNeRG Technical Note No. 1, Department of Computer Science,
SUNY at Buffalo, Amherst, NY, 11pp.
19. * Maida, A. S. and Shapiro, S. C. [1981] Intensional
concepts in propositional semantic networks. Technical
Report No. 171, Department of Computer Science, SUNY at
Buffalo, Amherst, NY, 69pp.
20. * Shapiro, S. C. [1981] COCCI: a deductive semantic network
program for solving microbiology unknowns. Technical Report
No. 173, Department of Computer Science, SUNY at Buffalo,
Amherst, NY, 24pp.
21. * Martins, J.; McKay, D. P.; and Shapiro, S. C. [1981]
Bi-directional Inference. Technical Report No. 174,
Department of Computer Science, SUNY at Buffalo, Amherst,
NY, 32pp.
22. * Martins, J., and Shapiro, S. C. [1981] A Belief Revision
System Based on Relevance Logic and Heterarchical Contexts.
Technical Report No. 172, Department of Computer Science,
SUNY at Buffalo, Amherst, NY, 42pp.
23. Shapiro, S. C. [1981] Summary of Scientific Progress. SNeRG
Technical Note No. 3, Department of Computer Science, SUNY
at Buffalo, Amherst, NY, 2pp.
24. Mckay, D. P. and Martins, J. SNePSLOG User's Manual. SNeRG
Technical Note No. 4, Department of Computer Science, SUNY
at Buffalo, Amherst, NY, 8pp.
22. McKay, D. P.; Shubin, H.; and Martins, J. [1981] RIPOFF:
Another Text Formatting Program. SNeRG Technical Note No. 2,
Department of Computer Science, SUNY at Buffalo, Amherst,
NY, 18pp.
26. * Neal, J. [1981] A Knowledge Engineering Approach to
Natural Language Understanding. Technical Report No. 179,
Computer Science Department, SUNY at Buffalo, Amherst, NY,
67pp.
27. * Srihari, R. [1981] Combining Path-based and Node-based
Reasoning in SNePS. Technical Report No. 183, Department of
Computer Science, SUNY at Buffalo, Amherst, NY, 22pp.
28. McKay, D. P.; Martins, J.; Morgado, E.; Almeida, M.; and
Shapiro, S. C. [1981] An Assessment of SNePS for the Navy
Domain. SNeRG Technical Note No. 6, Department of Computer
Science, SUNY at Buffalo, Amherst, NY, 48pp.
29. Shapiro, S. C. [1981] What do Semantic Network Nodes
Represent? SNeRG Technical Note No. 7, Department of
Computer Science, SUNY at Buffalo, Amherst, NY, 12pp.
Presented at the workshop on Foundational Threads in Natural
Language Processing, SUNY at Stony Brook.
30. McKay, D. P., and Shapiro, S. C. [1981] Using active
connection graphs for reasoning with recursive rules.
Proceedings of the Seventh International Joint Conference on
Artificial Intelligence, William Kaufman, Los Altos, CA,
368-374.
31. Shapiro, S. C. and The SNePS Implementation Group [1981]
SNePS User's Manual. Department of Computer Science, SUNY at
Buffalo, Amherst, NY, 44pp.
32. Shapiro, S. C.; McKay, D. P.; Martins, J.; and Morgado, E.
[1981] SNePSLOG: A "Higher Order" Logic Programming
Language. SNeRG Technical Note No. 8, Department of Computer
Science, SUNY at Buffalo, Amherst, NY, 16pp. Presented at
the Workshop on Logic Programming for Intelligent Systems,
R.M.S. Queen Mary, Long Beach, CA.
33. * Shubin, H. [1981] Inference and Control in Multiprocessing
Environments. Technical Report No. 186, Department of
Computer Science, SUNY at Buffalo, Amherst, NY, 26pp.
34. Shapiro, S. C. [1982] Generalized Augmented Transition
Network Grammars for Generation from Semantic Networks. The
American Journal of Computational Linguistics 8, 1 (January
- March), 12-22.
32. Almeida, M.J. [1982] NETP2 - A Parser for a Subset of
English. SNERG Technical Note No. 9, Department of Computer
Science, SUNY at Buffalo, Amherst, NY, 32pp.
36. * Tranchell, L.M. [1982] A SNePS Implementation of KL-ONE,
Technical Report No. 198, Department of Computer Science,
SUNY at Buffalo, Amherst, NY, 21pp.
37. Shapiro, S.C. and Neal, J.G. [1982] A Knowledge engineering
Approach to Natural language understanding. Proceedings of
the 20th Annual Meeting of the Association for Computational
Linguistics, ACL, Menlo Park, CA, 136-144.
38. Donlon, G. [1982] Using Resource Limited Inference in SNePS.
SNeRG Technical Note No. 10, Department of Computer Science,
SUNY at Buffalo, Amherst, NY, 10pp.
39. Nutter, J. T. [1982] Defaults revisited or "Tell me if
you're guessing". Proceedings of the Fourth Annual
Conference of the Cognitive Science Society, Ann Arbor, MI,
67-69.
40. Shapiro, S. C.; Martins, J.; and McKay, D. [1982]
Bi-directional inference. Proceedings of the Fourth Annual
Meeting of the Cognitive Science Society, Ann Arbor, MI,
90-93.
41. Maida, A. S. and Shapiro, S. C. [1982] Intensional concepts
in propositional semantic networks. Cognitive Science 6, 4
(October-December), 291-330.
42. Martins, J. P. [1983] Belief revision in MBR. Proceedings of
the 1983 Conference on Artificial Intelligence, Rochester,
MI.
43. Nutter, J. T. [1983] What else is wrong with non-monotonic
logics?: representational and informational shortcomings.
Proceedings of the Fifth Annual Meeting of the Cognitive
Science Society, Rochester, NY.
44. Almeida, M. J. and Shapiro, S. C. [1983] Reasoning about the
temporal structure of narrative texts. Proceedings of the
Fifth Annual Meeting of the Cognitive Science Society,
Rochester, NY.
42. * Martins, J. P. [1983] Reasoning in Multiple Belief Spaces.
Ph.D. Dissertation, Technical Report No. 203, Computer
Science Department, SUNY at Buffalo, Amherst, NY, 381 pp.
46. Martins, J. P. and Shapiro, S. C. [1983] Reasoning in
multiple belief spaces. Proceedings of the Eighth
International Joint Conference on Artificial Intelligence,
William Kaufman, Los Altos, CA, 370-373.
47. Nutter, J. T. [1983] Default reasoning using monotonic
logic: a modest proposal. Proceedings of The National
Conference on Artificial Intelligence, William Kaufman, Los
Altos, CA, 297-300.
------------------------------
End of AIList Digest
********************
