UWVFP( FP0 ‹؋F&O F&G&G<ʋЋ™Ƌ$6&~&6&F&9EtL2pP3P F&EĞ&(6&>pt*6&>vt TF&EF,6&>~FvFĞ&^&9~Ì~ڹ-F*Ftz8ft F^&8Gui~t F^&8GuWF+F;F| F9Fu~tF@t8F^&8Gt,F+F;F~<.6&>t0^&GĞ&v&@F[FF,6&9~2F^&8Gu FuӋvzvĞ&7X06&?&&DPĞ&&& 26&>|u 46&z66&^&Gȋƻ[؎86&>&I86&&a~t;F*PĞ&&& 46&zF*Pv:6&& ud26&>|u 46&zĞ&&& <6&6&6` P, >6&F&H t8PP  |FPPh P:6&6&6P  |FPPh P*6&>vt BlPP] @6&6&6`Ğ&&& pP B6&R&TĞ&7FD6&FF6& fĞ&7FtH6&&J6&H6&J6&f%=؎L6&FD6&FF6& ^_]ːUVN6&6 &6rP N6&6 &6"P vPrPh P"Ph FPrPXX @uNFP"PXX @uQN6&6 &6"P P6&6(&6&"Ph FP"PXX @uFV9Vvr9Fv~} ~[sPrpenn.edu> so that he can make your binary available. See also LIFE, SLG, and XSB in [2-1] and BeBOP in [2-3]. ---------------------------------------------------------------- Subject: [2-8] Commercial Logic Programming Systems None so far. This is to be expected, as most logic programming systems are experimental. ---------------------------------------------------------------- ;;; *EOF* 9Vw1r9Fs*FVFV06&X&& FVFVFVPPFPC uP6d6bVh4 pP~QPVh4 3,602&9?~Dv3ɉNރ,.&Gt &u&g[GĞ0&9?ЋvFP[Ğ0&/P86&6&6VW V2 FPFPR ^_]ːUTWVN6&6 &6FP PFPh PFP V t)FPVQpQ~RQx WV ^_]ːU"WVFP( FP0 V<&m&EFT6&F&M FF &EF~,6&F 86&&؉V$6&FN9Nu~t F&------------------------------------- ;;; *EOF* JF&G9F t F&D8Fu0Fw&F;FF&@t+~9~~~[A9N~a~}+FFf~@~F39N86&&>؉V~؃~t Fw&uZFw&*FtJF&F t F&8Eu4Fw&F t F&8EuFw&FF;F}F[A9N~V~t}^_]ːear all searchUWVP V t5P6  u$FPVVP VPƆVPVPh FPVPXX  t$VPP(P P ~WP V u P(P P P-PVP26 FV u$VP0P(P P vvWPvV ;t2VPLP(P vv P vv  t$VPwP(P P F  3RT&7&GLX"3NP&&G&MVv~~؎ZX&&+NjV&&PIuvĞN&F&7&GĞR&&&GÌV&$3& &> & & ߎ&&3&OF&&&ʋH(3JL&&G*3&&F&ʋFPQ" @FĞJ&&?~G~VvN~&&+NjV&&PAĞJ&&9ڋ~v*3&F&7&GĞJ&&@&GF,3&> & M.3& & ^_]ː&u0 U.WV4Z9&3\9&6^9&"`9& b9&r d9&bf9&dh9&fj9&h+ɉNNvvZ RP"Pr QP V^V۹^VNVl9&>nu-n9&X&B&@ "P| 3br QP t~ PvvP t!2PP] p9&tN릐2PP] p9&u, QP2PP] p9&u0 ~+PP( FVP+PP( ȋ+FV~9&&SQvvvVr FV~9&&d3SQRP FVdRPvv FVvvRP<RPSQRPvv⚺ RPFމVT SQvvމFډVܚT <3SQvvF։Vؚquest@cs.cmu.edu. Bugs should be sent to elp-bugs@cs.cmu.edu.See the Scheme FAQ for information on implementations of Prolog in Scheme.----------------------------------------------------------------;;; *EOF*^&?tMt9&>vtAPPv9&68&66`Px9&GPv9&68&66 tظ[.ظ&&،F&Gt1&9}&Gع&;z ~36&z F&9G|&F u &>tF&Gu & t~u &>tF&Gt & uPvvP t}pr9^F&?tMt9&>vtAPPv9&68&66`Px9&JPv9&68&66+PP( FVz9&>|u |9&z, QP |%^&?tMt9&>vtAPPv9&68&66`Px9&GPv9&68&66PvvPn9&X&F&D PvvPr9&>ptMt9&>vtAPPv9&68&66`Px9&GPv9&68&66^_]UWV P3Z9&P QP 9+&& ~ u19&9>"t2PP] p9&u |] u9&9&F |#[n9&&@t 9&2P P] =tz9&>|u |9&zr9&>ptt9&>vtT9&>"t2PP] p9&t t3Pt9&N& LtsdP FV|] t6~vv`  u!dP FV] |] u͚] 3P9&6N&6LtmpP FVRP`  tP~|] t@2P P] =t* vv`  t 3b2PP] p9&t;3PN^9&>"u\9&>6u `9&> t N(^_]ːUWV9 &?|%[&/9&&~ڹ-Ğ &?}^9&>"t5~t/F*Pn9&X&N&L F*P3~9&& t1B*PWn9&X&R&P B*PFF;r `9&?u \9&>6t?Ğ &?|5~t/F*Pn9&X&V&T F*PO9&& uĞ&?u\9&>6u^9&>"un9&X&Z&X 9&6&6` P, 9&6&6P Ğ &?|FPPh PPP] n9&X&^&\ 9&6&6`pP 9&R&T3^9&"\9&6Ğ&^_]ːU욀"P9&6&6n9&X&& 9&6&6`嚖t9&>vt9&63P] 9&>Ltr 9&>du.] v ]UVv u3, ȋƙ+T؋ʙùdP ^]ːUWV~9&B&DF&9Eu &9U u&E & Eu 9&&9&6&6KP KP" KF^F9&& u~N؋W&9Du&9T tGG u9&&V uVV‹&?u$~9&>t3"PvW ~^FFG&<u^&7"PvW_9&6&6KP KP" K^9&F&9t&9&>uF&5"PDvP K^_]ːUt9&>vur9&>pu3P, 9&@P"Pr QP PQ9&6&6`r QP9&6&6Z9&@P9&6 "Pr QP PP9&6&6`r QP9&6&6Z9&bF t'P9&6&6"Pr QP $9&6&6 #Pr QP PQ9&6&6`#P9&6&6ZPP9&6&6`r QP9&6&6Z3P9&6^ ]ːt9&>vt&r9&>pt P9&6&6ːU.WV~FL^ }dǹ[FԻ9^֌F&&GtFLBƌ@V~t ‹F& ^&^&GtFF&Cistics.archive.umich.edu:linguistics/LSA.email.list or by sending a message to listserv@tamvm1.tamu.edu with "get lsa lst linguist" in the message body.A list of "Who's Who in Fuzzy Logic" may be obtained by sending amessage to listserver@vexpert.dbai.tuwien.ac.at with GET LISTSERVER WHOISWHOINFUZZYin the message body. New entries and corrections should be sent toRobert Fuller . ----------------------------------------------------------------;;; *EOF*t^~&=&At FF&XF&FL^_]ÐUt9&>vur9&>pu9&>u3P9&6+RP9&@P5#Pr QP PQ9&6&6`r QP9&6&6Z PP9&6&6`vv9&6&6ZT]UWV3Pz9`b&?}Tt9&>vuEWĞ`&@PXn9\^&&f&ddP PP9XZ&w&7`dPĞX&w&7ZPĞ`&7‹؋F&?tTPVĞ\&&j&hdP PPĞX&w&7`dPĞX&w&7Z9TV&G& u9&w&7dP A#PdPh PJ#PdP26 V uFPVQQNQ FWV ~uvrĞT&w&7dP M#PdPh 3PdQNQ*6 uqvFP ;PdPFP*6 t@2PPĞX&w&7`Ğ\&&n&lĞX&w&7ZT^_]R$bCLSU.WV4 ع4& &QP( 4+&,&*&(&0&.p4^F&9t&4&9vt4&X&&F4^&?u-~ٹ~t%FFF4&F ~FFFP RP4&6&6 Pr QP r QPB FP RP Pr QP r QPB F ~js)+FFFFFF4^ތF&4&>v% 4^ڌF&4&>x ^&4& 4&9s 4&> t^&3PN։VRQQD~u QPP  tuHtpHtHHtMc uW^&^&ub4&h4&d4&X&& 뤚 u ^&^&u2봎4&h3P4&T4&ht F҉NԐ3^&9?~14&t&4 QPF  uG^&9?ҚHuHuGHtvHu}W4&t ;E2PP] 4&u)FPP 3PvvָP4& u^&^&t4&d4&h4&X&&  u^&^&t밐62PP] 4&u_4&>tPFPP 3PvvָP"2PP] 4&uFFPQ F4&^&?tp4&>vtd4&6&6 Pr QP PP4&6&6`r QP4&6&6ZT4&h3PO QPP 4&^&?tp4&>vtd4&6&6 Pr QP PP4&6&6`r QP4&6&6ZT4&T4&h QPP 4&^&?tp4&>vtd4&6&6 Pr QP PP4&6&6`r QP4&6&6ZT3P5& 5&b4&d5&f4&hPvvָPf3PvvָPQ^_]WV+ &&r & &6&"&& & ع^_ːUVXP FVRP`  uuv2PP] 4&tY uP2PP]  tFF& t*<t&P]  vv`  t'2PP] :] P ] 3^]ːU(WVb5&?u]v vrsions for CLX, Express Windows, NCW, CLUE, CLM/GINA, Common Windows, LispView, Winterp, CLIM and YY. Several implementations have a mouse sensitivity feature and others have implementation-specific features. A copy has been made available from the Lisp Utilities Repository. For further information, contact Masayuki Ida . ---------------------------------------------------------------- ;;; *EOF* 4&X&>&< UFPV FPbPh bPP<  uX9F t!bP4&X&B&@ FDF^FFV ~~ t+v vZ RP4&X&F&D PB >Fuy396F~%D Pv vWd t F;6F|96F/~ u=v vZ RP4&X&J&H~F &}t=&u&uvvi PbP F &uy PFP 2vvbP F &u&u PFP F?t5&6&6bP FPbPh F;6F}rFFFFDFDFF+ƉF~vF^^F^FF F NuFbPB  u$9F ubP4&X&N&L?~ ubP4&X&R&P 5&& uĞ&7P PbP  PbP RP D5&& t-Ğ&7P PbP bPB 3^_]U($ 5^ތF&?u5^ڌF&G& u  t6 6 `  udP   5&bF tP^&w&7 PNFP ^&w&7 PNFP FPNFPXX  uDNFPB ^&74&X&&  5&z^&7]39&RzLxL9&9ptI9&9vt>PP9&6&6`#P9&6&6ZT#P| ] 9&$PP] P u 9&X&N&L 3n9&>ptJ9&>vt>PP9&6&6`#P9&6&6ZT$P| PV39&RzLxL9&9ptH9&9vt=PP9&6&6`&$P9&6&6ZT H$P| :] 9&$PP] 3PN tz9&>ptK9&>vt?PP9&6&6`S$P9&6&6ZTu$P| 3P u4^ːUWV9& & VȋڀFV$PSQ $PvW QPr9&QPZ RP$P 9&QPZ RPvW'3FF9&9~Q~9&9>t,$PvvPVZ RPvv G9&9>~$PvW89^F+&G&9Ft QP: '~uZzL0QP: ~9^&G& t-P&w&7vv< ^&GSvW%$PvW~t)9&>^u9&>`t$6$1$+9&t$PvW9&u$PvW$PvW9&> بt+& ~u:& #Ft&ِFtvt &6 بt$`~t6t$PvWt$PvWƨt3$"t$t$ ƨt$PvW9&t~t9&>zu$PvW$PvW$PvWw$PvWh9&>ju9&X&&$ډFVRP9&69&6$PP%Pvv vvvW%PvW9&6&69&6&6:&6&6#%Pvv vvvWB:&6&6:&6&6:&6&60%Pvv vvvW=%PvWD:&&&(0T|RPE%Pvv vvvW vW" 9&$PP] FpP FVv~vvO%PvV vV" PvVj! FPQ\%QJ] PvV" PvVJ] PvvvJ] F~~;~v^^؋NJ*3QNJ*&3ZF;v|։~v] v_%PvV PvV" PvVJ] FF=vP FVvv`  t 2PP]  :&uvv`  t|] u t 3P( -*ui%PvV vV2 ui6`#6^#vVF  uN6p#6n#vvF  t~9&X&&e%PFPW ƋFv2PP] 9&X&&V\2PP]  :&u9&X&&ˎ9&X&&k%PFPV NjFvW 3^_]U WVFdžPƆ{dž8o%:dždž@~%BdžD%FdžH%J+NL9& & vx~prt89 +&G&n9&9ptH9&9vt=PP9&6&6`%P9&6&6ZT %P| T :&P FVpP FV+FF{{<vv~uZ6`#6^#%P~V P~V" P~VJ] ial Volume on Knowledge Representation, Artificial Intelligence 49(1-3), January, 1991. Brachman, Ronald J. and Levesque, Hector J., editors, "Readings in Knowledge Representation", Morgan Kaufmann Publishers, 1985. Papers: Ronald J. Brachman and James G. Schmolze, "An overview of the KL-ONE knowledge representation system", Cognitive Science, 9:171-216, 1985. Ronald J. Brachman, Richard E. Fikes, and Hector J. Levesque, "KRYPTON: A functional approach to knowledge representation", IEEE Computer, 16:67-73, 1983. Ronald J. Brachman, "On the epistemological status of semantic networks", in N.V. Findler, editor, Associative Networks, pp. 318-353. New York: Academic Press, 1979. Allen Newell, "The Knowledge Level", Artificial Intelligence, 18:87-127, 1982. Allen Newell and Herb Simon, "Computer Science as Empirical Enquiry: Symbols and Search", Communications of the ACM, 19(3):113-126, 1976. Penny Nii, "Blackboard Systems", AI Magazine 7(3), 1986. Ronald J. Brachman, " ``I lied about the trees'', or, defaults and definitions in knowledge representation", AI Magazine 6(3):80-93, 1985. W.A. Woods, "What's in a link: Foundations for semantic networks", In D.G. Bobrow & A. Collins (Eds.), "Representation and Understanding", Academic Press, New York, 1975. Reprinted in "Readings in Cognitive Science", Collins & Smith (eds.), section 2.2. ---------------------------------------------------------------- Subject: [4] Logic Logic in AI: Genesereth, M.R. and Nilsson, N.J., "Logical Foundations of Artificial Intelligence", Morgan Kaufmann Publishers, Los Altos, CA, 1987. Constraint Logic Programming: Pascal Van Hentenryck, "Constraint Satisfaction in Logic Programming", MIT Press, Cambridge, MA, 1989, ISBN 0-262-08181-4. ---------------------------------------------------------------- Subject: [6] Natural Language Processing (NLP) General: Gazdar, G. and Mellish, C., "Natural Language Processing in Lisp: An Introduction to Computational Linguistics", Addison-Wesley, Reading, Massachusetts, 1989. (There are three different editions of the book, one for Lisp, one for Prolog, and one for Pop-11.) Grosz, Barbara J., Sparck-Jones, Karen, and Webber, Bonnie L., "Readings in Natural Language Processing", Morgan Kaufmann Publishers, Los Altos, CA, 1986, 664 pages. ISBN 0-934613-11-7, $44.95. Robert C. Berwick, "Computational Linguistics", MIT Press, Cambridge, MA, 1989, ISBN 0262-02266-4. Brady, Michael, and Berwick, Robert C., "Computational Models of Discourse", MIT Press, Cambridge, MA, 1983. Klaus K. Obermeier, "Natural Language Processing Technologies in Artificial Intelligence: The Science and Industry Perspective", John Wiley & Sons, New York, 1989. Allen, James F., "Natural Language Understanding", The Benjamin/Cummings Publishing Company, Menlo Park, California, (Addison-Wesley Publishing Company, Reading, Massachusetts), 1988, 550 pages, ISBN 0-8053-0330-8. [A new edition is forthcoming.] Terry Winograd, "Language as a Cognitive Process", Addison-Wesley, Reading, MA, 1983. Schank, R. and Abelson, R. "Scripts, Plans, Goals, and Understandings," Lawrence Erlbaum Associates, Hillsdale, New Jersey, 1977. Terminology: David Crystal, "A Dictionary of Linguistics and Phonetics", 3rd Edition, Basil Blackwell Publishers, New York, 1991. Parsing: Tomita, M. (Editor), "Current Issues in Parsing Technology", Kluwer Academic Publishers, Norwell, MA, 1991. Tomita, M., "An Efficient Context-Free Parsing Algorithm", Computational Linguistics 13:31-46, 1987. Marcus, M. "A Theory of Syntactic Recognition for Natural Language," The MIT Press, Cambridge, MA, 1980. Pereira, F. and Sheiber, S. "Prolog and Natural-Language Analysis," Center for the Study of Language and Information, 1987. Probabilistic Parsing: Wright, J., "LR Parsing of Probabilistic Grammars with Input Uncertainty for Speech Recognition", Computer Speech and Language 4:297-323, 1990. Ted Briscoe and John Carroll, "Generalised Probabilistic LR Parsing of Natural Language (Corpora) with Unification-based Grammars", University of Cambridge Computer Laboratory, Technical Report Number 224, 1991. Zhi Biao Wu, Loke Soo Hsu, and Chew Lim Tan, "A Survey of Statistical Approaches to Natural Language Processing", Technical report TRA4/92, Department of Information Systems and Computer Science, National University of Singapore, 1992 Natural Language Understanding: E. Charniak, "Passing Markers: A Theory of Contextual Influence in Language Comprehension", Cognitive Science, 7:171-190, 1983. Bertram C. Bruce, "Case systems for natural language", Artificial Intelligence 6:327-360, 1975. Yorick Wilks, "A Preferential, Pattern-Seeking, Semantics For Natural Language Inference", Artificial Intelligence, 6:53-74, 1975. Dyer, M. "In-Depth Understanding: A Computer Model of Integrated Processing for Narrative Comprehension," MIT Press, Cambridge, MA, 1983. Aravind Joshi, Bonnie Webber and Ivan Sag, "Elements of Discourse Understanding", Cambridge University Press, New York, 1981. Grosz, Barbara J. and Sidner, Candace L., "Attention, Intention, and the Structure of Discourse", Computational Linguistics 12(3):175-204, 1986. Cohen, P. R., Morgan, J. and Pollack, M., editors, "Intentions in Communication", MIT Press, Cambridge, MA, 1990. Natural Language Interfaces: Raymond C. Perrault and Barbara J. Grosz, "Natural Language Interfaces", Annual Review of Computer Science, volume 1, J.F. Traub, editor, pages 435-452, Annual Reviews Inc., Palo Alto, CA, 1986. Natural Language Generation: McKeown, Kathleen R. and Swartout, William R., "Language Generation and Explanation", in Zock, M. and Sabah, G., editors, Advances in Natural Language Generation, Volume 1, Pages 1-51, Ablex Publishing Company, Norwood, NJ, 1988. (Overview of the state of the art in natural language generation.) There are several books published as a result of the international workshops on natural language generation. Speech: John Allen, Sharon Hunnicut and Dennis H. Klatt, "From Text to Speech: The MITalk System", Cambridge University Press, 1987. [Synthesis, precursor of DECtalk.] Frank Fallside and William A. Woods (editors), "Computer Speech Processing" Prentice Hall, Englewood Cliffs, NJ, 1985. X. D. Huang, Y. Ariki and M. A. Jack, "Hidden Markov Models for Speech Recognition", Edinburgh University Press, 1990. [Analysis] A. Nejat Ince (editor), "Digital Speech Processing: Speech Coding, Synthesis, and Recognition", Kluwer Academic Publishers, Boston, 1992. [Analysis and Synthesis] Dennis H. Klatt, "Review of Text-To-Speech Conversion for English", Journal of the Acoustic Society of America (JASA), 82(3):737-793, September 1987. [Synthesis. Seminal article; biased toward formant synthesis.] Kai-Fu Lee, "Automatic Speech Recognition: The Development of the SPHINX System", Kluwer Academic Publishers, Boston, MA, 1989. [Analysis] S. E. Levinson, L. R. Rabiner and M. M. Sondhi, "An Introduction to the Application of the Theory of Probabilistic Functions of a Markov Process to Automatic Speech Recognition" in Bell Syst. Tech. Journal 62(4):1035-1074, April 1983. [Analysis] R. P. Lippmann, "Review of Neural Networks for Speech Recognition", Neural Computation, 1(1):1-38, 1989. [Analysis] Douglas O'Shaughnessy, "Speech Communication: Human and Machine" Addison-Wesley, MA, 1987. [Analysis and Synthesis] Lawrence R. Rabiner and Ronald W. Schafer, "Digital Processing of Speech Signals", Prentice Hall, Englewood Cliffs, NJ, 1978. [Analysis and Synthesis] Lawrence R. Rabiner and Biing-Hwang Juang, "Fundamentals of Speech Recognition", Prentice Hall, Englewood Cliffs, NJ, 1993. ISBN 0-13-015157-2. [Analysis] Ronald W. Schafer and John D. Markel (editors), "Speech Analysis", IEEE Press, New York, 1979. [Analysis] Alex Waibel and Kai-Fu Lee (editors), "Readings in Speech Recognition" Morgan Kaufmann Publishers, San Mateo, CA, 1990, 680 pages. ISBN 1-55860-124-4, $49.95. [Analysis] Alex Waibel, "Prosody and Speech Recognition", Morgan Kaufmann Publishers, San Mateo, CA, 1988. [Analysis] Machine Translation: W. John Hutchins and Harold L. Somers, "An Introduction to Machine Translation", Academic Press, San Diego, 1992. 362 pages, ISBN 0-123-62830-X. Bonnie J. Dorr, "Machine Translation: A View from the Lexicon" MIT Press, Cambridge, MA 1993. 432 pages, ISBN 0-262-04138-3. Kenneth Goodman and Sergei Nirenburg., editors, "The KBMT Project: A Case Study in Knowledge-Based Machine Translation", Morgan Kaufmann Publishers, San Mateo, CA, 1991. 331 pages, ISBN 1-558-60129-5, $34.95. The journal "Machine Translation" is the principle forum for current research. A review of MT systems on the market appeared in BYTE 18(1), January 1993. Reversible Grammars: Gertjan van Noord, "Reversible Unification Based Machine Translation", COLING-90, pages 299-304, 1990. Tomek Strzalkowski, "Reversible logic grammars for natural language parsing and generation", Computational Intelligence 6(3):145-171, August 1990. Tomek Strzalkowski, editor, "Reversible Grammar in Natural Language Processing", Kluwer Academic Publishers, 1993. Proceedings of the ACL Workshop on Reversible Grammar in Natural Language Processing, UC Berkeley, 1991. (See especially Remi Zajac's paper.) Linguistics: Vivian J. Cook, "Chomsky's Universal Grammar: An Introduction", Basil Blackwell Publisher, New York, 1988, 201 pages. Victoria Fromkin and Robert Rodman, "An Introduction to Language", Holt, Rinehart, and Winston, New York, 4th edition, 1988, 474 pages. Ralph Grishman, "Computational Linguistics: An Introduction", Cambridge University Press, New York, 1986, 193 pages. Liliane M.V. Haegeman, "Introduction to Government and Binding Theory", Basil Blackwell Publishers, Oxford, 1991, 618 pages. Michael A. K. Halliday, "An Introduction to Functional Grammar", Edward Arnold, London, 1985. Geoffrey C. Horrocks, "Generative Grammar", Longman, London, 1987, 339 pages. Andrew Radford, "Transformational Grammar: A First Course", Cambridge University Press, New York, 1988, 625 pages. ---------------------------------------------------------------- Subject: [5] Planning Intros, Overviews, Paper Collections: James Allen, James Hendler and Austin Tate, editors, "Readings in Planning", Morgan-Kaufmann Publishers, 1990, 754 pages. ISBN 1-55860-130-9, $49.95. James Hendler, Austin Tate and Mark Drummond, "AI Planning: Systems and Techniques", AI Magazine, May, 1990. (Review article.) Georgeff, M. P., "Planning," in Annual Review of Computer Science, Annual Reviews Inc., pages 359-400, 1987. Drew McDermott, "Robot Planning", AI Magazine 13:2, Summer 1992, pp. 55-79. William R. Swartout, "DARPA Workshop on Planning", AI Magazine, 9(2):115-131, Summer, 1988. (Survey of current work and issues in planning.) [See also Waldinger's "Achieving several goals simultaneously", in "Readings in Artificial Intelligence".] STRIPS: Fikes, R.E. and Nilsson, N.J., "STRIPS: A new approach to the application of theorem proving to problem solving", Artificial Intelligence 2:189-208, 1971. ABSTRIPS: Sacerdoti, E. D., "Planning in a Hierarchy of Abstraction Spaces," Artificial Intelligence, 5:115-135, 1974. Conjunctive Goals: Chapman, D., "Planning for Conjunctive Goals", Artificial Intelligence 32:333-377, 1987. NOAH: Sacerdoti, E., "A Structure for Plans and Behavior", Artificial Intelligence, pages 1-65, American Elsevier, New York, 1977. Sacerdoti, E. D., "The Nonlinear Nature of Plans," Proc. of the Fourth Joint Conf. on Artificial Intelligence, Morgan Kaufmann, 1975, 206-214. Reactive Planning: Agre P.E. and Chapman, D., "Pengi: An Implementation of a Theory of Activity", in Proceedings of the Sixth National Conference on Aritificial Intelligence, Seattle, WA, July 1987. Georgeoff, M.P. and Lansky, A.L., "Reactive Reasoning and Planning", in Proceedings of the Sixth National Conference on Artificial Intelligence, Seattle, WA, pages 677-682, July 1987. Simmons, R.G., "A theory of debugging plans and interpretations", in Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), Morgan Kaufmann Publishers, Palo Alto, CA, pages 94-99, 1988. Case-based Planning: Hammond, K., "Case-based Planning: Viewing Planning as a Memory Task", Academic Press, Cambridge, MA, 1989. Miscellaneous: Thomas Dean and Michael Wellman, "Planning and Control", Morgan Kaufmann Publishers, 1991, 486 pages, ISBN 1-55860-209-7, $49.95. Stefik, M.J., "Planning with Constraints", Artificial Intelligence 15:111-140 and 16:141-170, 1981. Wilkins, D.E., "Domain-Independent Planning: Representation and Plan Generation", Artificial Intelligence 22:269-301, 1984. R. Wilensky, "Meta-Planning: Representing and Using Knowledge About Planning in Problem Solving and Natural Language Understanding", Cognitive Science 5:197-233, 1981. Reprinted in Readings in Cognitive Science, Collins & Smith (eds.), section 5.6. Thomas Dean and R. James Firby and David Miller, "Hierarchical Planning Involving Deadlines, Travel Time, and Resources", Computing Intelligence 4:381-398, 1988. R.S. Aylett and A.N. Fish and S.R. Bartrum, "Task planning in an uncertain world", International Conference on Control 2:801-806, 1991. ---------------------------------------------------------------- Subject: [7] Connectionism and Neural Nets Introductions and Overviews: Geoffrey E. Hinton, "Connectionist Learning Procedures", Artificial Intelligence 40(1-3):185-234, 1989. Reprinted in J. Carbonell, editor, "Machine Learning: Paradigms and Methods", MIT Press, 1990. Also appears as Technical Report CMU-CS-87-115 (version 2), Carnegie Mellon University, Pittsburgh, PA, December 1987. Kevin Knight, "A gentle introduction to subsymbolic computation: Connectionism for the AI researcher". Technical Report CMU-CS-89-150, Carnegie Mellon University, School of Computer Science, Pittsburgh, PA, May 30, 1989. Scott Fahlman and Geoffrey Hinton, "Connectionist Architectures for Artificial Intelligence", IEEE Computer 20(1):100-109, January 1987. Hertz, J., Krogh, A., and Palmer, R.G., "Introduction to the Theory of Neural Computation", Addison-Wesley, 1991. 327 pages. ISBN 0-201-51560-1. Hecht-Nielsen, Robert, "NeurocomputinOverviews: Hector J. Levesque, "Knowledge Representation and Reasoning", Annual Review of Computer Science 1:255-287, 1986. Paper Collections: Nick Cercone and Gordon McCalla, editors, "The Knowledge Frontier: Essays in the Representation of Knowledge", Springer-Verlag, New York, 1987. 512 pages, $40.00, ISBN 0-38796-557-2. (This is the much revised version of a special issue of COMPUTER on KR.) Brachman, Ronald J., Levesque, Hector J. and Reiter, Ray, editors, Spec. Shorter Intros: Geoffrey E. Hinton, "How neural networks learn from experience", Scientific American 267(3):144-151, 1992. Kevin Knight, "Connectionist ideas and algorithms", CACM 33:59-74, 1990. Surveys: Ottmar Lutzy and Andreas Dengel , "A Comparison of Neural Net Simulators" IEEE Expert 8(4), August 1993. [Comparison of free neural network simulators on a backpropagation OCR task.] Paper Collections: Rumelhart, D.E, and McClelland, J.L., editors, "Parallel Distributed Processing: Explorations in the Microstructure of Cognition" (Vol. 1: Foundations; Vol. 2: Psychological and Biological Models), Cambridge, MA: MIT Press, 1986. Waltz, D., and Feldman, J.A., "Connectionist Models and their Implications: Readings from _Cognitive Science_", Ablex, 1988. Mark Watson, "Common Lisp Modules -- Artificial Intelligence in the Era of Neural Networks and Chaos Theory", Springer-Verlag, 1991. Includes code written in Macintosh Common Lisp and uses the Mac graphical interface (the modules are portable to other Common Lisp implementations, but without the graphics). Anderson, J.A., and Rosenfeld, E., editors, "Neurocomputing: Foundations of Research", Cambridge MA: MIT Press, 1988. Also "Neurocomputing Vol. 2: Directions for Research", Cambridge MA: MIT Press, 1991. Hinton, G.E., and Anderson, J.A., editors, "Parallel Models of Associative Memory" (updated edition), Lawrence Erlbaum Associates, 1989. Hinton, G.E., editor, "Connectionist Symbol Processing", MIT Press, 1990. [Was a special issue of Artificial Intelligence, vol. 46, nos. 1-2.] Touretzky, D.S., editor, "Neural Information Processing Systems", volumes 1-4 (1988-1991), Morgan Kaufmann. [Proceedings from the premier conference on neural networks.] Connectionist Language Processing: See the special issue of _Connection Science_, Volume 2 Numbers 1-2, 1990. Also the Hinton collection "Connectionist Symbol Processing", above. Connectionist Cognitive Science: Barnden, J.A., and Pollack, J.B., "Advances in Connectionist and Neural Computation Theory Vol. 1: High-Level Connectionist Models", Ablex, 1991. Quinlan, P., "Connectionism and Psychology: A Psychological Perspective on New Connectionist Research", University of Chicago Press, 1991. Waltz, D., and Feldman, J.A., editors, "Connectionist Models and their Implications: Readings from _Cognitive Science_", Ablex, 1988. McCloskey, M., "Networks and theories: The place of connectionism in cognitive science", Psychological Science 2:387-395, 1991. Philosophical Foundations: Pinker, S., and Mehler, J, editors, "Connections and Symbols", MIT Press, 1988. [Was Cognition special issue Volume 28, 1988] Clark, A., "Microcognition: Philosophy, Cognitive Science, and Parallel Distributed Processing", MIT Press, 1989. Simulated Annealing: Emile H.L. Aarts and Jan Korst, "Simulated Annealing and Boltzmann Machines" John Wiley & Sons, New York, 1989. 272 pages. $52.00. ISBN 0-471921-467. ---------------------------------------------------------------- Subject: [8] Machine Learning General: J. G. Carbonell, editor, "Machine Learning: Paradigms and Methods", MIT Press, Cambridge, MA 1990. Jude W. Shavlik and Thomas D. Dietterich, editors, "Readings in Machine Learning", Morgan Kaufmann Publishers, 1990, 853 pages. ISBN 1-55860-143-0, $49.95. Tom Mitchell, Jaime G. Carbonell, and Ryszard S. Michalski, "Machine Learning: A guide to current research", Kluwer Academic Publishers, Boston, 1986. [A bit out of date.] [See also the article on Machine Learning from the Encyclopedia of Artificial Intelligence, pages 464-485.] Decision Trees: Quinlan, J. Ross, "Induction of Decision Trees", Machine Learning 1:81-106, 1986. Quinlan, J. Ross, "C4.5: Programs for Machine Learning", Morgan Kaufmann Publishers, 1992. ISBN 1-55860-238-0. $44.95 US, $49.45 International. For a slight additional charge ($25), the book comes with software (ISBN 1-55860-240-2). For software only, (ISBN 1-55860-239-9) $34.95 US, $38.45 International. Probabilistic Clustering: Fisher, D.H., "Knowledge Acquisition Via Incremental Conceptual Clustering", Machine Learning 2:139-172, 1987. (Probabilistic clustering methods.) Clancey, W.J., "Classification Problem Solving", Proceedings of the National Conference on Aritificial Intelligence, 49-55, Los Altos, CA, Morgan Kaufmann. 1984. Version Spaces: Tom M. Mitchell, "Generalization as Search", Artificial Intelligence 18:203-226, 1982. Machine Discovery: Langley, P., and Zytkow, J. M., "Data-driven approaches to empirical discovery", Artificial Intelligence 40:283-312, 1989. Langley, P., Simon, H.A., Bradshaw, G.L., and Zytkow, J.M., "Scientific Discovery: Computational Explorations of the Creative Processes", MIT Press, Cambridge, MA, 1987. Langley, P., Simon, H.A. and Bradshaw, G.L., "Heuristics for Empirical Discovery", in L. Bolc, editor, Computational Models of Learning, Springer-Verlag, 1987. Also appears as CMU CS Tech Report CMU-CS-84-14. Chunking: Laird J.E., Rosenbloom, P.S. and Newell, A., "Chunking in SOAR: The Anatomy of a General Learning Mechanism", Machine Learning 1:1-46, 1986. Explanation-Based Learning: Mitchell, Tom M., Keller, R. M., and Kedar-Cabelli, S. T., "Explanation-based learning: A unified view", Machine Learning 1:47-80, 1986. Derivational Analogy: Carbonell, J. G., "Derivational analogy: A theory of reconstructive problem solving and expertise acquisition." In R.S. Michalski, Jaime G. Carbonell, and Tom M. Mitchell, editors, Machine Learning: An Artificial Intelligence Approach, Morgan Kaufmann Publishers, San Mateo, CA, 1986. Theoretical Results: Leslie G. Valiant, "A theory of the learnable", Communications of the ACM, 27(11):1134--1142, 1984. Haussler, D., "Quantifying Inductive Bias: AI Learning Algorithms and Valiant's Learning Framework", Artificial Intelligence, 36:177-221, 1988. ---------------------------------------------------------------- Subject: [9] Case-Based Reasoning Roger C. Schank, "Dynamic Memory: A Theory of Reminding and Learning in Computers and People", Cambridge University Press, New York, NY, 1982. Roger C. Schank and C. Riesbeck, "Inside Case-Based Reasoning", Lawrence Erlbaum Associates, Hillsdale, NJ, 1989. Craig Stanfill and David Waltz, "Toward Memory-Based Reasoning", Communications of the ACM, 29(12):1213-1228, December 1986. (Memory-based reasoning.) Janet Kolodner, "Case-Based Reasoning", Morgan Kaufmann Publishers, San Mateo, CA, 1993, 612 pages, ISBN 1-55860-237-2, $54.95. ---------------------------------------------------------------- Subject: [10] Genetic Algorithms For an extended bibliography, see the FAQ posting for comp.ai.genetic. Overviews: L. B. Booker, D.E. Goldberg and J.H. Holland, "Classifier Systems and Genetic Algorithms", Artificial Intelligence 40(1-3):235-282, September 1989. David E. Goldberg, "Genetic Algorithms in Search, Optimization, and Machine Learning", Addison-Wesley, Reading, MA, 1989, 412 pages. ISBN 0-201-15767-5. Davis, Lawrence (editor), "Handbook of Genetic Algorithms", Van Nostrand Reinhold, New York, 1991, ISBN 0-442-00173-8. See also the July 1992 issue of Scientific American. Collections: Davis, Lawrence, editor, "Genetic Algorithms and Simulated Annealing", Morgan Kaufmann, 1989. Rawlins, G., editor, "Foundations of Genetic Algorithms", Morgan Kaufmann, 1991. See also the Proceedings of the First/Second/Third/Fourth International Conference on Genetic Algorithms, published by Lawrence Erlbaum. Miscellaneous: Holland, J.H. "Adaptation in Natural and Artificial Systems", University of Michigan Press, 1975. Reprinted by MIT Press, 1992. Holland, J.H., Holyoak, K.J., Nisbett, R.E., and Thagard, P.R., "Induction: Processes of Inference, Learning, and Discovery", MIT Press, 1988. Michalewicz, Z., "Genetic algorithms + Data Structures = Evolution Programs", Springer-Verlag, New York, 1992. Genetic Programming: Koza, John R., "Genetic Programming: On the programming of computers by means of natural selection", MIT Press, 1992, 819 pages. ISBN 0-262-11170-5. ---------------------------------------------------------------- Subject: [11] Production Systems, Expert Systems and Match Algorithms Overviews: Bruce G. Buchanan and Edward H. Shortliffe, "Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project", Addison-Wesley, Reading, MA, 1985. The Davis and King paper (chapter 4, "An overview of production systems") provides a good overview. Frederick Hayes-Roth, "The knowledge based expert system: A tutorial", IEEE Computer 17(9):11-28, 1984. Bruce G. Buchanan and R.O. Duda, "Principles of Rule-Based Systems", Tech Report HPP-82-14, 1982. (Discusses the design of expert systems, including representation, inference, and uncertainty management. Examples from numerous specific systems, and discusses which problems are suitable for attack by rule-based systems.) OPS5: Charles L. Forgy, "OPS5 User's Manual", Technical Report CMU-CS-81-135, Carnegie Mellon University, School of Computer Science, Pittsburgh, PA 1981. Thomad Cooper and Nancy Wogrin, "Rule-based Programming with OPS5", Morgan Kaufmann Publishers, 1988, ISBN 0-934613-51-6, $49.95. RETE: Charles L. Forgy, "RETE: A fast algorithm for the many pattern/many object pattern match problem", Artificial Intelligence 19(1):17-37, September 1982. TREAT: Daniel P. Miranker, "TREAT: A better match algorithm for AI production systems". In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 42-47, August 1987. Daniel P. Miranker, "TREAT: A New and Efficient Match Algorithm for AI Production Systems", Morgan Kaufmann Publishers, 1990, 143 pages, ISBN 0-934613-71-0, $29.95. MatchBox: Mark Perlin, "The match box algorithm for parallel production system match", Technical Report CMU-CS-89-163, Carnegie Mellon University, School of Computer Science, Pittsburgh, Pennsylvania, May 1989. DRETE: Michael A. Kelly and Rudolph E. Seviora, "An evaluation of DRETE on CUPID for OPS5 matching", in Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pages 84-90, Detroit MI, August 1989, Morgan Kaufmann Publishers. ---------------------------------------------------------------- Subject: [12] Integrated AI Architectures Kurt VanLehn, editor, "Architectures for Intelligence", Lawrence Erlbaum Associates, Hillsdale, NJ, 1991. SOAR: John E. Laird, Allen Newell, and Paul S. Rosenbloom, "SOAR: An Architecture for General Intelligence", Artificial Intelligence, 33(1):1-64, 1987. PRODIGY: Steven Minton, Jaime G. Carbonell, Craig A. Knoblock, Daniel R. Kuokka, Oren Etzioni, and Yolanda Gil. "Explanation-based learning: A problem solving perspective". Technical Report CMU-CS-89-103, Carnegie Mellon University, School of Computer Science, Pittsburgh, PA, 1989. THEO: Tom M. Mitchell, J. Allen, P. Chalasani, J. Cheng, Oren Etzioni, Marc Ringuette, and Jeffrey Schlimmer, "THEO: A Framework for Self-Improving Systems", in Kurt VanLehn, editor, Architectures for Intelligence, Lawrence Erlbaum Associates, Hillsdale, NJ, 1991. Subsumption Architectures: Brooks, R., "A Robust Layered Control System for a Mobile Robot", IEEE Journal of Robotics and Automation, RA-2, pages 14-23, April 1986. ---------------------------------------------------------------- Subject: [13] Fuzzy Logic Introductions/Textbooks: Klir, George J. and Folger, Tina A., "Fuzzy Sets, Uncertainty, and Information", Prentice Hall, Englewood Cliffs, NJ, 1988, 355 pages. ISBN 0-13-345984-5 Zimmermann, Hans J., "Fuzzy Set Theory and its Applications", Boston, MA, Kluwer-Nijhoff Publishing, 1985. [Discusses fuzzy set theory but not much about fuzzy control.] Kosko, B., "Neural Networks and Fuzzy Systems", Prentice Hall, Englewood Cliffs, NJ, 1992. Readings: Didier Dubois, Henri Prade, and Ronald R. Yager, editors, "Readings in Fuzzy Sets for Intelligent Systems", Morgan Kaufmann Publishers, 1993, 916 pages. ISBN 1-55860-257-7, $49.95. R. Yager and L. Zadeh, editors, "An Introduction to Fuzzy Logic: Applications in Intelligent Systems" Kluwer, 1992. $90. [Collection of papers about fuzzy applications.] Papers: Zadeh, L.A., "Fuzzy Sets," Information and Control, 8, 338-353, 1965. Brubaker, D.I., "Fuzzy-logic Basics: Intuitive Rules Replace Complex Math," EDN, June 18, 1992. Schwartz, D.G. and Klir, G.J., "Fuzzy Logic Flowers in Japan," IEEE Spectrum, July 1992. ---------------------------------------------------------------- Subject: [14] Artificial Life and Cellular Automata The best source for information is the proceedings of the Artificial Life conferences. The proceedings were edited by Christopher G. Langton and published by Addison-Wesley. Langton, Chris G., editor, "Artificial Life" (Proceedings of the First International Conference '87), Addison-Wesley, 1989. ISBN 0-201-09356-1. Langton, C.G., Taylor, C., Farmer, J.D., and Rasmussen, S., editors, "Artificial Life II", Addison-Wesley, 1991. ISBN 0-201-52751-2. Forrest, S., editor, "Emergent Computation", MIT Press, 1991. Levy, S., "Artificial Life", Pantheon, New York, 1992. ISBN 0-679-40774-X. [An excellent popularization] Jean-Arcady Meyer and Stewart W. Wilson, "From animals to animats: Proceedings of the First International Conference on Simulation of Adaptive Behavior (1990, Paris, France)", MIT Press, Cambridge, MA, 1991. Tommaso Toffoli and Norman Margolus, "Cellular Automata", MIT Press, 1987. ---------------------------------------------------------------- Subject: [15] Qualitative Physics and Model Based Reasoning QP Theory: Forbus, K. D., Qualitative Process Theory, Artificial Intelligence, 24:85-168, 1984. QSIM: Kuipers, B., Qualitative Reasoning with Causal Models in Diagnosis of Complex Systems, In D. S. Weld & J. deKleer, editors, Readings in Qualitative Reasoning about Physical Systems, pages 257-274, chapter 10, Morgan Kaufmann Publishers, 1989. MBR-based Diagnosis: Davis, R., Diagnostic Reasoning Based on Structure and Behavior, Artificial Intelligence, 24:347-410, 1984. Function-based MBR: Sticklen, J., Chandrasekaran, B., & Bond, W. Distributed Causal Reasoning. Knowledge Acquisition, 1:139-162, 1989. ---------------------------------------------------------------- Subject: [16] Task-specific Architectures for Problem Solving Generic Tasks: Chandrasekaran, B., Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks, In IJCAI-87, pages 1183-1192, Milan, 1987. Components of Expertise: Steels, L., The Components of Expertise. AI Magazine, Summer, 1990. KADS: Breuker, J., & Wielinga, B., Models of Expertise in Knowledge Acquisition, in G. Guida & C. Tasso, editors, Topics in Expert Systems Design: Methodologies and Tools, Amsterdam: North Holland Publishing Company, 1989. Role-limiting Methods: McDermott, J., Preliminary Steps Toward a Taxonomy of Problem-Solving Methods, in S. Marcus, editor, Automating Knowledge Acquisition for Expert Systems, pages 225-255, Boston: Kluver Academic Publishers, 1988. ---------------------------------------------------------------- Subject: [17] Automated Deduction/Theorem Proving C. Chang and R.C. Lee, "Symbolic Logic and Mechanical Theorem Proving", Academic Press, 1973. Alan Bundy, "The Computer Modelling of Mathematical Reasoning", Academic Press, 1983. [Contains Prolog code for a simple resolution-based theorem prover.] David Duffy, "Principles of Automated Theorem Proving", John Wiley and Sons, 1991. Larry Wos and Ross Overbeek and Ewing Lusk and Jim Boyle, "Automated Reasoning. Introduction and Applications", Second Edition, McGraw-Hill, 1992. Proceedings of the 11th International Conference on Automated Deduction (CADE-11), D. Kapur (editor), Saratoga Springs, NY, USA, June 15-18, 1992, Lecture Notes in AI 607, Springer-Verlag, 1992, 793 pages. ISBN 0-387-55602-8 and 3-540-55602-8. [The CADE proceedings have a systems abstracts section with short descriptions of implemented systems, many of which are available by anonymous ftp.] ---------------------------------------------------------------- Subject: [18] Probabilistic Reasoning Neapolitan, Richard E., "Probabilistic Reasoning in Expert Systems: Theory and Algorithms", John Wiley and Sons, 1990. Oliver, Robert M., and Smith, James Q., editors, "Influence Diagrams, Belief Nets and Decision Analysis", John Wiley and Sons, 1990. Pearl, Judea, "Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference", Morgan Kaufmann, San Mateo, California, 1988. [Bayesian networks] Shafer, Glenn, and Pearl, Judea, "Readings in Uncertain Reasoning", Morgan Kaufmann, San Mateo, California, 1990, 768 pages. ISBN 1-55860-125-2, $49.95. R.O. Duda, P.E. Hart, and N.J. Nilsson, "Subjective Bayesian Methods for Rule-Based Inference Systems", In Proceedings of the 1976 National Computer Conference, pages 1075-1082, AFIPS, 1976. Charniak, Eugene, "Bayesian Networks without tears", AI Magazine, Winter 1991, pages 50-63. Abduction & Uncertainty: Charniak, E., "Motivation analysis, abductive unification, and nonmonotonic equality", Artifical Intelligence 34:275-95. Kass, A., "Adaptation-based explanation", 11th IJCAI, pages 141-47. Hobbs, J., et al., "Interpretation as abduction", SRI AI TR #499. Non-AI, but relevant: Kahneman, D., Slovic, P., and Tversky, A., "Judgement under uncertainty", Cambridge University Press. Micheal Smithson, "Ignorance and Uncertainty: Emerging Paradigms", Springer-Verlag, 1989. Current Research: Uncertainty in Artificial Intelligence [2|3|4|5], North-Holland. Proceedings of the Nth Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann Publishers. ---------------------------------------------------------------- Subject: [19] Nonmonotonic Reasoning and Truth Maintenance Systems (TMS) Matthew L. Ginsberg, "Readings in Nonmonotonic Reasoning", Morgan Kaufmann, San Mateo, CA, 1987. Reiter, Ray, "Nonmonotonic Reasoning", Annual Review of Computer Science, 2:147-186, 1987. (Appears in Ginsberg.) Doyle, J., "Truth Maintenance Systems", Artificial Intelligence, 12(3):231-272, 1979. Reiter, Raymond and de Kleer, Johan, "Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report", Proceedings of AAAI-87, pages 183-188. J.P. Martins, "The Truth, The Whole Truth And Nothing But the Truth: An Indexed Bibliography to the Literature of TMS's", AI Magazine (Special Issue), AAAI, 1990. De Kleer, J., "An assumption-based TMS", Artificial Intelligence 28:127-162, 1986. De Kleer, J., "Extending the ATMS", Artificial Intelligence 28:163-196, 1986. De Kleer, J., "Problem Solving with the ATMS", Artificial Intelligence 28:197-224, 1986. De Kleer, J., "A comparison of ATMS and CSP techniques", IJCAI 1989, pages 290-296. Kenneth D. Forbus and Johan de Kleer, "Building Problem Solvers", MIT Press, Cambridge, MA 1994, 700 pages, $50. ISBN 0-262-06157-0. [Good textbook.] Proceedings of AAAI 1988. Alex Kean and George Tsiknis, "Assumption based Reasoning and Clause Management Systems", Computational Intelligence 8(1):1-24, 1992. Alex Kean and George Tsiknis, "Clause Management Systems (CMS)", Computational Intelligence 9(1):11-40, 1993. Martins & Shapiro, AI Journal, vol. 35, (1988) Martins & Reinfrank (eds), "Truth Maintenance Systems", published by Springer Verlag in their 'Lecture Notes in Computer Science' series, 1991. Reinfrank, M., Dressler, O. and Brewka, G., On the Relation Between Truth Maintenance and Autoepistemic Logic, IJCAI 1989. Selman, B. and Levesque, H.J., "Abductive and Default Reasoning: A Computational Core", Proceedings of AAAI-90. ---------------------------------------------------------------- Subject: [20] Robotics and Computer Vision Introductions (Robotics): John J. Craig, "Introduction to Robotics", Addison-Wesley, Reading, MA, 1989. Joseph L. Jones, and Anita M. Flynn, "Mobile Robots: Inspiration to Implementation", A.K. Peters, Publisher, Wellesley, MA, 1993. 349 pages, $39.95. ISBN 1-56881-011-3. [Two papers in the Encyclopedia of Aritificial Intelligence are relevant: Path planning and obstacle avoidance, pages 708-715 Mobile robots, pages 957-961] Introductions (Vision): David Marr, "Vision: a computational investigation into the human representation and processing of visual information", W.H. Freeman, San Francisco, CA, 1982. [The classic text, still good.] Berthold K.P. Horn, "Robot Vision", MIT Press and McGraw-Hill, Cambridge, MA, 1986. 509 pages. ISBN 0-2620-815-98 (MIT Press), 0-0703-034-95 (McGraw-Hill). Vicki Bruce and Patrick R. Green, "Visual Perception: Physiology, Psychology and Ecology", 2nd Edition, Lawrence Erlbaum Associates, Hillsdale, NJ, 1990. ISBN 0-86377-146-7. Martin D. Levine, "Vision in Man and Machine", McGraw-Hill, New York, 1985. Roger Watt, "Visual Processing: computational, psychophysical, and cognitive research", Lawrence Erlbaum Associates, Hillsdale, NJ, 1988, 152 pages. Harry Wechsler, "Computation Vision", Academic Press, Boston, MA, 1990, 558 pages. E. Bruce Goldstein, "Sensation and Perception", 3rd edition, Wadsworth, Belmont CA, 1989, 598 pages, ISBN 0-534-09672-7. [Emphasis on the physiological aspects of visual perception.] Linda G. Shapiro and Azriel Rosenfeld, "Computer Vision and Image Processing", Academic Press, Boston, MA 1992, 623 pages. [One paper in the Encyclopedia of Aritificial Intelligence is relevant: Sensors, pages 1031-1036] Surveys: J. Michael Brady, "Computational approaches to image understanding", ACM Computing Surveys 14(1):3-71, March 1982. (Survey of methods in computer vision.) Paper Collections: Martin A. Fischler and Oscar Firschein, editors, "Readings in Computer Vision", Morgan Kaufmann, San Mateo, CA, 1987. Michael S. Landy and Anthony J. Movshon, "Computational Models of Visual Processing", MIT Press, Cambridge, MA, 1991, 394 pages. [Collection of research papers.] Miscellaneous: The 6.270 Robot Builder's Guide, by Fred Martin. Available by anonymous ftp from kame.media.mit.edu (18.85.0.45) in ~ftp/pub/fredm/README or in cherupakha.media.mit.edu:pub/6270/docs [18.85.0.47]. This directory contains "The 6.270 Robot Builder's Guide", the course notes to the 1992 MIT LEGO Robot Design Competition. For more information, contact Fred Martin . Autonomous Agents: Rodney A. Brooks, "A Robust Layered Control System for a Mobile Robot", IEEE Journal of Robotics and Automation, 2:14-23, 1986. Rodney A. Brooks, "A Robot that Walks: Emergent Behaviour from a Carefully Evolved Network", Neural Computation, 1(2), 1989. Pattie Maes and Rodney A. Brooks, "Learning to Coordinate Behaviours", Proceedings of AAAI-90, 1990. Pattie Maes, "How to do the right thing", Connection Science 1(3):291-323, 1990, special issue on Hybrid Systems. Pattie Maes, "Designing Autonomous Agents: Theory and Practice from Biology to Engineering and Back", MIT Press, 1991. Pattie Maes, "A bottom-up mechanism for action selection in an artificial creature", in Adaptive Behaviour: From Animals to Animats, edited by S. Wilson and J-A Meijer, MIT Press, 1991. W. Lim and J. Eilbert, "Plan-behaviour interaction in autonomous navigation", Proceedings of the SPIE, 1388:464-475, 1991. ---------------------------------------------------------------- Subject: [21] Distributed AI Collections: Alan H. Bond and Les Gasser, "Readings in Distributed Artificial Intelligence", Morgan Kaufmann, San Mateo, CA, 1988. Michael N. Huhns, ed., "Distributed Artificial Intelligence", Morgan Kaufmann, 1987. Les Gasser and Michael N. Huhns, eds., "Distributed Artificial Intelligence, Volume II", Morgan Kaufmann, 1989. (Special Issue on Distributed AI) IEEE Transactions on Systems, Man, and Cybernetics, Vol. 11, No. 1, Jan 1981. (Special Issue on Distributed AI---10 years later) IEEE Transactions on Systems, Man, and Cybernetics, Vol. 21, No. 6, Nov/Dec 1991. Decentralized Artificial Intelligence, Y. Demazeau ed. 1990, Decentralized AI 2, Demazeau, Y. & Muller, J-P, eds. 1991, Decentralized AI 3, Werner & Demazeau eds. 1992, all published by Elsevier Science Publishers . [Surveys can be found in the Bond & Gasser book listed above, and in: The Handbook of AI volume 4 1989; IEEE Systems, Man, and Cybernetics-17(5) 1987; Kluwer Academic's AI Review-6(1)1992.] ---------------------------------------------------------------- Subject: [22] User/Agent Modeling Rapaport,W. J. (1987) "Belief Systems", in the Encyclopedia of Artificial Intelligence, pp. 63-73. Afzal Ballim and Yorick Wilks, "Artifical Believers", Lawrence Erlbaum Associates, Hillsdale, NJ, 1991. ISBN 0-8058-0453-6. Contains a 92 page background section on belief modeling in AI, Philosophy, NLP and Linguistics. Kobsa, A. & Wahlster, W. (1989) "User Models in Dialog Systems." Springer-Verlag, Heidelberg. See also the journal User Modeling and User-Adapted Interaction in [1-1]. ---------------------------------------------------------------- Subject: [23] Philosophy of AI D. McDermott, "Artificial Intelligence Meets Natural Stupidity," in Mind Design: Philosophy, Psychology, Artificial Intelligence, J. Haugeland, editor, chapter 5, pp. 143-160, MIT Press, 1981. H.A. Simon, "Sciences of the Artificial", 2nd Edition, MIT Press, 1981. A.M. Turing, "Computing Machinery And Intelligence," Mind, vol. LIX, no. 236, 1950. Reprinted in "Computers and Thought", Feigenbaum & Feldman (eds.), 1963. Also reprinted in "The Mind's I", Hofstadter & Dennett (eds.). Also reprinted in "Readings in Cognitive Science", Collins & Smith (eds.), section 1.1. Roger Penrose, "The Emperor's New Mind: Concerning computers, minds, and the laws of physics", Oxford University Press, New York, 1989, 466 pages, $30. Douglas R. Hofstadter and Daniel C. Dennett, "The Mind's I: Fantasies and Reflections on Self and Soul", Basic Books, New York, 1981, 501 pages, $15.50. Daniel C. Dennett, "Consciousness explained", 1st edition, Little, Brown and Company, Boston, 1991, 511 pages, $27.95. John Haugeland, "Artificial Intelligence: The very idea", MIT Press, Cambridge, MA, 1985, 287 pages. John Haugeland, editor, "Mind Design: Philosophy, Psychology, Artificial Intelligence", MIT Press, Cambridge, MA 1981, 368 pages. Margaret A. Boden, editor, "The Philosophy of Artificial Intelligence", Oxford University Press, New York, 1990, 452 pages. Hans Moravec, "Mind Children: The future of robot and human intelligence", Harvard University Press, Cambridge, MA, 1988, 214 pages. Kirsh, D., editor, "Foundations of Artificial Intelligence, Special issues of Artificial Intelligence", The MIT Press, 1991. Reprinted from Artificial Intelligence 47(1--3), 1991. Hubert L. Dreyfus, "What computers can't do: a critique of artificial reason", Harper and Row, Publishers, New York, 1972. ISBN 0-06011082-1 ---------------------------------------------------------------- Subject: [24] What is Cyc? Cyc is a project at MCC in Texas to build an enCYClopedic database and reasoning engine for common sense knowledge. "CYC", AI Magazine 1986, 7(1), 1986. "Cyc: A Mid-Term Report," AI Magazine, 11(3):32-59, Fall 1990. "Cyc: Toward Programs With Common Sense," CACM, 33(8):30-49, August 1990. "Knowledge and Natural Language Processing," CACM, Aug 1990. "When will machines learn?," Machine Learning, 4(3-4):255-257, December 1989. D.B. Lenat, R.V. Guha, "Building Large Knowledge-Based Systems", Addison-Wesley, Reading, MA. ---------------------------------------------------------------- Subject: [25] Miscellaneous: PhD Theses Be sure to check the proceedings of the various national conferences in the area that interests you. PhD theses can often be obtained from University Microfilms Internatinal, 300 North Zeeb Road, Ann Arbor, MI 48106. ---------------------------------------------------------------- Subject: [26] Videotapes and Magazines Videotapes: The 4th episode of the PBS series "The Machine That Changed the World" is a good introduction to AI. It is available for $90 from Films for the Humanities, 1-800-257-5126. Morgan Kaufmann also has a good set of tapes of AI-related lectures, but it runs on the expensive side. AI-related magazines include: AI EXPERT Miller Freeman, Inc., 600 Harrison Street, San Francisco, CA 94107. Subscriptions: 1-800-274-2534 or 303-447-9330 $42/year (12 issues), $6 extra in Canada and Mexico, $15 extra (surface mail) or $40 (air mail) for overseas. Submissions: Larry O'Brien, Editor in Chief, <72212.3256@compuserve.com> PC AI (ISSN 0894-0711) 3310 West Bell Road, Suite 119, Phoenix, AZ 85023. Subscriptions: 602-971-1869, fax 602-971-2321. $28/year (6 issues); $54 for two years; $78 for three years. $9 extra in Canada and Mexico, $25 extra (air mail) for all other countries. Both magazines are excellent sources of commercial product reviews and frequently publish "Product Guides/Showcases" that lUWVFP( FP0 ‹؋F&O F&G&G<ʋЋ™Ƌ$6&~&6&F&9EtL2pP3P F&EĞ&(6&>pt*6&>vt TF&EF,6&>~FvFĞ&^&9~Ì~ڹ-F*Ftz8ft F^&8Gui~t F^&8GuWF+F;F| F9Fu~tF@t8F^&8Gt,F+F;F~<.6&>t0^&GĞ&v&@F[FF,6&9~2F^&8Gu FuӋvzvĞ&7X06&?&&DPĞ&&& 26&>|u 46&z66&^&Gȋƻ[؎86&>&I86&&a~t;F*PĞ&&& 46&zF*Pv:6&& ud26&>|u 46&zĞ&&& <6&6&6` P, >6&F&H t8PP  |FPPh P:6&6&6P  |FPPh P*6&>vt BlPP] @6&6&6`Ğ&&& pP B6&R&TĞ&7FD6&FF6& fĞ&7FtH6&&J6&H6&J6&f%=؎L6&FD6&FF6& ^_]ːUVN6&6 &6rP N6&6 &6"P vPrPh P"Ph FPrPXX @uNFP"PXX @uQN6&6 &6"P P6&6(&6&"Ph FP"PXX @uFV9Vvr9Fv~} ~[sPrpenn.edu> so that he can make your binary available. See also LIFE, SLG, and XSB in [2-1] and BeBOP in [2-3]. ---------------------------------------------------------------- Subject: [2-8] Commercial Logic Programming Systems None so far. This is to be expected, as most logic programming systems are experimental. ---------------------------------------------------------------- ;;; *EOF* 9Vw1r9Fs*FVFV06&X&& FVFVFVPPFPC uP6d6bVh4 pP~QPVh4 3,602&9?~Dv3ɉNރ,.&Gt &u&g[GĞ0&9?ЋvFP[Ğ0&/P86&6&6VW V2 FPFPR ^_]ːUTWVN6&6 &6FP PFPh PFP V t)FPVQpQ~RQx WV ^_]ːU"WVFP( FP0 V<&m&EFT6&F&M FF &EF~,6&F 86&&؉V$6&FN9Nu~t F& Minds and Machines 2(4) November 1992 was devoted to music and cognition, and there were some relevant book reviews in 3(1) February 1993. ---------------------------------------------------------------- ;;; *EOF*