home *** CD-ROM | disk | FTP | other *** search
/ Monster Media 1994 #1 / monster.zip / monster / FREQ_QA / AI_3.ZIP / 00000157.TXT
Text File  |  1994-03-15  |  66KB  |  1,351 lines

  1. Uï∞ü∞WVìF≡PÜ(α â─ìF≡PÜ0α â─Ä┬ï╪ï√îF÷&èO ╕╙αëF°&ïGï╚&ïG║ï≥Ö≈■╛<ï┴ï╩ï╨ï┴ëå⌠■ï┬Ö≈■ï╞ï╩≈«⌠■ï≡±╗Ä$6ë₧·■îåⁿ■&╟  ╗~Ä&6ë₧÷■îå°■&ïÄF÷&9EtLÉΦ2╕pP3└P ╢°■ ╢÷■Üα â─ÄF÷&ïE─₧÷■&ëÄ(6&â>ptÄ*6&â>vt
  2. Ü£┘ÜT┘ÄF÷& E╟F·Ä,6&â>Θ▀ë~⌠╟F■╕⌠╣ùëå≡■ëÄ≥■ëvⁿïFⁿ─₧≡■&─^■ë₧∞■îåε■&9~ΘÖï├î┬ì~öï≤Ä┌╣-≤ÑñèFó*ΣàF°tz8f╥t èF╥─^⌠&8GuiÇ~╤t èF╤─^⌠&8GuWïFⁿ+Fö;Fû| ïFⁿ9Föuâ~ût÷Fÿ@t8èFú─^⌠&8Gt,ïFⁿ+Fö;Fû~<Ä.6&â>t0─^⌠&èG─₧≡■&─ïv■&ê@âF■[ F·ïF·Ä,6&9~Θ2 Θ⌡èFú─^⌠&8Gu ÷FÖu╙ïv·Θzïv·─₧·■&ë7╗XÄ06ë₧Φ■îåΩ■&─?& ╡& ╡Ü£┘â─ìDP─₧Φ■&─& ╖╥& ╖╨Ü┌α    â─Ä26&â>|u Ä46&╟zÄ66&╟¬─^⌠&èGï╚ï╞╗[≈δï╪Ä86&─>⌠&êIÄ86&─⌠ï°&Ça■ÉΦÇ~¿t;èF¿*ΣP─₧Φ■&─& ╖╓& ╖╘Ü┌α    â─Ä46&╟zèF¿*ΣPܵ┘â─ΘvÄ:6&í▓& ░uΘdÄ26&â>|u Ä46&╟z─₧Φ■&─& ╖┌& ╖╪Ü┌α    â─Ä<6& 6¿& 6ªÜ`┘â─Üû┘ܼα    ╕PÜ,╣ â─Ä>6&íF&ïHëåΣ■ëûµ■ ╨t8 ╢µ■Pìå■■PÜ╝
  3. α â─ ÷|ìF▒Pìå■■PÜh
  4. α â─ìå■■PÜ╠┘â─Ä:6& 6▓& 6░ìå■■PÜ╝
  5. α â─ ÷|ìF▒Pìå■■PÜh
  6. α â─ìå■■PÜ╠┘â─Ä*6&â>vtܼα    Ü«┘ÜB┘Ül┘░P░PÜ╢]    â─Ä@6& 6á& 6₧Ü`┘â──₧Φ■&─& ╖▐& ╖▄Ü┌α    â─╕pPÜ╒    â─ÄB6&úR&ëT─₧·■&ë7ïF₧ÄD6&úïFáÄF6&ú Üf┘─₧·■&ë7÷FÿtÄH6&Ç&│ÄJ6&╞ƒδÉÄH6&Ç│ÇÄJ6&╞ƒèfÖ%=└≈╪ÄL6&úïF₧ÄD6&úïFáÄF6&ú ^_ïσ]╦ÉUï∞ü∞▐VÄN6& 6 & 6ìår PÜ╝
  7. α â─ÄN6& 6 & 6ìå" PÜ╝
  8. α â─╕vPìår PÜh
  9. α â─╕éPìå" PÜh
  10. α â─ìFαPìår PÜXXα â─@uΘNìF┬Pìå" PÜXXα â─@uQÄN6& 6 & 6ìå" PÜ╝
  11. α â─ÄP6& 6(& 6&ìå" PÜh
  12. α â─ìF┬Pìå" PÜXXα â─@uΘτïF≥ïV⌠9V╓vΘ┘r9F╘vΘ╧â~≡}Θ╞    â~ε[sΘ╗╕ÇPìår penn.edu> so that he can make your binary
  13.    available.
  14.  
  15. See also LIFE, SLG, and XSB in [2-1] and BeBOP in [2-3].
  16.  
  17. ----------------------------------------------------------------
  18. Subject: [2-8] Commercial Logic Programming Systems
  19.  
  20. None so far. This is to be expected, as most logic programming systems
  21. are experimental.
  22.  
  23. ----------------------------------------------------------------
  24. ;;; *EOF*
  25. Φ9V■w1r9Fⁿs*ëF≥ëV⌠ëF÷ëV°Ä06&─X& ╖Γ& ╖αÜ┌α    â─δÉïFⁿïV■ëF≥ëV⌠ëF÷ëV°╕ÇP╕üPìFäPܬCα â─ï≡â■ uΘ╞╕P 6d 6bVÜh4α â─╕pP╕~╣ùQPVÜh4α â─3 ╗Ä,6ë₧0 îå2 &9?~Dëvⁿ3╔ëN■ï±╕ùÄ╪─⌠▐â├ë₧, îå. &÷Gt &÷u&Çg■â╞[G─₧0 &9?╨ïvⁿìF·P╕[─₧0 &≈/PÄ86& 6÷& 6⌠VÜWα â─ VÜ╚2α â─ìF≥PìFäPÜ«Rα â─^_ïσ]╦ÉUï∞â∞TWVÄN6& 6 & 6ìF¼PÜ╝
  26. α â─╕ªPìF¼PÜh
  27. α â─╕▓PìF¼PÜ¿α â─ï≡ëV■ ╨t)ïF■PV╣Q╣pQ╣~║ùRQï°Üxα â─ WVܪα â─^_ïσ]╦ÉUï∞â∞"WVìFΦPÜ(α â─ìFΦPÜ0α â─ï°ëVε╕<Ä┬&≈m&EëF⌠ÄT6&╟  ÄFε&èM ╕╙αëF≡╟F÷╕ & E╟F·ë~∞Ä,6&íëFµ └Θ╔Ä86&í⌠&ï÷ï╪ëV■Ä$6&íëFΣïN·╕╘Ä╪9NΣuΘïâ~t    ÄF■&÷-------------------------------------
  28.  
  29. ;;; *EOF*
  30. JÄF■&èG9êFα
  31. └t ÄFε&èD8Fαu0ÄF■ìwⁿ&ïëF▐;F⌠ÄF■&÷@t┐δï°+~⌠9~÷~ë~÷ëâ├[A9Nµ~Θa ü~÷í}Θ╡╕á+F⌠ëF≥╤f≡â~≡@~╟F≡3╔9NµΘöÄ86&í⌠&ï÷>ï╪ëV■ï~∞╕╘Ä╪â~t ÄF■ìw╞&÷uZÄF■ìw╨&è*ΣàF≡tJÄF■&èêFΓ
  32. └t    ÄFε&8Eu4ÄF■ìw &èêFα
  33. └t    ÄFε&8EuÄF■ìw┬&ïF≥ëF°;F÷}ëF÷ëâ├[A9Nµïü~÷áïV÷δ║áâ~tâ·}║ï┬^_ïσ]╦Éear all searchUï∞ü∞╢WV╕╚Pܬ α â─ï≡ëV■ ╨t5╕╨PÜ6    â─ └u$ïF■PVìåV PÜ╝
  34. α â─ìåV PÜ┘â─δÉ╞åV ╕▄PìåV PÜh
  35. α â─ìF╓PìåV PÜXXα â─ └t$ìåV P╕ΦP╕╠(PÜ─α â─ ╕·PÜ≤α â─ï~ΣW╕PÜα â─ï≡ëV· ╨u╕ P╕╠(PÜ─α â─╕·PÜ≤α â─╕P╕-PìåV PÜ26    â─
  36. ëFⁿëV■ ╨u$ìåV P╕0P╕╠(PÜ─α â─ ╕·PÜ≤α â─ v■ vⁿW╕P v·VÜα â─ ;╟t2ìåV P╕LP╕╠(PÜ─α â─  v■ vⁿܪα â─╕·PÜ≤α â─ v■ vⁿܪα â─ └t$ìåV P╕wP╕╠(PÜ─α â─ ╕·PÜ≤α â─ïF·╗
  37. Ä 3ë₧R îåT &ë7&ëGìL╗XÄ"3ë₧N îåP &ë&ëGÄ└&ï<ü pt#╕pPW╕ÖP╕╠(PÜ─α â─ ╕·PÜ≤α â──₧N &ï&ïWï╧╤ß╤ß┴ï≡ëVⁿ╟F°â ~>║ìM ëV■ëv·ë~÷ï≥ï~·╕ùÄ╪ÄZïX&ï&+╟ïVⁿ&ë&ëPâ╞IuΣïv·─₧N &─ïFⁿ&ë7&ëG─₧R &─&ï╤α╤α&G├î┬ï°ëV÷ï╪&ïÄ$3&ú·    â╟ï┬&ë>
  38. &ú
  39. &ï·    ╤π╤π▀Ä┬&ïÄ&3&ë║ìOëF÷&ë└&ú┬&ï║╤Γ╤Γ╩ï∙╗HÄ(3ë₧J îåL &ë&ëGâ┴Ä*3&ë┤&ú╢ÄF÷&ï╤Γ╤Γ╩ï±ëFⁿPQÜ" α â─@≡╟F°─₧J &─&â?~Gë~⌠║ëV■ëv·ï≥ïN°ï~·╕ùÄ╪─┤&ï&+╟ïVⁿ&ë&ëPâ╞A─₧J &─&9┌ï~⌠ïv·Ä*3&─┤ïFⁿ&ë7&ëG─₧J &─&ï@╤α╤α&G°ïF÷Ä,3&ë>ä
  40. &úå
  41. ìMÄ.3&ë▄ &ú▐ ╕^_ïσ]╦É&àÜuΘ0  Uï∞â∞.WVÜ4┘ÄZ9&╟3└Ä\9&ú6Ä^9&ú"Ä`9&ú╓ Äb9&úrÄd9&ïbÄf9&ëdÄh9&ïfÄj9&ëh+╔ëN÷ëN⌠ v vÜZ α    â─RP╕╠"P╕r ╣ùQPÜαα â─ ╕÷╣ùïVï^ï±Vï°ï≥Ä┴Ä█╣≤Ñ^║╢╣ùëV≡ëN≥Vï·ï≡Ä┴╣≤ÑÄl9&â>nu-Än9&─X& ╖B& ╖@Ü┌α    â─╕╧"PÜ|α    â─3└Θb╕r ╣ùQPÜÆ┘â─ └tτï~
  42.  Θ╛╕P v≥ v≡PÜ┘â─ └t!2└P░PÜ╢]    â─Äp9&àÜt¡ÜN┘δªÉ2└P░PÜ╢]    â─Äp9&àÜuÜ╬┘╕,
  43. ╣ùQPÜ╚┘â─2└P░PÜ╢]    â─Äp9&àÜuΘ0  ~+└PPÜ(α â─ëF⌠ëV÷╕PÜⁿ┘â─+└PPÜ(α â─ï╚ï┌+F⌠V÷Ä~9&ú║&ë╝SQ v÷ v⌠ï≡ï∙ëvΓëVΣï≤Ürα    â─ëFⁿëV■Ä~9&Ω&∞╣d3█SQRPÜåα ëF°ëV·╕dÖRP v■ vⁿÜ║α ëFⁿëV■ v· v°RP╕<ÖRP╣─ ╗  SQ╕ÖRP vΣ vΓÜ║α RPëF▐ëVαÜTα ╣─ ╗  SQ vα v▐ëF┌ëV▄ÜTα ╣<3█SQ vΣ vΓëF╓ë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*ππΦé─^µ&â?tMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áGPÄv9& 68& 66Ü≡┘â─╕Θå  tΘ╣╕╘Ä╪╕[≈.ï╪╕ùÄ└&í⌠&ï÷Ä┬╪îFε&÷GÇt1&9}&ïG≈╪╣ùÄ┴&;z
  44. ~3└Θ6╕ùÄ└&íz
  45. ÄFε&9G|τ╕╘Ä└&íëFΩ └u╕╘Ä└&â>tÄFε&÷Gu╕ùÄ└&÷Ç
  46. t│â~Ωu╕╘Ä└&â>tÄFε&÷Gt╕ùÄ└&÷Ç
  47. uë╕P v≥ v≡PÜ┘â─ └tΘ}ⁿÜ╬┘╗pÄr9ë^µîFΦ&â?tMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áJPÄv9& 68& 66Ü≡┘â─+└PPÜ(α â─ëF⌠ëV÷Äz9&â>|u Ä|9&╟z╕,
  48. ╣ùQPÜî┘â─ï≡ ÷|Θ%ⁿ─^µ&â?tMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áGPÄv9& 68& 66Ü≡┘â─╕P v≥ v≡╕PÜ┘â─ï╞ΘÆÄn9&─X& ╖F& ╖DÜ┌α    â─╕P v≥ v≡╕PÜ┘â─Är9&â>ptMÄt9&â>vtA╕P╕PÄv9& 68& 66Ü`┘â─╕PÄx9&áGPÄv9& 68& 66Ü≡┘â─Ü÷┘╕^_ïσ]╦Uï∞â∞WV╕ P3└ÄZ9&úP╕÷╣ùQPÜα â─ÄÇ9+└&ú&ú■ï~  u1Äé9&9>"t2└P░PÜ╢]    â─Äp9&àÜuÜ|]    ÷─uΘ╗Ää9&╟Äå9&íëF· └|#╕[≈n·ï≡Äê9&─⌠&÷@t Ää9&╟2└P░PÜ╢]    â─=  tΘ╨Äz9&â>|u Ä|9&╟zÄr9&â>ptÄt9&â>vtÜT┘Äé9&â>"t2└P░PÜ╢]    â─Äp9&àÜtΘ  t╛3 δÉ╕⌠PÜ▐┘â─ï≡â■tΘéÄè9&íN& Lts╕dPÜ╒    â─ëFⁿëV■Ü|]    ÷─t6ë~ v■ vⁿÜ`╒    â─ └u!╕dPÜ╒    â─ëFⁿëV■Üè]    Ü|]    ÷─u═Ü°]    3└PÄè9& 6N& 6LÜ└┘â─ΘΩ■â■tm╕pPÜ╒    â─ëFⁿëV■RPÜ`╒    â─ └tΘP■ë~Ü|]    ÷─tΘ@■2└P░PÜ╢]    â─=  tΘ*■Ü─α     v■ vⁿÜ`╒    â─ └t╞Θ■Ü─α    3└δbÉ2└P░PÜ╢]    â─Äp9&àÜt;3└PÜⁿ┘â─ÜN┘Ä^9&â>"uÄ\9&â>6u Ä`9&â>╓ t ÉΦδÜN┘ÉΦ(╕^_ïσ]╦ÉUï∞ü∞·WV╗Äå9ë₧
  49.  îå  &â?|%╕[&≈/Äê9&⌠&ï÷ì~ñï≡Ä┌╣-≤Ññ─₧
  50.  &â?}ΘÄÄ^9&â>"t5Ç~║t/èF║*ΣPÄn9&─X& ╖N& ╖LÜ┌α    â─èF║*ΣPÉΦⁿâ─3÷ì~πÄî9&Ç╝& t1èB╗*ΣPWÄn9&─X& ╖R& ╖PÜ┌α    â─
  51. èB╗*ΣPÉΦ║â─Fâ╟ìF√;°r╕╗╓ Ä`9ë₧ îå &â?u Ä\9&â>6t?─₧
  52.  &â?|5Ç~╣t/èF╣*ΣPÄn9&─X& ╖V& ╖TÜ┌α    â─èF╣*ΣPÉΦOâ─ÄÄ9&í▓& ░uΘ─₧ &â?uÄ\9&â>6uÄ^9&â>"uΘ⌡Än9&─X& ╖Z& ╖XÜ┌α    â─ÄÉ9& 6¿& 6ªÜ`┘â─Üû┘ܼα    ╕PÜ,╣ â─ÄÄ9& 6▓& 6░ìå PÜ╝
  53. α â──₧
  54.  &â?|ìF┴Pìå PÜh
  55. α â─Ü╥┘ìå PÜ╠┘â─Ü╞┘░P░PÜ╢]    â─Än9&─X& ╖^& ╖\Ü┌α    â─ÄÆ9& 6á& 6₧Ü`┘â─Ü┘╕pPÜ╒    â─Äö9&úR&ëT3└Ä^9&ú"Ä\9&ú6─₧ &ë^_ïσ]╦ÉUï∞ÜÇ┘╕╨"PÄû9& 6°& 6÷Än9&─X& ╖å& ╖äÜ┌α    ïσÄÉ9& 6¿& 6ªÜ`┘ïσÜû┘Ät9&â>vtÄÿ9& 6╕3└PÜ≥]    ïσÄÜ9&â>LtÜr╣ Ä£9&â>duÜ.]     vÜ≤α ïσ]╦Uï∞Vïv ÷u3└Öδ,Ü─α ï╚ï╞Ö+┬╤°ìTï╪ï┴ï╩Ö≈∙ï┬├╣d≈ΘPÜ╒    â─^ïσ]╦ÉUï∞â∞WVï~Ä₧9&íB&ïDÄF&9Eu    &9U
  56. uΘ&ïE
  57. & EuΘÄá9&─α&╞Äó9& 6▐& 6▄╕╞KPÜ╝
  58. α â─╕╞KPÜ" α â─╞KëF÷î^°╟F■Äñ9&í& uΘ╗ï~■─N╕ùÄ╪ï±ïïW&9Du&9T
  59. tGâ├ïG uΓΘφÉĪ9ï▀╤π╤π&ïç╢&ïù╕ëV⌠ ╨uΘ╠ïV⌠ï≡ëVⁿÄ┬ï▐&Ç?u$ï~÷Ä¿9&â>t3╕┌"P v°WÜαα â─ΘùÉï~÷Ä^ⁿÄF°ï▐Fèï▀G&êÇ<u≡δ┬É─^& 7╕▄"P v°Wδ_ÉĬ9& 6╓& 6╘╕╞KPÜ╝
  60. α â─╕╞KPÜ" α â─╞Kï≡î^°Ä¼9&í≡ÄF&9t&Ä¿9&â>uÄF& 5╕π"PìD  v°PÜαα â─
  61. ╕╞Kî┌^_ïσ]╦ÉUï∞â∞Ät9&â>vuΘ½Är9&â>puΘ£3└PÜ,╣ â─Äå9&í@P╕Ω"P╕r ╣ùQPÜαα ╕
  62. αP╣QÄ«9& 6·& 6°Ü`┘â─╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘â─Ä░9&í£@PÄ▓9& 6╛
  63. ╕∩"P╕r ╣ùQPÜαα â─ ╕
  64. P╕PÄ«9& 6·& 6°Ü`┘â─╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘â─ÉΦΣÄ┤9&íbëF■ └t'PÄ╢9& 6& 6╕·"P╕r ╣ùQPÜαα â─δ$ÉÄ╢9& 6& 6╕ #P╕r ╣ùQPÜαα â─ ╕P╣QÄ«9& 6·& 6°Ü`┘â─╕#PÄ«9& 6·& 6°ÜZ┘â─╕P╕PÄ«9& 6·& 6°Ü`┘â─╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘â─3└PÄ╕9& 6^Üα    ïσ]╦ÉÄt9&â>vt&Är9&â>pt╕ PÄ║9& 6û& 6öÜÉ┘â─╦ÉUï∞â∞.WVï~╗FLï≤î^·╞  }Θdï╟╣[≈ΘëF╘╗⌠Äê9ë^╓îF╪&─╪&÷Gt╞FLBï╞î┌@ï≡ëV·â~t    Ä┬ï╪F&╞ ─^╓&─^╘&÷GtÄF·ï▐F&╞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 aπmessage to listserver@vexpert.dbai.tuwien.ac.at withπ  GET LISTSERVER WHOISWHOINFUZZYπin the message body. New entries and corrections should be sent toπRobert Fuller <rfuller@finabo.abo.fi>. ππ----------------------------------------------------------------ππ;;; *EOF*πtï^╘─~╓&─=&÷At
  65. ÄF·ï▐F&╞XÄF·&╞╕FLî┌^_ïσ]├ÉUï∞Ät9&â>vuΘ╚Är9&â>puΘ╣Ä╝9&â>≡uÉΦ²3└PÄå9& 6Φ+²ïσRPÄå9&í@P╕5#P╕r ╣ùQPÜαα ïσ╕
  66. P╣QÄ«9& 6·& 6°Ü`┘ïσ╕r ╣ùQPÄ«9& 6·& 6°ÜZ┘ïσ╕
  67. P╕PÄ«9& 6·& 6°Ü`┘ïσ v vÄ«9& 6·& 6°ÜZ┘ïσÜT┘ïσ]╦Uï∞ü∞¼WV3└PÜz┘â─ï°╗Ä╛9ë₧` îåb &â?}ΘTÄt9&â>vuΘEÉΦⁿW─₧` &ï@P╛XÄn9ë╢\ îå^ &─& ╖f& ╖dìåd PÜαα â─ ╕P╕P╗öÄ║9ë₧X îåZ & w& 7Ü`┘â─ìåd P─₧X & w& 7ÜZ┘â─╕P─₧` & 7Φ╦√â─Ä┬ï╪ï≤îF·&Ç?tTï┬PV─₧\ &─& ╖j& ╖hìåd PÜαα â─ ╕PP─₧X & w& 7Ü`┘â─ìåd P─₧X & w& 7ÜZ┘â─╗╠Ä└9ë₧T îåV &ïG& uΘ9& w& 7ìåd PÜ╝
  68. α â─╕A#Pìåd PÜh
  69. α â─╕P╕J#Pìåd PÜ26    â─
  70. ï≡ëV· ╨uΘεïF·PV╣QQìN⌠Qï°Üα â─ ëFⁿWVܪα â─â~ⁿuΘ┐ïvⁿ╤µïr≥─₧T & w& 7ìåd PÜ╝
  71. α â─╕M#Pìåd PÜh
  72. α â─3└PìÄd QìN╚QÜ*6    â─
  73. └uqëv■ìFµPÜó α â─;╞╕Pìåd PìF╚PÜ*6    â─
  74. └t╘δ@É╕2P╕P─₧X & w& 7Ü`┘â──₧\ &─& ╖n& ╖l─₧X & w& 7ÜZ┘â─ÜT┘^_ïσ]╦R$bàCLS╦░Uï∞â∞.WVÄ╬4╕ù┐µ╛Φ Ä╪╣≤ÑÄ╨4&╟╝
  75. ╕&╣╘QPÜ(α â─Ä╥4+└&ú,&ú*&ú(&ú0&ú.╗pÄ╘4ë^ΣîFµ&9t&Ä╓4&9vtÄ╪4&─X& ╖& ╖Ü£┘â─╟Fⁿ≥Ä┌4ï^ⁿ&â?uΘ╟ï├-╣ùì~Φï≡Ä┘╣≤Ñâ~εt%ïFεëF∞╟FεÄ▄4&íèëFΓ └~ëFΩδÉ╟FΩìFΦPÜ■α    â─RPÄ╬4& 6°& 6÷╕Γ
  76. P╕r ╣ùQPÜαα â─╕r ╣ùQPÜéBα â─ìFΦPÜ■α    â─RP╕δ
  77. P╕r ╣ùQPÜαα â─ ╕r ╣ùQPÜéBα â─âFⁿ ü~ⁿjsΘ) +└ëF≥ëF≡ëFΦëFΩëF∞ëFε╗εÄ▐4ë^▐îFα&ëÄα4&â>v└% ╗Σ ÄΓ4ë^┌îF▄&ëÄΣ4&â>x╔≈┘ ┴─^┌&ëĵ4&í╛
  78. ÄΦ4&9«s ÄΩ4&â> t─^┌&Ç3└P╣╢║ùëN╓ëV╪RQ╣QÉΦDâ─â~uΘ╬╕÷╣ùQP╕PÜ╝α    â─Üÿ┘ └tΘuÜ░┘HtpHtHHtMΘcܬ┘ └uΘW─^▐&ï─^┌&àub╕Ä∞4&úhÄε4&údÄ╪4&─X& ╖Æ& ╖ÉÜ┌α    â─δñÜñ┘ └uΘ─^▐&ï─^┌&àu2δ┤Ä∞4&╟h3└PÜ₧┘ΘΣÄ≡4&╟T  ╕Ä∞4&úhΘ┼É╕Θ╛╕t╣ùëF╥ëN╘ÉΦ3 ─^╥&9?~1╛Ä≥4& t& 4╕ª    ╣ùQPÜ╠Fα â─ └uΘâ╞G─^╥&9?╥Ü╢┘ï°HuΘ≤HuΘGHtvHuΘ╛â }ΘWÄ⌠4&ít;╟ΘE2└P░PÜ╢]    â─Ä÷4&àÜuΘ)ìFΦP╕PÜ╝α    â─3└P v╪ v╓╕PÉΦ⌐â─Ä°4╤τ& ╡Ü┌┘ΘφÉÜ╘┘ └uΘπ─^▐&ï─^┌&àtΘü╕Äε4&údÄ∞4&úhÄ╪4&─X& ╖Æ& ╖ÉÜ┌α    â─Θµ■Ü╬┘ └uΘò─^▐&ï─^┌&àtΘπδ░Éâ╟Θ6 2└P░PÜ╢]    â─Ä÷4&àÜuΘ_Ä·4&â>tΘPìFΦP╕PÜ╝α    â─3└P v╪ v╓╕PÉΦ╨â─Ü╚┘Θ"É2└P░PÜ╢]    â─Ä÷4&àÜuΘ╟FΦⁿìFΦP╣QÜ╝α    â─╟FΦÄⁿ4& é─^Σ&â?tpÄ╓4&â>vtdÄⁿ4& 6é& 6Ç╕≥
  79. P╕r ╣ùQPÜαα â─ ╕P╕PÄ■4& 6& 6Ü`┘â─╕r ╣ùQPÄ■4& 6& 6ÜZ┘â─ÜT┘Ä∞4&╟h3└PÜ┬┘ΘOÉ╕÷╣ùQP╕PÜ╝α    â─Äⁿ4& é─^Σ&â?tpÄ╓4&â>vtdÄⁿ4& 6é& 6Ç╕°
  80. P╕r ╣ùQPÜαα â─ ╕P╕PÄ■4& 6& 6Ü`┘â─╕r ╣ùQPÄ■4& 6& 6ÜZ┘â─ÜT┘Ä≡4&╟T  Ä∞4&╟hΘùÉ╕÷╣ùQP╕PÜ╝α    â─Äⁿ4& é─^Σ&â?tpÄ╓4&â>vtdÄⁿ4& 6é& 6Ç╕■
  81. P╕r ╣ùQPÜαα â─ ╕P╕PÄ■4& 6& 6Ü`┘â─╕r ╣ùQPÄ■4& 6& 6ÜZ┘â─ÜT┘3└PÜ╝┘â─Ä5&╞ª    Ä5&íbÄε4&údÄ5&ífÄ∞4&úh╕P v╪ v╓╕PÉΦfâ─3└P v╪ v╓╕PÉΦQâ─^_ïσ]╦WV╕ùÄ╪+└úú■úⁿú·ú°ú÷╣ùÄ┴&úε╣ùÄ┴&úr╣ùÄ┴&ú╓ ╣ùÄ┴&ú6╣ùÄ┴&ú"╣╘Ä┴&úµ╣ùÄ┴&ú╝
  82. ╣ùÄ┴&ú≥╕ùÄ└╕ù┐µ╛Φ Ä╪╣≤Ñ^_╦ÉUï∞â∞V╕XPÜ╒    â─ëF·ëVⁿRPÜ`╒    â─ └uuïv2└P░PÜ╢]    â─Ä÷4&àÜtYܵα     └uP2└P░PÜ╢]    â─÷─ tÄFï▐F&è
  83. └t*<t&PÜ÷]    â─δÉÜ─α     vⁿ v·Ü`╒    â─ └tùδÉ╕δ'É2└P░PÜ╢]    â─Ü:]    ╕
  84. PÜÄα    â─Ü°]    3└^ïσ]╦ÉUï∞ü∞(WV╗bÄ5ë₧▐■îåα■&â?uΘ] v
  85.  vÜα┘rsions for CLX, Express
  86. Windows, NCW, CLUE, CLM/GINA, Common Windows, LispView, Winterp, CLIM
  87. and YY. Several implementations have a mouse sensitivity feature and
  88. others have implementation-specific features.  A copy has been made
  89. available from the Lisp Utilities Repository. For further information,
  90. contact Masayuki Ida <ida@csrl.aoyama.ac.jp>.
  91.  
  92. ----------------------------------------------------------------
  93. ;;; *EOF*
  94.  
  95. ╪4&─X& ╖>& ╖<Ü┌α    â─ΘU■ïF■PVܪα â─ìFΓPìåb PÜh
  96. α â─ìåb PìåΓ■PÜ<α â─ └uX9F t!ìåb PÄ╪4&─X& ╖B& ╖@Ü┌α    â─íFï╚╤α┴╤α╤αεDëFⁿî^■ FïFïV
  97. ï≡Ä┌─~ⁿ╣≤ÑΘ≤Éâ~ t+ v
  98.  vÜZ α    â─RPÄ╪4&─X& ╖F& ╖DÜ┌α    â─ìåΓ■PÜéBα â─Θâ²â>FuΘy²3÷96F~%┐εD╕ P v
  99.  vWÜdα â─
  100. └t
  101. â╟ F;6F|▐96F/â~ uΘ=² v
  102.  vÜZ α    â─RPÄ╪4&─X& ╖J& ╖HΘ╖■ï~ÄF
  103. &â}t=& u& u v■ vⁿ╕i Pìåb PÜαα â─ÄF
  104. & u╕y PìFΓPÜαα â─
  105. δ2É v■ vⁿìåb PÜ╝
  106. α â─ÄF
  107. & u& u╕é PìFΓPÜαα â─ ï▐╤πü├Fë₧╪■â?tÄ5& 6┌& 6╪ìåb PÜ╝
  108. α â─ìFΓPìåb PÜh
  109. α â─ï₧╪■╟ï■F;6F}rï╞╤αFëF·ï╟╤αFëF°ï╞╤α╞╤α╤αεDëF■ï╟╤α╟╤α╤αεDëFⁿíF+╞ëF÷ë~≥ëv⌠ïF■ï^ⁿï√ï≡╣≤Ñï^·âF·ïï^°âF°ëâFⁿ âF■  N÷u╨ Fìåb PÜéBα â─ └u$9F uΘ╗√ìåb PÄ╪4&─X& ╖N& ╖LΘ?²â~ uΘ├ìåb PÄ╪4&─X& ╖R& ╖PÜ┌α    â─ΘƒÉÄ5&í╪&ï┌ëå┌■ëû▄■ ╨uΘé─₧▐■& 7 ╢▄■P╕ Pìåb PÜαα â─╕ Pìåb PÜ¿α â─RPܪα δDÉÄ5&í╪&ï┌ëå┌■ëû▄■ ╨t-─₧▐■& 7 ╢▄■P╕ Pìåb PÜαα â─ìåb PÜéBα â─3└^_ïσ]╦Uï∞â∞(╗$Ä
  110. 5ë^▐îFα&â?uΘ≡╗╪Ä5ë^┌îF▄&ïG& uΘ╫íÆ É t 6Æ  6É Ü`╒    â─ └uΘ╖╕dPÜ╒    â─úÉ ëÆ Ä5&íbëF╪ └tP─^┌& w& 7╕ö P╕NFPÜαα â─δ─^┌& w& 7╕ó P╕NFPÜαα â─ ìFΓP╕NFPÜXXα â─ └uD╕NFPÜéBα â──^▐& 7Ä╪4&─X& ╖₧& ╖£Ü┌α    â─Ä 5&╟z─^▐& 7ܵ┘ïσ]╦3└Ä╪9&úRúzLúxLÄ┌9&9ptIÄ▄9&9vt>╕PPÄ▐9& 6û& 6öÜ`┘â─╕╠#PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δÉ╕ε#PÜ|α    â─Ü°]    Äα9&á£$■P░PÜ╢]    â─╕PΦ½â─ └u ÄΓ9&─X& ╖N& ╖LÜ┌α    â─3└δnÉÄ┌9&â>ptJÄ▄9&â>vt>╕PPÄ▐9& 6û& 6öÜ`┘â─╕∙#PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δÉ╕$PÜ|α    â─╕PΦΣâ─╦V3└Ä╪9&úRúzLúxLÄ┌9&9ptHÄ▄9&9vt=╕PPÄ▐9& 6û& 6öÜ`┘â─╕&$PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δ╕H$PÜ|α    â─Ü:]    Äα9&á£$■P░PÜ╢]    â─3└PΦNâ─ └tzÄ┌9&â>ptKÄ▄9&â>vt?╕PPÄ▐9& 6û& 6öÜ`┘â─╕S$PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δÉÉ╕u$PÜ|α    â─3└PΦâ─ï≡ ÷uÜ4┘ï╞^╦ÉUï∞â∞WVÄΣ9&í╕
  111. &ï║
  112. ï°ëV≡ï╚ï┌Ç─ëF≥ëV⌠╕Ç$PSQÜ╝
  113. α â─╕ç$P v≡WΦöâ─╕÷╣ùQPΦrâ─ĵ9&íµï╚╤α┴╤α╤α≡╣ùQPÜZ α    â─RP╕ë$PÜ┌α    â─ĵ9&íµï╚╤α┴╤α╤α≡╣ùQPÜZ α    â─RP v≡WΦ'â─3└ëF■ëF·ÄΦ9&9Σ~Që~ε╛≡ï°Äµ9&9>µt,╕ù$P v≡ vεΦ≡â─╕ùPVÜZ α    â─RP v≡ vεΦ╒â─â╞ GÄΦ9&9>Σ║ï~ε╕Ö$P v≡WΦ┤â─╗8ÄΩ9ë^µîFΦ+└&ëG&ë9Ft╕÷╣ùQPÜ:┘â─ └'â~uZízLï╚╤α┴╤α╤α0╣ùQPÜ:┘â─ └~9─^µ&ïG& t-╕P& w& 7 v⌠ v≥Ü< α â─
  114. ─^≥&╞GS v≡WΦ%â─╕£$P v≡WΦâ─â~t)Ä∞9&â>^uÄε9&â>`t╕ó$δ6╕º$δ1É╕¼$δ+ÉÄ≡9&÷▓t╕▒$P v≡WΦ╠â─Ä≡9&÷│Çu╕╢$P v≡WΦ▒â─╕╗$P v≡WΦóâ─Ä≥9&â>Σ └≈╪¿t+╕ùÄ└&ÇΣ â~u:&íΣ ╣ùÄ┘#εëFΣ¿t╛δ&É╕ùÄ└δ┘É÷FΣt╛δÉïv■¿t
  115. ╛δ&ï6Σ â■└≈╪¿t╕╛$δ`Éâ~t6≈╞t╕├$P v≡WΦâ─≈╞t╕╚$P v≡WΦ√â─ï╞¿t3╕═$δ"É≈╞t╕╥$δÉ≈╞t╕╫$δ
  116. Éï╞¿t╕▄$P v≡WΦ┬â─Ä≡9&÷│Çtâ~tÄ⌠9&â>zu╕ß$P v≡WΦòâ─╕µ$P v≡WΦåâ─╕ε$P v≡WΦwâ─╕≤$P v≡WΦhâ─Ä÷9&â>j uÄΓ9&─X&ïç╝&ïù╛δ╕⌡$î┌ëFⁿëV■RPÄ°9& 6⌠Ä·9& 6≥╕÷$P╕P╕%P v⌠ v≥Üαα â─ v⌠ v≥ v≡WΦⁿâ─╕%P v≡WΦφâ─Äⁿ9& 6║& 6╕Ä■9& 6╛& 6╝Ä:& 6╢& 6┤╕#%P v⌠ v≥Üαα â─ v⌠ v≥ v≡WΦBâ─Ä:& 6╞& 6─Ä:& 6╩& 6╚Ä:& 6┬& 6└╕0%P v⌠ v≥Üαα â─ v⌠ v≥ v≡WΦ⌡â─╕=%P v≡WΦDâ─Ä:&í&&ï(Ç─0ü╥T|RP╕E%P v⌠ v≥Üαα â─  v⌠ v≥ v≡WΦ â─ v≡WÜ" α â─ï≡Äα9&á£$■P░PÜ╢]    â─╟FΩ╕pPÜ╒    â─ëF÷ëV°ëv∞ë~εïv≥ v∞╕O%P v⌠VÜαα â─
  117.  v⌠VÜ" α â─P v⌠VÜj!α    â─ëF■╕P╣Q╣\%QÜJ]    â─╕P v⌠VÜ" α â─P v⌠VÜJ]    â─╕P v∞ v≡ vεÜJ]    â─╟F·â~∞~;ï~■ïv·Ä^≡ï^εèÿï╪ï╟è─*Σ3╪╤π╕QÄ└ï╟èα*└&3çZï°F;v∞|╓ë~■ïv≥Ü°]     v■╕_%P v⌠VÜαα â─
  118. ╕P v⌠VÜ" α â─P v⌠VÜJ]    â─ïFΩ FΩ=vΘτ╕╨PÜ╒    â─ëFⁿëV■ v° v÷Ü`╒    â─ └tΘ 2└P░PÜ╢]    â─Ä
  119. :&àÜuΘ v■ vⁿÜ`╒    â─ └tΘº■Ü|]    ÷─uܵα     └tΘ▒Ü─α    δ¥3└PÜ(α    â─ï°-*uï╕i%P v⌠VÜ╝
  120. α â─ v⌠VΦ2â─ └uΘi  6`# 6^# v⌠VÜ╠Fα â─ └uΘN  6p# 6n# v⌠ v≥Ü╠Fα â─ └tΘ■╕Θ╩ï~εÄΓ9&─X& ╖Ω& ╖Φ╕e%PïF≡PWï≡Üαα â─ ï╞ï≈ëF■ëvⁿΘàÉ2└P░PÜ╢]    â─ÄΓ9&─X&ïçá&ïùóï°ëV■δ\2└P░PÜ╢]    â─Ä
  121. :&àÜuÄΓ9&─X&ïçÇ&ïùéδ╦ÄΓ9&─X& ╖Ω& ╖Φ╕k%PïF⌠PVï°Üαα â─ ï╟ï■ëF■ v■WÜ┌α    â─3└^_ïσ]├Uï∞ü∞ WV╟Få╟åP ╞å{ ╟å8 o%î₧: ╟å< w%î₧> ╟å@ ~%î₧B ╟åD à%î₧F ╟åH ï%î₧J +└ëåN ëåL ÄΣ9&í╕
  122. &ï║
  123. ëåv ëûx Ç─ï≡ëû~ Ç─ï°ëûp Ç─ëår ëût ╗8ÄΩ9ë₧■îå
  124. ■+└&ëG&ëë╛n Ä┌9&9ptHÄ▄9&9vt=╕PPÄ▐9& 6û& 6öÜ`┘â─╕æ%PÄ▐9& 6û& 6öÜZ┘â─ÜT┘δ╕╡%PÜ|α    â─╗TÄ :ë₧■îå■&╟╕╨PÜ╒    â─ëF∞ëVε╕pPÜ╒    â─ëF≡ëV≥+└ëF÷ëF⌠èå{ ■å{ <vΘvâ~uZ 6`# 6^#╕└%P ╢~ VÜαα â─ ╕P ╢~ VÜ" α â─P ╢~ VÜJ]    ial Volume on Knowledge Representation, Artificial Intelligence
  125.    49(1-3), January, 1991. 
  126.  
  127.    Brachman, Ronald J. and Levesque, Hector J., editors,
  128.    "Readings in Knowledge Representation", Morgan Kaufmann
  129.    Publishers, 1985. 
  130.  
  131. Papers:
  132.  
  133.    Ronald J. Brachman and James G. Schmolze, "An overview of the
  134.    KL-ONE knowledge representation system", Cognitive Science,
  135.    9:171-216, 1985.
  136.  
  137.    Ronald J. Brachman, Richard E. Fikes, and Hector J. Levesque,
  138.    "KRYPTON: A functional approach to knowledge representation", 
  139.    IEEE Computer, 16:67-73, 1983.
  140.  
  141.    Ronald J. Brachman, "On the epistemological status of semantic
  142.    networks", in N.V. Findler, editor, Associative Networks, pp. 318-353.
  143.    New York: Academic Press, 1979.
  144.  
  145.    Allen Newell, "The Knowledge Level", Artificial Intelligence,
  146.    18:87-127, 1982. 
  147.  
  148.    Allen Newell and Herb Simon, "Computer Science as Empirical
  149.    Enquiry: Symbols and Search", Communications of the ACM,
  150.    19(3):113-126, 1976.
  151.  
  152.    Penny Nii, "Blackboard Systems", AI Magazine 7(3), 1986.
  153.  
  154.    Ronald J. Brachman, " ``I lied about the trees'', or, defaults and
  155.    definitions in knowledge representation", AI Magazine 6(3):80-93, 1985.
  156.  
  157.    W.A. Woods, "What's in a link: Foundations for semantic networks", In
  158.    D.G.  Bobrow & A. Collins (Eds.), "Representation and Understanding",
  159.    Academic Press, New York, 1975.  Reprinted in "Readings in Cognitive
  160.    Science", Collins & Smith (eds.), section 2.2.
  161.  
  162. ----------------------------------------------------------------
  163. Subject: [4] Logic
  164.  
  165. Logic in AI:
  166.  
  167.    Genesereth, M.R. and Nilsson, N.J., "Logical Foundations of Artificial
  168.    Intelligence", Morgan Kaufmann Publishers, Los Altos, CA, 1987.
  169.  
  170. Constraint Logic Programming:
  171.  
  172.    Pascal Van Hentenryck, "Constraint Satisfaction in Logic Programming",
  173.    MIT Press, Cambridge, MA, 1989, ISBN 0-262-08181-4.
  174.  
  175. ----------------------------------------------------------------
  176. Subject: [6]  Natural Language Processing (NLP)
  177.  
  178. General:
  179.  
  180.    Gazdar, G. and Mellish, C., "Natural Language Processing in Lisp:
  181.    An Introduction to Computational Linguistics", Addison-Wesley,
  182.    Reading, Massachusetts, 1989. (There are three different editions
  183.    of the book, one for Lisp, one for Prolog, and one for Pop-11.)
  184.  
  185.    Grosz, Barbara J., Sparck-Jones, Karen, and Webber, Bonnie L.,
  186.    "Readings in Natural Language Processing", Morgan Kaufmann
  187.    Publishers, Los Altos, CA, 1986, 664 pages. ISBN 0-934613-11-7, $44.95.
  188.  
  189.    Robert C. Berwick, "Computational Linguistics", MIT Press, 
  190.    Cambridge, MA, 1989, ISBN 0262-02266-4.
  191.  
  192.    Brady, Michael, and Berwick, Robert C., "Computational Models
  193.    of Discourse", MIT Press, Cambridge, MA, 1983.
  194.  
  195.    Klaus K. Obermeier, "Natural Language Processing Technologies
  196.    in Artificial Intelligence: The Science and Industry Perspective",
  197.    John Wiley & Sons, New York, 1989.
  198.  
  199.    Allen, James F., "Natural Language Understanding", The
  200.    Benjamin/Cummings Publishing Company, Menlo Park, California,
  201.    (Addison-Wesley Publishing Company, Reading, Massachusetts),
  202.    1988, 550 pages, ISBN 0-8053-0330-8. [A new edition is forthcoming.]
  203.  
  204.    Terry Winograd, "Language as a Cognitive Process", Addison-Wesley,
  205.    Reading, MA, 1983.
  206.  
  207.    Schank, R. and Abelson, R.  "Scripts, Plans, Goals, and Understandings,"
  208.    Lawrence Erlbaum Associates, Hillsdale, New Jersey, 1977.
  209.  
  210. Terminology:
  211.  
  212.    David Crystal, "A Dictionary of Linguistics and Phonetics", 3rd Edition,
  213.    Basil Blackwell Publishers, New York, 1991.
  214.  
  215. Parsing:
  216.  
  217.    Tomita, M. (Editor), "Current Issues in Parsing Technology", 
  218.    Kluwer Academic Publishers, Norwell, MA, 1991.
  219.  
  220.    Tomita, M., "An Efficient Context-Free Parsing Algorithm",
  221.    Computational Linguistics 13:31-46, 1987.
  222.  
  223.    Marcus, M.  "A Theory of Syntactic Recognition for Natural Language,"
  224.    The MIT Press, Cambridge, MA, 1980.
  225.  
  226.    Pereira, F. and Sheiber, S.  "Prolog and Natural-Language Analysis,"
  227.    Center for the Study of Language and Information, 1987.
  228.  
  229. Probabilistic Parsing:
  230.  
  231.    Wright, J., "LR Parsing of Probabilistic Grammars with Input
  232.    Uncertainty for Speech Recognition", Computer Speech and Language
  233.    4:297-323, 1990. 
  234.  
  235.    Ted Briscoe and John Carroll, "Generalised Probabilistic LR Parsing of
  236.    Natural Language (Corpora) with Unification-based Grammars",
  237.    University of Cambridge Computer Laboratory, Technical Report Number
  238.    224, 1991.
  239.  
  240.    Zhi Biao Wu, Loke Soo Hsu, and Chew Lim Tan, "A Survey of Statistical
  241.    Approaches to Natural Language Processing", Technical report TRA4/92,
  242.    Department of Information Systems and Computer Science, National
  243.    University of Singapore, 1992
  244.  
  245. Natural Language Understanding:
  246.  
  247.    E. Charniak, "Passing Markers: A Theory of Contextual Influence in
  248.    Language Comprehension", Cognitive Science, 7:171-190, 1983.
  249.  
  250.    Bertram C. Bruce, "Case systems for natural language", Artificial
  251.    Intelligence 6:327-360, 1975.
  252.  
  253.    Yorick Wilks, "A Preferential, Pattern-Seeking, Semantics For
  254.    Natural Language Inference", Artificial Intelligence, 6:53-74, 1975.
  255.  
  256.    Dyer, M.  "In-Depth Understanding:  A Computer Model of Integrated
  257.    Processing for Narrative Comprehension,"  MIT Press, Cambridge, MA, 1983.
  258.  
  259.    Aravind Joshi, Bonnie Webber and Ivan Sag, "Elements of Discourse
  260.    Understanding", Cambridge University Press, New York, 1981.
  261.  
  262.    Grosz, Barbara J. and Sidner, Candace L., "Attention, Intention, and
  263.    the Structure of Discourse", Computational Linguistics 12(3):175-204, 1986.
  264.  
  265.    Cohen, P. R., Morgan, J. and Pollack, M., editors, "Intentions in
  266.    Communication", MIT Press, Cambridge, MA, 1990.
  267.  
  268. Natural Language Interfaces:
  269.  
  270.    Raymond C. Perrault and Barbara J. Grosz, "Natural Language
  271.    Interfaces", Annual Review of Computer Science, volume 1, J.F. Traub,
  272.    editor, pages 435-452, Annual Reviews Inc., Palo Alto, CA, 1986.
  273.  
  274. Natural Language Generation:
  275.  
  276.    McKeown, Kathleen R. and Swartout, William R., "Language
  277.    Generation and Explanation", in Zock, M. and Sabah, G.,
  278.    editors, Advances in Natural Language Generation, Volume 1, Pages
  279.    1-51, Ablex Publishing Company, Norwood, NJ, 1988. (Overview of
  280.    the state of the art in natural language generation.)
  281.  
  282.    There are several books published as a result of the international
  283.    workshops on natural language generation.
  284.  
  285. Speech:
  286.  
  287.    John Allen, Sharon Hunnicut and Dennis H. Klatt, "From Text to Speech:
  288.    The MITalk System", Cambridge University Press, 1987. [Synthesis,
  289.    precursor of DECtalk.]
  290.  
  291.    Frank Fallside and William A. Woods (editors), "Computer Speech Processing"
  292.    Prentice Hall, Englewood Cliffs, NJ, 1985. 
  293.  
  294.    X. D. Huang, Y. Ariki and M. A. Jack, "Hidden Markov Models for Speech
  295.    Recognition", Edinburgh University Press, 1990. [Analysis]
  296.  
  297.    A. Nejat Ince (editor), "Digital Speech Processing: Speech Coding,
  298.    Synthesis, and Recognition", Kluwer Academic Publishers, Boston,
  299.    1992. [Analysis and Synthesis]
  300.  
  301.    Dennis H. Klatt, "Review of Text-To-Speech Conversion for English",
  302.    Journal of the Acoustic Society of America (JASA), 82(3):737-793,
  303.    September 1987. [Synthesis. Seminal article; biased toward formant
  304.    synthesis.] 
  305.  
  306.    Kai-Fu Lee, "Automatic Speech Recognition: The Development of the
  307.    SPHINX System", Kluwer Academic Publishers, Boston, MA, 1989. [Analysis]
  308.  
  309.    S. E. Levinson, L. R. Rabiner and M. M. Sondhi, "An Introduction to the
  310.    Application of the Theory of Probabilistic Functions of a Markov Process
  311.    to Automatic Speech Recognition" in Bell Syst. Tech. Journal
  312.    62(4):1035-1074, April 1983.  [Analysis]
  313.  
  314.    R. P. Lippmann, "Review of Neural Networks for Speech Recognition", 
  315.    Neural Computation, 1(1):1-38, 1989. [Analysis]
  316.  
  317.    Douglas O'Shaughnessy, "Speech Communication: Human and Machine"
  318.    Addison-Wesley, MA, 1987. [Analysis and Synthesis]
  319.  
  320.    Lawrence R. Rabiner and Ronald W. Schafer, "Digital Processing of
  321.    Speech Signals", Prentice Hall, Englewood Cliffs, NJ, 1978.
  322.    [Analysis and Synthesis]
  323.  
  324.    Lawrence R. Rabiner and Biing-Hwang Juang, "Fundamentals of Speech
  325.    Recognition", Prentice Hall, Englewood Cliffs, NJ, 1993.
  326.    ISBN 0-13-015157-2. [Analysis]
  327.  
  328.    Ronald W. Schafer and John D. Markel (editors), "Speech Analysis",
  329.    IEEE Press, New York, 1979. [Analysis]
  330.  
  331.    Alex Waibel and Kai-Fu Lee (editors), "Readings in Speech Recognition"
  332.    Morgan Kaufmann Publishers, San Mateo, CA, 1990, 680 pages. 
  333.    ISBN 1-55860-124-4, $49.95. [Analysis]
  334.  
  335.    Alex Waibel, "Prosody and Speech Recognition", Morgan Kaufmann
  336.    Publishers, San Mateo, CA, 1988. [Analysis]
  337.  
  338. Machine Translation:
  339.  
  340.    W. John Hutchins and Harold L. Somers, "An Introduction to Machine
  341.    Translation", Academic Press, San Diego, 1992. 362 pages, ISBN
  342.    0-123-62830-X.
  343.  
  344.    Bonnie J. Dorr, "Machine Translation: A View from the Lexicon" MIT
  345.    Press, Cambridge, MA 1993. 432 pages, ISBN 0-262-04138-3.
  346.  
  347.    Kenneth Goodman and Sergei Nirenburg., editors, "The KBMT Project: A
  348.    Case Study in Knowledge-Based Machine Translation", Morgan Kaufmann
  349.    Publishers, San Mateo, CA, 1991. 331 pages, ISBN 1-558-60129-5, $34.95.
  350.  
  351.    The journal "Machine Translation" is the principle forum for
  352.    current research.
  353.  
  354.    A review of MT systems on the market appeared in BYTE 18(1), January 1993.
  355.  
  356. Reversible Grammars:
  357.  
  358.    Gertjan van Noord, "Reversible Unification Based Machine
  359.    Translation", COLING-90, pages 299-304, 1990.
  360.  
  361.    Tomek Strzalkowski, "Reversible logic grammars for natural language
  362.    parsing and generation", Computational Intelligence 6(3):145-171,
  363.    August 1990.
  364.  
  365.    Tomek Strzalkowski, editor, "Reversible Grammar in Natural Language
  366.    Processing", Kluwer Academic Publishers, 1993.
  367.  
  368.    Proceedings of the ACL Workshop on Reversible Grammar in Natural
  369.    Language Processing, UC Berkeley, 1991. (See especially Remi
  370.    Zajac's paper.)
  371.  
  372. Linguistics:
  373.  
  374.    Vivian J. Cook, "Chomsky's Universal Grammar: An Introduction", Basil
  375.    Blackwell Publisher, New York, 1988, 201 pages.
  376.  
  377.    Victoria Fromkin and Robert Rodman, "An Introduction to Language",
  378.    Holt, Rinehart, and Winston, New York, 4th edition, 1988, 474 pages.
  379.  
  380.    Ralph Grishman, "Computational Linguistics: An Introduction",
  381.    Cambridge University Press, New York, 1986, 193 pages.
  382.  
  383.    Liliane M.V. Haegeman, "Introduction to Government and Binding
  384.    Theory", Basil Blackwell Publishers, Oxford, 1991, 618 pages.
  385.  
  386.    Michael A. K. Halliday, "An Introduction to Functional Grammar",
  387.    Edward Arnold, London, 1985.
  388.  
  389.    Geoffrey C. Horrocks, "Generative Grammar", Longman, London, 1987,
  390.    339 pages. 
  391.  
  392.    Andrew Radford, "Transformational Grammar: A First Course", Cambridge
  393.    University Press, New York, 1988, 625 pages.
  394.  
  395. ----------------------------------------------------------------
  396. Subject: [5]  Planning
  397.  
  398. Intros, Overviews, Paper Collections:
  399.  
  400.    James Allen, James Hendler and Austin Tate, editors,
  401.    "Readings in Planning", Morgan-Kaufmann Publishers, 1990, 754 pages.
  402.    ISBN 1-55860-130-9, $49.95.
  403.  
  404.    James Hendler, Austin Tate and Mark Drummond, "AI Planning: 
  405.    Systems and Techniques", AI Magazine, May, 1990. (Review article.)
  406.  
  407.    Georgeff, M. P., "Planning," in Annual Review of Computer Science,
  408.    Annual Reviews Inc., pages 359-400, 1987.
  409.  
  410.    Drew McDermott, "Robot Planning", AI Magazine 13:2, Summer
  411.    1992, pp. 55-79. 
  412.  
  413.    William R. Swartout, "DARPA Workshop on Planning", AI Magazine,
  414.    9(2):115-131, Summer, 1988. (Survey of current work and issues in
  415.    planning.) 
  416.  
  417.    [See also Waldinger's "Achieving several goals simultaneously", in
  418.     "Readings in Artificial Intelligence".]
  419.  
  420. STRIPS:
  421.  
  422.    Fikes, R.E. and Nilsson, N.J., "STRIPS: A new approach to the
  423.    application of theorem proving to problem solving", Artificial
  424.    Intelligence 2:189-208, 1971. 
  425.  
  426. ABSTRIPS:
  427.  
  428.    Sacerdoti, E. D., "Planning in a Hierarchy of Abstraction Spaces,"
  429.    Artificial Intelligence, 5:115-135, 1974.
  430.  
  431. Conjunctive Goals:
  432.  
  433.    Chapman, D., "Planning for Conjunctive Goals", Artificial Intelligence
  434.    32:333-377, 1987.
  435.  
  436. NOAH:
  437.  
  438.    Sacerdoti, E., "A Structure for Plans and Behavior", Artificial
  439.    Intelligence, pages 1-65, American Elsevier, New York, 1977.
  440.  
  441.    Sacerdoti, E. D., "The Nonlinear Nature of Plans," Proc. of the Fourth
  442.    Joint Conf. on Artificial Intelligence, Morgan Kaufmann, 1975, 206-214.
  443.  
  444. Reactive Planning:
  445.  
  446.    Agre P.E. and Chapman, D., "Pengi: An Implementation of a Theory of
  447.    Activity", in Proceedings of the Sixth National Conference on
  448.    Aritificial Intelligence, Seattle, WA, July 1987.
  449.  
  450.    Georgeoff, M.P. and Lansky, A.L., "Reactive Reasoning and
  451.    Planning", in Proceedings of the Sixth National Conference on
  452.    Artificial Intelligence, Seattle, WA, pages 677-682, July 1987.
  453.  
  454.    Simmons, R.G., "A theory of debugging plans and interpretations", in
  455.    Proceedings of the Seventh National Conference on Artificial
  456.    Intelligence (AAAI-88), Morgan Kaufmann Publishers, Palo Alto,
  457.    CA, pages 94-99, 1988. 
  458.  
  459. Case-based Planning:
  460.  
  461.    Hammond, K., "Case-based Planning: Viewing Planning as a Memory Task",
  462.    Academic Press, Cambridge, MA, 1989.
  463.  
  464. Miscellaneous:
  465.  
  466.    Thomas Dean and Michael Wellman, "Planning and Control", Morgan
  467.    Kaufmann Publishers, 1991, 486 pages, ISBN 1-55860-209-7, $49.95.
  468.  
  469.    Stefik, M.J., "Planning with Constraints", Artificial Intelligence
  470.    15:111-140 and 16:141-170, 1981.
  471.  
  472.    Wilkins, D.E., "Domain-Independent Planning: Representation and Plan
  473.    Generation", Artificial Intelligence 22:269-301, 1984.
  474.  
  475.    R. Wilensky, "Meta-Planning: Representing and Using Knowledge About
  476.    Planning in Problem Solving and Natural Language Understanding",
  477.    Cognitive Science 5:197-233, 1981.  Reprinted in Readings in Cognitive
  478.    Science, Collins & Smith (eds.), section 5.6.
  479.  
  480.    Thomas Dean and R. James Firby and David Miller, "Hierarchical
  481.    Planning Involving Deadlines, Travel Time, and Resources", Computing
  482.    Intelligence 4:381-398, 1988.
  483.  
  484.    R.S. Aylett and A.N. Fish and S.R. Bartrum, "Task planning in an
  485.    uncertain world", International Conference on Control 2:801-806, 1991.
  486.  
  487. ----------------------------------------------------------------
  488. Subject: [7]  Connectionism and Neural Nets
  489.  
  490. Introductions and Overviews:
  491.  
  492.    Geoffrey E. Hinton, "Connectionist Learning Procedures",
  493.    Artificial Intelligence 40(1-3):185-234, 1989.  Reprinted in
  494.    J. Carbonell, editor, "Machine Learning: Paradigms and Methods",
  495.    MIT Press, 1990.  Also appears as Technical Report CMU-CS-87-115
  496.    (version 2), Carnegie Mellon University, Pittsburgh, PA, December 1987.
  497.  
  498.    Kevin Knight, "A gentle introduction to subsymbolic
  499.    computation: Connectionism for the AI researcher". Technical Report
  500.    CMU-CS-89-150, Carnegie Mellon University, School of Computer Science,
  501.    Pittsburgh, PA, May 30, 1989.
  502.  
  503.    Scott Fahlman and Geoffrey Hinton, "Connectionist Architectures for
  504.    Artificial Intelligence", IEEE Computer 20(1):100-109, January 1987.
  505.  
  506.    Hertz, J., Krogh, A., and Palmer, R.G., "Introduction to the Theory of
  507.    Neural Computation", Addison-Wesley, 1991. 327 pages. ISBN 0-201-51560-1.
  508.  
  509.    Hecht-Nielsen, Robert, "NeurocomputinOverviews:
  510.  
  511.    Hector J. Levesque, "Knowledge Representation and Reasoning",
  512.    Annual Review of Computer Science 1:255-287, 1986.
  513.  
  514. Paper Collections:
  515.  
  516.    Nick Cercone and Gordon McCalla, editors, "The Knowledge Frontier:
  517.    Essays in the Representation of Knowledge", Springer-Verlag, New York,
  518.    1987. 512 pages, $40.00, ISBN 0-38796-557-2. (This is the much
  519.    revised version of a special issue of COMPUTER on KR.)
  520.  
  521.    Brachman, Ronald J., Levesque, Hector J. and Reiter, Ray, editors, 
  522.    Spec.
  523.  
  524. Shorter Intros:
  525.  
  526.    Geoffrey E. Hinton, "How neural networks learn from experience",
  527.    Scientific American 267(3):144-151, 1992.
  528.  
  529.    Kevin Knight, "Connectionist ideas and algorithms", CACM 33:59-74, 1990.
  530.  
  531. Surveys:
  532.  
  533.    Ottmar Lutzy and Andreas Dengel <dengel@dfki.uni-kl.de>, "A Comparison
  534.    of Neural Net Simulators" IEEE Expert 8(4), August 1993.
  535.     [Comparison of free neural network simulators on a
  536.      backpropagation OCR task.] 
  537.  
  538. Paper Collections:
  539.  
  540.    Rumelhart, D.E, and McClelland, J.L., editors, "Parallel Distributed
  541.    Processing: Explorations in the Microstructure of Cognition" (Vol. 1:
  542.    Foundations; Vol. 2: Psychological and Biological Models),  Cambridge,
  543.    MA: MIT Press, 1986. 
  544.  
  545.    Waltz, D., and Feldman, J.A., "Connectionist Models and their Implications:
  546.    Readings from _Cognitive Science_", Ablex, 1988.
  547.  
  548.    Mark Watson, "Common Lisp Modules -- Artificial Intelligence in the
  549.    Era of Neural Networks and Chaos Theory", Springer-Verlag, 1991.
  550.    Includes code written in Macintosh Common Lisp and uses the Mac
  551.    graphical interface (the modules are portable to other Common Lisp
  552.    implementations, but without the graphics).
  553.  
  554.    Anderson, J.A., and Rosenfeld, E., editors, "Neurocomputing: Foundations
  555.    of Research", Cambridge MA: MIT Press, 1988.  Also "Neurocomputing
  556.    Vol. 2: Directions for Research", Cambridge MA: MIT Press, 1991.
  557.  
  558.    Hinton, G.E., and Anderson, J.A., editors, "Parallel Models of
  559.    Associative Memory" (updated edition), Lawrence Erlbaum Associates, 1989.
  560.  
  561.    Hinton, G.E., editor, "Connectionist Symbol Processing", MIT Press, 1990.
  562.    [Was a special issue of Artificial Intelligence, vol. 46, nos. 1-2.]
  563.  
  564.    Touretzky, D.S., editor, "Neural Information Processing Systems", volumes
  565.    1-4 (1988-1991), Morgan Kaufmann.  [Proceedings from the premier
  566.    conference on neural networks.]
  567.  
  568. Connectionist Language Processing:
  569.  
  570.    See the special issue of _Connection Science_, Volume 2 Numbers 1-2, 1990.
  571.    Also the Hinton collection "Connectionist Symbol Processing", above.
  572.  
  573. Connectionist Cognitive Science:
  574.  
  575.    Barnden, J.A., and Pollack, J.B., "Advances in Connectionist and Neural
  576.    Computation Theory Vol. 1: High-Level Connectionist Models", Ablex, 1991.
  577.  
  578.    Quinlan, P., "Connectionism and Psychology: A Psychological Perspective on
  579.    New Connectionist Research", University of Chicago Press, 1991.
  580.  
  581.    Waltz, D., and Feldman, J.A., editors, "Connectionist Models and their
  582.    Implications: Readings from _Cognitive Science_", Ablex, 1988.
  583.  
  584.    McCloskey, M., "Networks and theories: The place of connectionism in
  585.    cognitive science", Psychological Science 2:387-395, 1991.
  586.  
  587. Philosophical Foundations:
  588.  
  589.    Pinker, S., and Mehler, J, editors, "Connections and Symbols", MIT Press,
  590.    1988.  [Was Cognition special issue Volume 28, 1988]
  591.  
  592.    Clark, A., "Microcognition: Philosophy, Cognitive Science, and Parallel
  593.    Distributed Processing", MIT Press, 1989.
  594.  
  595. Simulated Annealing:
  596.  
  597.    Emile H.L. Aarts and Jan Korst, "Simulated Annealing and Boltzmann
  598.    Machines" John Wiley & Sons, New York, 1989. 272 pages. $52.00. 
  599.    ISBN 0-471921-467. 
  600.  
  601. ----------------------------------------------------------------
  602. Subject: [8]  Machine Learning
  603.  
  604. General:
  605.  
  606.    J. G. Carbonell, editor, "Machine Learning: Paradigms and Methods", MIT
  607.    Press, Cambridge, MA 1990.
  608.  
  609.    Jude W. Shavlik and Thomas D. Dietterich, editors, "Readings in
  610.    Machine Learning", Morgan Kaufmann Publishers, 1990, 853 pages.
  611.    ISBN 1-55860-143-0, $49.95.
  612.  
  613.    Tom Mitchell, Jaime G. Carbonell, and Ryszard S. Michalski,
  614.    "Machine Learning: A guide to current research", Kluwer Academic
  615.    Publishers, Boston, 1986. [A bit out of date.]
  616.  
  617.    [See also the article on Machine Learning from the Encyclopedia of
  618.     Artificial Intelligence, pages 464-485.]
  619.  
  620. Decision Trees:
  621.  
  622.    Quinlan, J. Ross, "Induction of Decision Trees", Machine Learning
  623.    1:81-106, 1986.  
  624.  
  625.    Quinlan, J. Ross, "C4.5: Programs for Machine Learning", Morgan Kaufmann
  626.    Publishers, 1992. ISBN 1-55860-238-0. $44.95 US, $49.45 International.
  627.    For a slight additional charge ($25), the book comes with software (ISBN
  628.    1-55860-240-2). For software only, (ISBN 1-55860-239-9) $34.95 US,
  629.    $38.45 International.
  630.  
  631. Probabilistic Clustering:
  632.  
  633.    Fisher, D.H., "Knowledge Acquisition Via Incremental Conceptual
  634.    Clustering", Machine Learning 2:139-172, 1987. (Probabilistic
  635.    clustering methods.) 
  636.  
  637.    Clancey, W.J., "Classification Problem Solving", Proceedings of the
  638.    National Conference on Aritificial Intelligence, 49-55, Los Altos, CA,
  639.    Morgan Kaufmann. 1984.
  640.  
  641. Version Spaces:
  642.  
  643.    Tom M. Mitchell, "Generalization as Search", Artificial Intelligence
  644.    18:203-226, 1982.
  645.  
  646. Machine Discovery:
  647.  
  648.    Langley, P., and Zytkow, J. M., "Data-driven approaches to empirical
  649.    discovery", Artificial Intelligence 40:283-312, 1989.
  650.  
  651.    Langley, P., Simon, H.A., Bradshaw, G.L., and Zytkow, J.M.,
  652.    "Scientific Discovery: Computational Explorations of the Creative
  653.    Processes", MIT Press, Cambridge, MA, 1987.
  654.  
  655.    Langley, P., Simon, H.A. and Bradshaw, G.L., "Heuristics for
  656.    Empirical Discovery", in L. Bolc, editor, Computational Models
  657.    of Learning, Springer-Verlag, 1987. Also appears as CMU CS
  658.    Tech Report CMU-CS-84-14.
  659.  
  660. Chunking:
  661.  
  662.    Laird J.E., Rosenbloom, P.S. and Newell, A., "Chunking in SOAR: The
  663.    Anatomy of a General Learning Mechanism", Machine Learning
  664.    1:1-46, 1986. 
  665.  
  666. Explanation-Based Learning:
  667.  
  668.    Mitchell, Tom M., Keller, R. M., and Kedar-Cabelli, S. T., 
  669.    "Explanation-based learning: A unified view", Machine Learning
  670.    1:47-80, 1986.
  671.  
  672. Derivational Analogy:
  673.  
  674.    Carbonell, J. G., "Derivational analogy: A theory of
  675.    reconstructive problem solving and expertise acquisition." In R.S.
  676.    Michalski, Jaime G. Carbonell, and Tom M. Mitchell, editors, Machine
  677.    Learning: An Artificial Intelligence Approach, Morgan Kaufmann
  678.    Publishers, San Mateo, CA, 1986.
  679.  
  680. Theoretical Results:
  681.  
  682.    Leslie G. Valiant, "A theory of the learnable", Communications
  683.    of the ACM, 27(11):1134--1142, 1984. 
  684.  
  685.    Haussler, D., "Quantifying Inductive Bias: AI Learning
  686.    Algorithms and Valiant's Learning Framework", Artificial Intelligence,
  687.    36:177-221, 1988.
  688.  
  689. ----------------------------------------------------------------
  690. Subject: [9]  Case-Based Reasoning
  691.  
  692.    Roger C. Schank, "Dynamic Memory: A Theory of Reminding and
  693.    Learning in Computers and People", Cambridge University Press, New
  694.    York, NY, 1982.
  695.  
  696.    Roger C. Schank and C. Riesbeck, "Inside Case-Based Reasoning",
  697.    Lawrence Erlbaum Associates, Hillsdale, NJ, 1989.
  698.  
  699.    Craig Stanfill and David Waltz, "Toward Memory-Based
  700.    Reasoning", Communications of the ACM, 29(12):1213-1228,
  701.    December 1986. (Memory-based reasoning.)  
  702.  
  703.    Janet Kolodner, "Case-Based Reasoning", Morgan Kaufmann
  704.    Publishers, San Mateo, CA, 1993, 612 pages, ISBN 1-55860-237-2,
  705.    $54.95. 
  706.  
  707. ----------------------------------------------------------------
  708. Subject: [10] Genetic Algorithms
  709.  
  710. For an extended bibliography, see the FAQ posting for comp.ai.genetic.
  711.  
  712. Overviews:
  713.  
  714.    L. B. Booker, D.E. Goldberg and J.H. Holland, "Classifier Systems and
  715.    Genetic Algorithms", Artificial Intelligence 40(1-3):235-282,
  716.    September 1989. 
  717.  
  718.    David E. Goldberg, "Genetic Algorithms in Search, Optimization, and
  719.    Machine Learning", Addison-Wesley, Reading, MA, 1989, 412 pages.
  720.    ISBN 0-201-15767-5.
  721.  
  722.    Davis, Lawrence (editor), "Handbook of Genetic Algorithms", Van
  723.    Nostrand Reinhold, New York, 1991, ISBN 0-442-00173-8.
  724.  
  725.    See also the July 1992 issue of Scientific American.
  726.  
  727. Collections:
  728.  
  729.    Davis, Lawrence, editor, "Genetic Algorithms and Simulated
  730.    Annealing", Morgan Kaufmann, 1989.
  731.  
  732.    Rawlins, G., editor, "Foundations of Genetic Algorithms", Morgan Kaufmann,
  733.    1991.
  734.  
  735.    See also the Proceedings of the First/Second/Third/Fourth International
  736.    Conference on Genetic Algorithms, published by Lawrence Erlbaum.
  737.  
  738. Miscellaneous:
  739.  
  740.    Holland, J.H. "Adaptation in Natural and Artificial Systems", University
  741.    of Michigan Press, 1975.  Reprinted by MIT Press, 1992.
  742.  
  743.    Holland, J.H., Holyoak, K.J., Nisbett, R.E., and Thagard, P.R., "Induction:
  744.    Processes of Inference, Learning, and Discovery", MIT Press, 1988.
  745.  
  746.    Michalewicz, Z., "Genetic algorithms + Data Structures = 
  747.    Evolution Programs", Springer-Verlag, New York, 1992.
  748.  
  749. Genetic Programming:
  750.  
  751.    Koza, John R., "Genetic Programming:  On the programming of
  752.    computers by means of natural selection", MIT Press, 1992, 819 pages. 
  753.    ISBN 0-262-11170-5.
  754.  
  755. ----------------------------------------------------------------
  756. Subject: [11] Production Systems, Expert Systems and Match Algorithms
  757.  
  758. Overviews:
  759.  
  760.    Bruce G. Buchanan and Edward H. Shortliffe, "Rule-Based Expert
  761.    Systems: The MYCIN Experiments of the Stanford Heuristic Programming
  762.    Project", Addison-Wesley, Reading, MA, 1985. The Davis and King
  763.    paper (chapter 4, "An overview of production systems") provides
  764.    a good overview.
  765.  
  766.    Frederick Hayes-Roth, "The knowledge based expert system: A tutorial",
  767.    IEEE Computer 17(9):11-28, 1984.
  768.  
  769.    Bruce G. Buchanan and R.O. Duda, "Principles of Rule-Based Systems",
  770.    Tech Report HPP-82-14, 1982. (Discusses the design of expert
  771.    systems, including representation, inference, and uncertainty
  772.    management. Examples from numerous specific systems, and discusses
  773.    which problems are suitable for attack by rule-based systems.)
  774.  
  775. OPS5:
  776.    Charles L. Forgy, "OPS5 User's Manual", Technical Report
  777.    CMU-CS-81-135, Carnegie Mellon University, School of Computer
  778.    Science, Pittsburgh, PA 1981. 
  779.  
  780.    Thomad Cooper and Nancy Wogrin, "Rule-based Programming with OPS5", 
  781.    Morgan Kaufmann Publishers, 1988, ISBN 0-934613-51-6, $49.95.
  782.  
  783. RETE:
  784.    Charles L. Forgy, "RETE: A fast algorithm for the many
  785.    pattern/many object pattern match problem", Artificial
  786.    Intelligence 19(1):17-37, September 1982.  
  787.  
  788. TREAT:
  789.    Daniel P. Miranker, "TREAT: A better match algorithm for AI
  790.    production systems". In Proceedings of the Sixth National
  791.    Conference on Artificial Intelligence (AAAI-87), pages 42-47,
  792.    August 1987. 
  793.  
  794.    Daniel P. Miranker, "TREAT: A New and Efficient Match Algorithm
  795.    for AI Production Systems", Morgan Kaufmann Publishers, 1990, 
  796.    143 pages, ISBN 0-934613-71-0, $29.95.
  797.  
  798. MatchBox:
  799.    Mark Perlin, "The match box algorithm for parallel production
  800.    system match", Technical Report CMU-CS-89-163, Carnegie Mellon
  801.    University, School of Computer Science, Pittsburgh,
  802.    Pennsylvania, May 1989. 
  803.  
  804. DRETE: 
  805.    Michael A. Kelly and Rudolph E. Seviora, "An evaluation of DRETE
  806.    on CUPID for OPS5 matching", in Proceedings of the Eleventh
  807.    International Joint Conference on Artificial Intelligence (IJCAI-89),
  808.    pages 84-90, Detroit MI, August 1989, Morgan Kaufmann Publishers.
  809.  
  810. ----------------------------------------------------------------
  811. Subject: [12] Integrated AI Architectures
  812.  
  813.    Kurt VanLehn, editor, "Architectures for Intelligence",
  814.    Lawrence Erlbaum Associates, Hillsdale, NJ, 1991.
  815.  
  816.    SOAR: 
  817.    John E. Laird, Allen Newell, and Paul S. Rosenbloom, "SOAR: An
  818.    Architecture for General Intelligence", Artificial
  819.    Intelligence, 33(1):1-64, 1987. 
  820.  
  821.    PRODIGY: 
  822.    Steven Minton, Jaime G. Carbonell, Craig A. Knoblock,
  823.    Daniel R. Kuokka, Oren Etzioni, and Yolanda Gil. 
  824.    "Explanation-based learning: A problem solving perspective".
  825.    Technical Report CMU-CS-89-103, Carnegie Mellon University,
  826.    School of Computer Science, Pittsburgh, PA, 1989.
  827.  
  828.    THEO:
  829.    Tom M. Mitchell, J. Allen, P. Chalasani, J. Cheng, Oren Etzioni,
  830.    Marc Ringuette, and Jeffrey Schlimmer, "THEO: A Framework for
  831.    Self-Improving Systems", in Kurt VanLehn, editor, Architectures for
  832.    Intelligence, Lawrence Erlbaum Associates, Hillsdale, NJ, 1991.
  833.  
  834.    Subsumption Architectures:
  835.    Brooks, R., "A Robust Layered Control System for a Mobile Robot",
  836.    IEEE Journal of Robotics and Automation, RA-2, pages 14-23, April 1986.
  837.  
  838. ----------------------------------------------------------------
  839. Subject: [13] Fuzzy Logic
  840.  
  841. Introductions/Textbooks:
  842.  
  843.    Klir, George J. and Folger, Tina A., "Fuzzy Sets, Uncertainty, and
  844.    Information", Prentice Hall, Englewood Cliffs, NJ, 1988, 355 pages. 
  845.    ISBN 0-13-345984-5
  846.  
  847.    Zimmermann, Hans J., "Fuzzy Set Theory and its Applications",
  848.    Boston, MA, Kluwer-Nijhoff Publishing, 1985. [Discusses fuzzy set
  849.    theory but not much about fuzzy control.]
  850.  
  851.    Kosko, B., "Neural Networks and Fuzzy Systems", Prentice Hall,
  852.    Englewood Cliffs, NJ, 1992.
  853.  
  854. Readings:
  855.  
  856.    Didier Dubois, Henri Prade, and Ronald R. Yager, editors,
  857.    "Readings in Fuzzy Sets for Intelligent Systems", Morgan Kaufmann
  858.    Publishers, 1993, 916 pages.  ISBN 1-55860-257-7, $49.95.
  859.  
  860.    R. Yager and L. Zadeh, editors, "An Introduction to Fuzzy Logic:
  861.    Applications in Intelligent Systems" Kluwer, 1992. $90. [Collection of
  862.    papers about fuzzy applications.]
  863.  
  864. Papers:
  865.  
  866.    Zadeh, L.A., "Fuzzy Sets," Information and Control, 8, 338-353, 1965.
  867.  
  868.    Brubaker, D.I., "Fuzzy-logic Basics: Intuitive Rules Replace
  869.    Complex Math," EDN, June 18, 1992.
  870.  
  871.    Schwartz, D.G. and Klir, G.J., "Fuzzy Logic Flowers in Japan,"
  872.    IEEE Spectrum, July 1992.
  873.  
  874. ----------------------------------------------------------------
  875. Subject: [14] Artificial Life and Cellular Automata
  876.  
  877. The best source for information is the proceedings of the Artificial
  878. Life conferences. The proceedings were edited by Christopher G.
  879. Langton and published by Addison-Wesley.
  880.  
  881.    Langton, Chris G., editor, "Artificial Life" (Proceedings of the First 
  882.    International Conference '87), Addison-Wesley, 1989. ISBN 0-201-09356-1.
  883.  
  884.    Langton, C.G., Taylor, C., Farmer, J.D., and Rasmussen, S., editors,
  885.    "Artificial Life II", Addison-Wesley, 1991. ISBN 0-201-52751-2.
  886.  
  887. Forrest, S., editor, "Emergent Computation", MIT Press, 1991.
  888.  
  889. Levy, S., "Artificial Life", Pantheon, New York, 1992. ISBN 0-679-40774-X.
  890. [An excellent popularization] 
  891.  
  892. Jean-Arcady Meyer and Stewart W. Wilson, "From animals to animats:
  893. Proceedings of the First International Conference on Simulation of
  894. Adaptive Behavior (1990, Paris, France)", MIT Press, Cambridge, MA,
  895. 1991.
  896.  
  897. Tommaso Toffoli and Norman Margolus, "Cellular Automata", MIT Press, 1987.
  898.  
  899. ----------------------------------------------------------------
  900. Subject: [15]  Qualitative Physics and Model Based Reasoning
  901.  
  902. QP Theory: 
  903.    Forbus, K. D., Qualitative Process Theory, Artificial Intelligence,
  904.    24:85-168, 1984.
  905.  
  906. QSIM:
  907.    Kuipers, B., Qualitative Reasoning with Causal Models in 
  908.    Diagnosis of Complex Systems, In D. S. Weld & J. deKleer, editors,
  909.    Readings in Qualitative Reasoning about Physical Systems, 
  910.    pages 257-274, chapter 10, Morgan Kaufmann Publishers, 1989.
  911.  
  912. MBR-based Diagnosis:
  913.    Davis, R., Diagnostic Reasoning Based on Structure and Behavior,
  914.    Artificial Intelligence, 24:347-410, 1984.
  915.  
  916. Function-based MBR:
  917.    Sticklen, J., Chandrasekaran, B., & Bond, W. 
  918.    Distributed Causal Reasoning. Knowledge Acquisition, 1:139-162, 1989.
  919.  
  920. ----------------------------------------------------------------
  921. Subject: [16] Task-specific Architectures for Problem Solving
  922.  
  923. Generic Tasks:
  924.     Chandrasekaran, B., Towards a Functional Architecture for 
  925.     Intelligence Based on Generic Information Processing Tasks, In 
  926.     IJCAI-87, pages 1183-1192, Milan, 1987.
  927.  
  928. Components of Expertise:
  929.     Steels, L., The Components of Expertise. AI Magazine, Summer, 1990.
  930.  
  931. KADS:
  932.     Breuker, J., & Wielinga, B., Models of Expertise in Knowledge
  933.     Acquisition, in G. Guida & C. Tasso, editors, Topics in 
  934.     Expert Systems Design: Methodologies and Tools, Amsterdam:
  935.     North Holland Publishing Company, 1989.
  936.  
  937. Role-limiting Methods:
  938.     McDermott, J., Preliminary Steps Toward a Taxonomy of 
  939.     Problem-Solving Methods, in S. Marcus, editor, Automating 
  940.     Knowledge Acquisition for Expert Systems, pages 225-255,
  941.     Boston: Kluver Academic Publishers, 1988.
  942.  
  943. ----------------------------------------------------------------
  944. Subject: [17] Automated Deduction/Theorem Proving
  945.  
  946.    C. Chang and R.C. Lee, "Symbolic Logic and Mechanical Theorem
  947.    Proving", Academic Press, 1973.
  948.  
  949.    Alan Bundy, "The Computer Modelling of Mathematical Reasoning",
  950.    Academic Press, 1983. [Contains Prolog code for a simple
  951.    resolution-based theorem prover.]
  952.  
  953.    David Duffy, "Principles of Automated Theorem Proving", John
  954.    Wiley and Sons, 1991. 
  955.  
  956.    Larry Wos and Ross Overbeek and Ewing Lusk and Jim Boyle,
  957.    "Automated Reasoning. Introduction and Applications",  Second Edition,
  958.    McGraw-Hill, 1992.
  959.  
  960.    Proceedings of the 11th International Conference on Automated
  961.    Deduction (CADE-11), D. Kapur (editor), Saratoga Springs, NY, USA,
  962.    June 15-18, 1992, Lecture Notes in AI 607, Springer-Verlag, 1992, 793
  963.    pages.  ISBN 0-387-55602-8 and 3-540-55602-8.
  964.     [The CADE proceedings have a systems abstracts section with short
  965.      descriptions of implemented systems, many of which are available
  966.      by anonymous ftp.]
  967.  
  968. ----------------------------------------------------------------
  969. Subject: [18] Probabilistic Reasoning
  970.  
  971.    Neapolitan, Richard E., "Probabilistic Reasoning in Expert Systems:
  972.    Theory and Algorithms", John Wiley and Sons, 1990.
  973.  
  974.    Oliver, Robert M., and Smith, James Q., editors, "Influence Diagrams,
  975.    Belief Nets and Decision Analysis", John Wiley and Sons, 1990.
  976.  
  977.    Pearl, Judea, "Probabilistic Reasoning in Intelligent Systems:
  978.    Networks of Plausible Inference", Morgan Kaufmann, San Mateo,
  979.    California, 1988. [Bayesian networks]
  980.  
  981.    Shafer, Glenn, and Pearl, Judea, "Readings in Uncertain Reasoning",
  982.    Morgan Kaufmann, San Mateo, California, 1990, 768 pages. 
  983.    ISBN 1-55860-125-2, $49.95.
  984.  
  985.    R.O. Duda, P.E. Hart, and N.J. Nilsson, "Subjective Bayesian Methods
  986.    for Rule-Based Inference Systems", In Proceedings of the 1976 National
  987.    Computer Conference, pages 1075-1082, AFIPS, 1976.
  988.  
  989.    Charniak, Eugene, "Bayesian Networks without tears", AI Magazine,
  990.    Winter 1991, pages 50-63.
  991.  
  992. Abduction & Uncertainty:
  993.  
  994.    Charniak, E., "Motivation analysis, abductive unification, and
  995.    nonmonotonic equality", Artifical Intelligence 34:275-95.
  996.  
  997.    Kass, A., "Adaptation-based explanation", 11th IJCAI, pages 141-47.
  998.  
  999.    Hobbs, J., et al., "Interpretation as abduction", SRI AI TR #499.
  1000.  
  1001. Non-AI, but relevant:
  1002.  
  1003.    Kahneman, D., Slovic, P., and Tversky, A., "Judgement under
  1004.    uncertainty", Cambridge University Press.
  1005.  
  1006.    Micheal Smithson, "Ignorance and Uncertainty: Emerging Paradigms",
  1007.    Springer-Verlag, 1989.
  1008.  
  1009. Current Research:
  1010.  
  1011.    Uncertainty in Artificial Intelligence [2|3|4|5], North-Holland.
  1012.  
  1013.    Proceedings of the Nth Conference on Uncertainty in Artificial
  1014.    Intelligence, Morgan Kaufmann Publishers.
  1015.  
  1016. ----------------------------------------------------------------
  1017. Subject: [19] Nonmonotonic Reasoning and Truth Maintenance Systems (TMS)
  1018.  
  1019.    Matthew L. Ginsberg, "Readings in Nonmonotonic Reasoning", 
  1020.    Morgan Kaufmann, San Mateo, CA, 1987.
  1021.  
  1022.    Reiter, Ray, "Nonmonotonic Reasoning", Annual Review of Computer
  1023.    Science, 2:147-186, 1987. (Appears in Ginsberg.)
  1024.  
  1025.    Doyle, J., "Truth Maintenance Systems", Artificial Intelligence,
  1026.    12(3):231-272, 1979.
  1027.  
  1028.    Reiter, Raymond and de Kleer, Johan, "Foundations of Assumption-Based
  1029.    Truth Maintenance Systems: Preliminary Report", Proceedings of AAAI-87,
  1030.    pages 183-188.
  1031.  
  1032.    J.P. Martins, "The Truth, The Whole Truth And Nothing But the Truth:
  1033.    An Indexed Bibliography to the Literature of TMS's", AI Magazine
  1034.    (Special Issue), AAAI, 1990.
  1035.  
  1036.    De Kleer, J., "An assumption-based TMS", Artificial Intelligence
  1037.    28:127-162, 1986.
  1038.    De Kleer, J., "Extending the ATMS", Artificial Intelligence
  1039.    28:163-196, 1986.
  1040.    De Kleer, J., "Problem Solving with the ATMS", Artificial Intelligence
  1041.    28:197-224, 1986. 
  1042.  
  1043.    De Kleer, J., "A comparison of ATMS and CSP techniques", IJCAI 1989,
  1044.    pages 290-296.
  1045.  
  1046.    Kenneth D. Forbus and Johan de Kleer, "Building Problem Solvers",
  1047.    MIT Press, Cambridge, MA 1994, 700 pages, $50. ISBN 0-262-06157-0.
  1048.    [Good textbook.]
  1049.  
  1050.    Proceedings of AAAI 1988.
  1051.  
  1052.    Alex Kean and George Tsiknis, "Assumption based Reasoning and Clause
  1053.    Management Systems", Computational Intelligence 8(1):1-24, 1992.
  1054.  
  1055.    Alex Kean and George Tsiknis, "Clause Management Systems (CMS)",
  1056.    Computational Intelligence 9(1):11-40, 1993.
  1057.  
  1058.    Martins & Shapiro, AI Journal, vol. 35, (1988)
  1059.  
  1060.    Martins & Reinfrank (eds), "Truth Maintenance Systems", published
  1061.    by Springer Verlag in their 'Lecture Notes in Computer Science'
  1062.    series, 1991.
  1063.  
  1064.    Reinfrank, M., Dressler, O. and Brewka, G., On the Relation
  1065.    Between Truth Maintenance and Autoepistemic Logic, IJCAI 1989.
  1066.  
  1067.    Selman, B. and Levesque, H.J., "Abductive and Default Reasoning: A
  1068.    Computational Core", Proceedings of AAAI-90.
  1069.  
  1070. ----------------------------------------------------------------
  1071. Subject: [20] Robotics and Computer Vision
  1072.  
  1073. Introductions (Robotics):
  1074.  
  1075.    John J. Craig, "Introduction to Robotics", Addison-Wesley,
  1076.    Reading, MA, 1989. 
  1077.  
  1078.    Joseph L. Jones, and Anita M. Flynn, "Mobile Robots: Inspiration to
  1079.    Implementation", A.K. Peters, Publisher, Wellesley, MA, 1993. 349
  1080.    pages, $39.95.  ISBN 1-56881-011-3.
  1081.  
  1082.    [Two papers in the Encyclopedia of Aritificial Intelligence are relevant:
  1083.        Path planning and obstacle avoidance, pages 708-715
  1084.        Mobile robots, pages 957-961]
  1085.  
  1086. Introductions (Vision):
  1087.  
  1088.    David Marr, "Vision: a computational investigation into the human
  1089.    representation and processing of visual information", W.H. Freeman,
  1090.    San Francisco, CA, 1982. [The classic text, still good.]
  1091.  
  1092.    Berthold K.P. Horn, "Robot Vision", MIT Press and McGraw-Hill,
  1093.    Cambridge, MA, 1986. 509 pages. ISBN 0-2620-815-98 (MIT Press),
  1094.    0-0703-034-95 (McGraw-Hill). 
  1095.  
  1096.    Vicki Bruce and Patrick R. Green, "Visual Perception: Physiology,
  1097.    Psychology and Ecology", 2nd Edition, Lawrence Erlbaum Associates,
  1098.    Hillsdale, NJ, 1990. ISBN 0-86377-146-7.
  1099.  
  1100.    Martin D. Levine, "Vision in Man and Machine", McGraw-Hill, New York, 1985.
  1101.  
  1102.    Roger Watt, "Visual Processing: computational, psychophysical, and
  1103.    cognitive research", Lawrence Erlbaum Associates, Hillsdale, NJ, 1988,
  1104.    152 pages.
  1105.  
  1106.    Harry Wechsler, "Computation Vision", Academic Press, Boston, MA,
  1107.    1990, 558 pages.
  1108.  
  1109.    E. Bruce Goldstein, "Sensation and Perception", 3rd edition,
  1110.    Wadsworth, Belmont CA, 1989, 598 pages, ISBN 0-534-09672-7. [Emphasis
  1111.    on the physiological aspects of visual perception.]
  1112.  
  1113.    Linda G. Shapiro and Azriel Rosenfeld, "Computer Vision and Image
  1114.    Processing", Academic Press, Boston, MA 1992, 623 pages.
  1115.  
  1116.    [One paper in the Encyclopedia of Aritificial Intelligence is relevant:
  1117.        Sensors, pages 1031-1036]
  1118.  
  1119. Surveys:
  1120.  
  1121.    J. Michael Brady, "Computational approaches to image understanding",
  1122.    ACM Computing Surveys 14(1):3-71, March 1982. (Survey of methods in
  1123.    computer vision.)
  1124.  
  1125. Paper Collections:
  1126.  
  1127.    Martin A. Fischler and Oscar Firschein, editors, "Readings in
  1128.    Computer Vision", Morgan Kaufmann, San Mateo, CA, 1987.
  1129.  
  1130.    Michael S. Landy and Anthony J. Movshon, "Computational Models of
  1131.    Visual Processing", MIT Press, Cambridge, MA, 1991, 394 pages.
  1132.    [Collection of research papers.]
  1133.  
  1134. Miscellaneous:
  1135.  
  1136.    The 6.270 Robot Builder's Guide, by Fred Martin. Available by
  1137.    anonymous ftp from kame.media.mit.edu (18.85.0.45) in
  1138.    ~ftp/pub/fredm/README or in cherupakha.media.mit.edu:pub/6270/docs
  1139.    [18.85.0.47]. This directory contains "The 6.270 Robot
  1140.    Builder's Guide", the course notes to the 1992 MIT LEGO Robot Design
  1141.    Competition. For more information, contact Fred Martin
  1142.    <fredm@media.mit.edu>.
  1143.  
  1144. Autonomous Agents:
  1145.  
  1146.    Rodney A. Brooks, "A Robust Layered Control System for a Mobile
  1147.    Robot", IEEE Journal of Robotics and Automation, 2:14-23, 1986.
  1148.  
  1149.    Rodney A. Brooks, "A Robot that Walks: Emergent Behaviour from a
  1150.    Carefully Evolved Network", Neural Computation, 1(2), 1989.
  1151.  
  1152.    Pattie Maes and Rodney A. Brooks, "Learning to Coordinate Behaviours", 
  1153.    Proceedings of AAAI-90, 1990.
  1154.  
  1155.    Pattie Maes, "How to do the right thing", Connection Science
  1156.    1(3):291-323, 1990, special issue on Hybrid Systems.
  1157.  
  1158.    Pattie Maes, "Designing Autonomous Agents: Theory and Practice from
  1159.    Biology to Engineering and Back", MIT Press, 1991.
  1160.  
  1161.    Pattie Maes, "A bottom-up mechanism for action selection in an
  1162.    artificial creature", in Adaptive Behaviour: From Animals to Animats,
  1163.    edited by S. Wilson and J-A Meijer, MIT Press, 1991.
  1164.  
  1165.    W. Lim and J. Eilbert, "Plan-behaviour interaction in autonomous
  1166.    navigation", Proceedings of the SPIE, 1388:464-475, 1991.
  1167.  
  1168. ----------------------------------------------------------------
  1169. Subject: [21] Distributed AI
  1170.  
  1171. Collections:
  1172.  
  1173.    Alan H. Bond and Les Gasser, "Readings in Distributed
  1174.    Artificial Intelligence", Morgan Kaufmann, San Mateo, CA, 1988.
  1175.  
  1176.    Michael N.  Huhns, ed., "Distributed Artificial
  1177.    Intelligence", Morgan Kaufmann, 1987.
  1178.  
  1179.    Les Gasser and Michael N.  Huhns, eds., "Distributed
  1180.    Artificial Intelligence, Volume II", Morgan Kaufmann, 1989.
  1181.  
  1182.    (Special Issue on Distributed AI) IEEE Transactions on
  1183.    Systems, Man, and Cybernetics, Vol. 11, No. 1, Jan 1981.
  1184.  
  1185.    (Special Issue on Distributed AI---10 years later) IEEE
  1186.    Transactions on Systems, Man, and Cybernetics, Vol. 21,
  1187.    No. 6, Nov/Dec 1991.
  1188.  
  1189.    Decentralized Artificial Intelligence, Y. Demazeau ed. 1990,
  1190.    Decentralized AI 2, Demazeau, Y. & Muller, J-P, eds. 1991,     
  1191.    Decentralized AI 3, Werner & Demazeau eds. 1992,
  1192.    all published by  Elsevier Science Publishers .
  1193.  
  1194. [Surveys can be found in the Bond & Gasser book listed above,
  1195. and in: The Handbook of AI volume 4 1989; IEEE Systems, Man,
  1196. and Cybernetics-17(5) 1987; Kluwer Academic's AI Review-6(1)1992.] 
  1197.  
  1198. ----------------------------------------------------------------
  1199. Subject: [22] User/Agent Modeling
  1200.  
  1201.    Rapaport,W. J. (1987) "Belief Systems", in the Encyclopedia of
  1202.    Artificial Intelligence, pp. 63-73.
  1203.  
  1204.    Afzal Ballim and Yorick Wilks, "Artifical Believers", Lawrence
  1205.    Erlbaum Associates, Hillsdale, NJ, 1991. ISBN 0-8058-0453-6.
  1206.    Contains a 92 page background section on belief modeling in AI,
  1207.    Philosophy, NLP and Linguistics. 
  1208.  
  1209.    Kobsa, A. & Wahlster, W. (1989) "User Models in Dialog Systems."
  1210.    Springer-Verlag, Heidelberg.
  1211.  
  1212. See also the journal User Modeling and User-Adapted Interaction in [1-1].
  1213.  
  1214. ----------------------------------------------------------------
  1215. Subject: [23] Philosophy of AI
  1216.  
  1217.    D. McDermott, "Artificial Intelligence Meets Natural Stupidity," in
  1218.    Mind Design: Philosophy, Psychology, Artificial Intelligence, J.
  1219.    Haugeland, editor, chapter 5, pp. 143-160, MIT Press, 1981.
  1220.  
  1221.    H.A. Simon, "Sciences of the Artificial", 2nd Edition, MIT Press, 1981.
  1222.  
  1223.    A.M. Turing, "Computing Machinery And Intelligence," Mind, vol. LIX,
  1224.    no. 236, 1950.  Reprinted in "Computers and Thought", Feigenbaum &
  1225.    Feldman (eds.), 1963.  Also reprinted in "The Mind's I", Hofstadter &
  1226.    Dennett (eds.).  Also reprinted in "Readings in Cognitive Science",
  1227.    Collins & Smith (eds.), section 1.1.
  1228.  
  1229.    Roger Penrose, "The Emperor's New Mind: Concerning computers,
  1230.    minds, and the laws of physics", Oxford University Press, New York,
  1231.    1989, 466 pages, $30.
  1232.  
  1233.    Douglas R. Hofstadter and Daniel C. Dennett, "The Mind's I:
  1234.    Fantasies and Reflections on Self and Soul", Basic Books, New
  1235.    York, 1981, 501 pages, $15.50.
  1236.  
  1237.    Daniel C. Dennett, "Consciousness explained", 1st edition, Little,
  1238.    Brown and Company, Boston, 1991, 511 pages, $27.95.
  1239.  
  1240.    John Haugeland, "Artificial Intelligence: The very idea", MIT Press,
  1241.    Cambridge, MA, 1985, 287 pages.
  1242.  
  1243.    John Haugeland, editor, "Mind Design: Philosophy, Psychology,
  1244.    Artificial Intelligence", MIT Press, Cambridge, MA 1981, 368 pages.
  1245.  
  1246.    Margaret A. Boden, editor, "The Philosophy of Artificial Intelligence", 
  1247.    Oxford University Press, New York, 1990, 452 pages.
  1248.  
  1249.    Hans Moravec, "Mind Children: The future of robot and human intelligence",
  1250.    Harvard University Press, Cambridge, MA, 1988, 214 pages.
  1251.  
  1252.    Kirsh, D., editor, "Foundations of Artificial Intelligence, Special
  1253.    issues of Artificial Intelligence", The MIT Press, 1991.  Reprinted
  1254.    from Artificial Intelligence 47(1--3), 1991.
  1255.  
  1256.    Hubert L. Dreyfus, "What computers can't do: a critique of artificial
  1257.    reason", Harper and Row, Publishers, New York, 1972. ISBN 0-06011082-1
  1258.  
  1259. ----------------------------------------------------------------
  1260. Subject: [24] What is Cyc?
  1261.  
  1262. Cyc is a project at MCC in Texas to build an enCYClopedic database and
  1263. reasoning engine for common sense knowledge.
  1264.  
  1265.    "CYC", AI Magazine 1986, 7(1), 1986.
  1266.  
  1267.    "Cyc: A Mid-Term Report," AI Magazine, 11(3):32-59, Fall 1990.
  1268.  
  1269.    "Cyc: Toward Programs With Common Sense," CACM, 33(8):30-49, 
  1270.    August 1990. 
  1271.  
  1272.    "Knowledge and Natural Language Processing," CACM, Aug 1990.
  1273.  
  1274.    "When will machines learn?," Machine Learning, 4(3-4):255-257,
  1275.    December 1989. 
  1276.  
  1277.    D.B. Lenat, R.V. Guha, "Building Large Knowledge-Based Systems", 
  1278.    Addison-Wesley, Reading, MA.
  1279.  
  1280. ----------------------------------------------------------------
  1281. Subject: [25] Miscellaneous: PhD Theses
  1282.  
  1283. Be sure to check the proceedings of the various national
  1284. conferences in the area that interests you.
  1285.  
  1286. PhD theses can often be obtained from University Microfilms
  1287. Internatinal, 300 North Zeeb Road, Ann Arbor, MI 48106.
  1288.  
  1289. ----------------------------------------------------------------
  1290. Subject: [26] Videotapes and Magazines
  1291.  
  1292. Videotapes:
  1293.  
  1294.    The 4th episode of the PBS series "The Machine That Changed the World" is
  1295.    a good introduction to AI. It is available for $90 from Films for the
  1296.    Humanities, 1-800-257-5126.
  1297.  
  1298.    Morgan Kaufmann also has a good set of tapes of AI-related lectures, but
  1299.    it runs on the expensive side.
  1300.  
  1301.  
  1302. AI-related magazines include:
  1303.  
  1304.    AI EXPERT
  1305.    Miller Freeman, Inc., 600 Harrison Street, San Francisco, CA 94107.
  1306.    Subscriptions: 1-800-274-2534 or 303-447-9330
  1307.    $42/year (12 issues), $6 extra in Canada and Mexico, 
  1308.    $15 extra (surface mail) or $40 (air mail) for overseas.
  1309.    Submissions: Larry O'Brien, Editor in Chief, <72212.3256@compuserve.com>
  1310.  
  1311.    PC AI (ISSN 0894-0711)
  1312.    3310 West Bell Road, Suite 119, Phoenix, AZ 85023.
  1313.    Subscriptions: 602-971-1869, fax 602-971-2321.
  1314.    $28/year (6 issues); $54 for two years; $78 for three years.
  1315.    $9 extra in Canada and Mexico, $25 extra (air mail) for all
  1316.    other countries. 
  1317.  
  1318.    Both magazines are excellent sources of commercial product reviews
  1319.    and frequently publish "Product Guides/Showcases" that lUï∞ü∞WVìF≡PÜ(α â─ìF≡PÜ0α â─Ä┬ï╪ï√îF÷&èO ╕╙αëF°&ïGï╚&ïG║ï≥Ö≈■╛<ï┴ï╩ï╨ï┴ëå⌠■ï┬Ö≈■ï╞ï╩≈«⌠■ï≡±╗Ä$6ë₧·■îåⁿ■&╟  ╗~Ä&6ë₧÷■îå°■&ïÄF÷&9EtLÉΦ2╕pP3└P ╢°■ ╢÷■Üα â─ÄF÷&ïE─₧÷■&ëÄ(6&â>ptÄ*6&â>vt
  1320. Ü£┘ÜT┘ÄF÷& E╟F·Ä,6&â>Θ▀ë~⌠╟F■╕⌠╣ùëå≡■ëÄ≥■ëvⁿïFⁿ─₧≡■&─^■ë₧∞■îåε■&9~ΘÖï├î┬ì~öï≤Ä┌╣-≤ÑñèFó*ΣàF°tz8f╥t èF╥─^⌠&8GuiÇ~╤t èF╤─^⌠&8GuWïFⁿ+Fö;Fû| ïFⁿ9Föuâ~ût÷Fÿ@t8èFú─^⌠&8Gt,ïFⁿ+Fö;Fû~<Ä.6&â>t0─^⌠&èG─₧≡■&─ïv■&ê@âF■[ F·ïF·Ä,6&9~Θ2 Θ⌡èFú─^⌠&8Gu ÷FÖu╙ïv·Θzïv·─₧·■&ë7╗XÄ06ë₧Φ■îåΩ■&─?& ╡& ╡Ü£┘â─ìDP─₧Φ■&─& ╖╥& ╖╨Ü┌α    â─Ä26&â>|u Ä46&╟zÄ66&╟¬─^⌠&èGï╚ï╞╗[≈δï╪Ä86&─>⌠&êIÄ86&─⌠ï°&Ça■ÉΦÇ~¿t;èF¿*ΣP─₧Φ■&─& ╖╓& ╖╘Ü┌α    â─Ä46&╟zèF¿*ΣPܵ┘â─ΘvÄ:6&í▓& ░uΘdÄ26&â>|u Ä46&╟z─₧Φ■&─& ╖┌& ╖╪Ü┌α    â─Ä<6& 6¿& 6ªÜ`┘â─Üû┘ܼα    ╕PÜ,╣ â─Ä>6&íF&ïHëåΣ■ëûµ■ ╨t8 ╢µ■Pìå■■PÜ╝
  1321. α â─ ÷|ìF▒Pìå■■PÜh
  1322. α â─ìå■■PÜ╠┘â─Ä:6& 6▓& 6░ìå■■PÜ╝
  1323. α â─ ÷|ìF▒Pìå■■PÜh
  1324. α â─ìå■■PÜ╠┘â─Ä*6&â>vtܼα    Ü«┘ÜB┘Ül┘░P░PÜ╢]    â─Ä@6& 6á& 6₧Ü`┘â──₧Φ■&─& ╖▐& ╖▄Ü┌α    â─╕pPÜ╒    â─ÄB6&úR&ëT─₧·■&ë7ïF₧ÄD6&úïFáÄF6&ú Üf┘─₧·■&ë7÷FÿtÄH6&Ç&│ÄJ6&╞ƒδÉÄH6&Ç│ÇÄJ6&╞ƒèfÖ%=└≈╪ÄL6&úïF₧ÄD6&úïFáÄF6&ú ^_ïσ]╦ÉUï∞ü∞▐VÄN6& 6 & 6ìår PÜ╝
  1325. α â─ÄN6& 6 & 6ìå" PÜ╝
  1326. α â─╕vPìår PÜh
  1327. α â─╕éPìå" PÜh
  1328. α â─ìFαPìår PÜXXα â─@uΘNìF┬Pìå" PÜXXα â─@uQÄN6& 6 & 6ìå" PÜ╝
  1329. α â─ÄP6& 6(& 6&ìå" PÜh
  1330. α â─ìF┬Pìå" PÜXXα â─@uΘτïF≥ïV⌠9V╓vΘ┘r9F╘vΘ╧â~≡}Θ╞    â~ε[sΘ╗╕ÇPìår penn.edu> so that he can make your binary
  1331.    available.
  1332.  
  1333. See also LIFE, SLG, and XSB in [2-1] and BeBOP in [2-3].
  1334.  
  1335. ----------------------------------------------------------------
  1336. Subject: [2-8] Commercial Logic Programming Systems
  1337.  
  1338. None so far. This is to be expected, as most logic programming systems
  1339. are experimental.
  1340.  
  1341. ----------------------------------------------------------------
  1342. ;;; *EOF*
  1343. Φ9V■w1r9Fⁿs*ëF≥ëV⌠ëF÷ëV°Ä06&─X& ╖Γ& ╖αÜ┌α    â─δÉïFⁿïV■ëF≥ëV⌠ëF÷ëV°╕ÇP╕üPìFäPܬCα â─ï≡â■ uΘ╞╕P 6d 6bVÜh4α â─╕pP╕~╣ùQPVÜh4α â─3 ╗Ä,6ë₧0 îå2 &9?~Dëvⁿ3╔ëN■ï±╕ùÄ╪─⌠▐â├ë₧, îå. &÷Gt &÷u&Çg■â╞[G─₧0 &9?╨ïvⁿìF·P╕[─₧0 &≈/PÄ86& 6÷& 6⌠VÜWα â─ VÜ╚2α â─ìF≥PìFäPÜ«Rα â─^_ïσ]╦ÉUï∞â∞TWVÄN6& 6 & 6ìF¼PÜ╝
  1344. α â─╕ªPìF¼PÜh
  1345. α â─╕▓PìF¼PÜ¿α â─ï≡ëV■ ╨t)ïF■PV╣Q╣pQ╣~║ùRQï°Üxα â─ WVܪα â─^_ïσ]╦ÉUï∞â∞"WVìFΦPÜ(α â─ìFΦPÜ0α â─ï°ëVε╕<Ä┬&≈m&EëF⌠ÄT6&╟  ÄFε&èM ╕╙αëF≡╟F÷╕ & E╟F·ë~∞Ä,6&íëFµ └Θ╔Ä86&í⌠&ï÷ï╪ëV■Ä$6&íëFΣïN·╕╘Ä╪9NΣuΘïâ~t    ÄF■&÷
  1346.    Minds and Machines 2(4) November 1992 was devoted to music and cognition,
  1347.    and there were some relevant book reviews in 3(1) February 1993.
  1348.  
  1349. ----------------------------------------------------------------
  1350. ;;; *EOF*
  1351.