- Email: [email protected]
Proceedings: First international conference on multi-agent systems, June 12–14, 1995, San Francisco, California
142
BOOK REPORTS
Proceedinqs: First International Conference on Multi-Aqent S~stems. June IP-14, 1995, San Francisco, California. Victor Lesser, General Chair. AAAI Press, Menlo Park, CA/MIT Press, Cambridge, MA. (1995). 472 pages. $70.00. Contents: ICMAS-95 organization. Preface. Papers. A multi-agent intelligent design system integrating manufacturing and shop-floor control (Sivaram Balasubramanian and Douglas H. Norrie). Motor schema-based formation control for multiagent robot teams (Tucker Balch and Ronald C. Arkin). COOL: A language for describing coordination in multi agent systems (Mihai Barbuceanu and Mark S. Fox). Formal specification of multi-agent systems: A real-world case (Frances Brazier, Barbaradunin Keplicz, Nick It. Jennings, and Jan Treur). The DRESUN testbed for research in FA/C distributed situation assessment: Extensions to the model of external evidence (Norman Carver and Victor Lesser). Commitments: From individual intentions to groups and organizations (Cristiano Castelfranchi). Communication for conflict resolution in multi-agent collaborative planning (Jennifer Chu-Carroll and Sandra Carberry). Multiagent reasoning with belief contexts II: Elaboration tolerance (Alessandro Cimatti and Luciano Sera2ini). Communicative actions for artificial agents (Philip It. Cohen and Hector J. Levesque). Designing a family of coordination algorithms (Keith S. Decker and Victor It. Lesser). Knowledge-based distributed search using teamwork (JSrg Denzinger). A tool for coordinating autonomous agents with conflicting goals (Love Ekenberg, Magnus Boman, and Mats Danielson). A tractable heuristic that maximizes global utility through local plan combination (Eithan Ephrati, Martha E. Pollack, and Jefrey S. Rosenschein). Coordination without communication: Experimental validation of focal point techniques (Maier Feaster, Sarit Kraus, and Jeffrey S. Rosenschein). A model for cooperative transportation scheduling (Klaus Fisher, JSrg P. Miiller, Markus Pischel, and Darius Schier). Dilemmas in computational societies (Natalie S. Glance and Tad Hogg). A rigorous, operational formalization of recursive modeling (Piotr J. Gmytrasiewicz and Edmund H. Durfee). Towards a pragmatic theory of interations (Afsaneh Haddadi). A game-theoretic account of collaboration in communication (K6iti Hasida, Katashi Nagao, and Takashi Miyata). Multiagent collaboration in directed improvisation (Barbara Hayes-Roth, Lee Brownston, and Robert van Gent). Forming coalitions for breaking deadlocks (Katsutoshi Hirayama and Jun'ichi Toyoda). Deciding when to commit to action during observation-based coordination (Marcus J. Huber and Edmund H. Durfee). A multi-agent system for controlling building environments (Bernardo A. Huberman and Scott H. Clearwater). How agents do it in stream logic programming (Matthew M. Huntbach, Nick R. Jennings, and Graem A. Ringwood). Two is not always better than one: Experience is real-time bidirectional search (Toru Ishida). Reasoning about belief based on common knowledge of observability of actions (Hideki Isozaki). The emergence of cooperation in a society of autonomous agents--The prisoner's dilemma game under the disclosure of contract histories (Akira Ito and Hiroyuki Yano). Self organizational approach for integration of distributed expert systems (Tatsuaki Itoh, Takashi Watanabe, and Takahira Yamaguchi). Synchronizing multiagent plans using temporal logic specifications (Froduald Kabanza). Hierarchical and lateral coordination in MAS: An analysis of message tragic flow (Alois Knoll and J. Meinkoehn). A cooperation language (Michael Kolb). On using KQML for matchmaking (Daniel Kuokka and Larry Harada). Exploiting problem structure for distributed constraint optimization (JyiShane Liu and Katia P. Sycara). A formal framework for agency and autonomy (Michael Luck and Mark d'Inverno). Understanding cooperation: An agent's perspective (Andreas Lux and Donald Steiner). Unsupervised multi-agent exploration of structured environments (Dario Maio and Stefano Rizzi). Time and the prisoner's dilemma (Yishay Mor and Jeffrey S. Rosenschein). A simple computational market for network information services (Tracy Mullen and Michael P. Wellman). Introducing the blind hunger dilemma: Agents' properties and performance (Chisato Numaoka). A metalevel coordination strategy for reactive cooperative planning (Ei-Ichi Osawa). Generalised proof-theory for multi-agent autoepistemic reasoning (Yongyuth Fermpoontanalarp and John Yuejun Jiang). BDI agents: From theory to practice (Anand S. Rao and Michael P. Georgeff). PARAgente: Exploring the issues in agent-based user interfaces (J. Alfredo S£nchez, Flalvio S. Azevedo, and John J. Leggett). Issues in automated negotiation and electronic commerce: Extending the contract net framework (Tuomas Sandholm and Victor Lesser). Unsupervised surrogate agents and search bias change in flexible distributed scheduling (Sandip Sen and Edmund H. Durfee). DIDE: A multi-agent environment for engineering design (Weiming Shen and Jean-Paul A. Baxthes). Exploiting social reasoning to deal with agency level inconsistency (Jaime Sim~o Sichman and Yves Demazeau). Reusing past plans in distributed planning (Toshiharu Sugawara). Itecursive agent and agent-group tracking in a real-time dynamic environment (Milind Tambe). Recursive agent modeling using limited rationality (Jos~ M. Vidal and Edmund H. Durfee). Understanding the emergency of conventions in multi-agent systems (Adam Walker and Michael Wooldridge). Distributed scheduling of multi-agent communication (Y. Xiang). Itesource contention in multi-agent systems (Michael Youssefmir and Bernardo A. Huberman). Invited speaker talks. Blissful ignorance: Knowing just enough to coordinate well (Edmund H. Durfee). Computational organization research (Les Gasser). Parallel, distributed and multi-agent production systems--A research foundation for distributed artificial intelligence (Toru Ishida). Developing industrial multi-agent systems (N.it. Jennings, J.M. Corera, and I. Laresgoiti). Multiagent planning as a social process: Voting, privacy, and manipulation (Jeffrey S. Rosenschein). Coordination of multiple intelligent agents in the infosphere (Katia P. Sycara). Posters. Knowledge and behavior in multiagent systems (Stanislaw Ambroszkiewicz). A multi-agent framework for inter-organizational applications (Matthew Anderton, Jim Cunningham, and Jeremy Pitt). Rational balancing of planning and communication in the dynamic multi-agents world (Sachiyo Arai). A communication protocol for conflict resolution (Pierre Azema, Francois Vernadat, and Jean Luc Albacete). Linear prediction in a multi-agent environment (Joachim Baczewski and Mario Tokoro). A game-theoretic approach to distributed control of traffic signals (Ana L.C. Bazan). An agent approach for case adaptation (itaghu R. Bhat). Linguistic support for agent migration (Rafael Heitor Bordini, Ant6nio Carlos da Itocha Costa, Jomi Fred Hiibner,
B o o k REPORTS
143
and Pmsa Maria Viccari). Map making as a support for cooperation (Fumihiko Chimura and Mario Tokoro). Distributed flow shop scheduling problem--Global versus local optimization (Thouraya Daouas, Khaled Ghedira, and Jean Pierre Muller). The consensus scheduling model: Negotiation among peers (William B. Day). Actions with typical effects: Epistemic characterization of schenarios (Barbara Dunin-Keplicz, and Anna Radzikowska). Unifying control in a layered agent architecture (Klaus Fischer, J6rg P. Muller, and Markus Pischel). Deriving goals and intentions (Gra~a Gaspar and Helder Coelho). Agents as reasoners, observers, or arbitrary believers (Enrico Giunehiglia, Fausto Giunchiglia, and Luciano Serafini). A quantitative analysis of the contract net protocol (Cheng Gu and Toru Ishida). Evolving cooperation strategies (Thomas Haynes, Roger Wainwright, and Sandip Sen). Distributed symbolic-subsymbolic agent architecture for configuring power network faults (R. Khosla and T. Dillon). An agent algebra for the formal description and verification of multi agent systems (Alexander Kick). Coalition-based cooperation between intelligent agents for a contextual recognition of interdatabase dependencies (Matthias Klusch). Self-organization based on coordinated actions of autonomous agents (Satoshi Kurihara and Michio Okada). AgenTalk: Coordination protocol description for multiagent systems (Kazuhiro Kuwabara, Toru Ishida, and Nobuyasu Osato). Multiagent coordination in distributed interactive battlefield simulations (John E. Laird, Randolph M. Jones, and Paul E. Nielsen). A microeconomic approach to intelligent resource sharing in multiagent systems (Jaeho Lee and Edmund H. Durfee). A view on the architecture and design of highly autonomous and situated agents (J. Masthoff and R. Van Hoe). Organic programming for multi-agents (Hideyuki Nakashima, Itsuki Noda, and Iehiro Ohsawa). A multi-agent approach to the design of coordination mechanisms (Carla Simone, Monica Divitini, Kjeld Schmidt, and Peter Cartersen). Some principles in designing cooperative architectures of autonomous agents (Lorenzo Sommaruga and Nadia Catenazzi). Learning coordination plans in distributed problem solving environments (Toshiharu Sugawara and Victor Lesser). An agent model in a multiagent system architecture for automating distributed systems (Walt Truszkowski, Jid60dubiyi, and Ed Ruberton). Beyond cooperation-ism and competition-ism (exploring social phenomena with a generalized tit-for-tat model) (Elpida S. Tzafestas). VIENA: A multiagent interface to a virtual environment (I. Wachsmuth, B. Lenzmann, and Y. Cao). Automated multiagent preference aggregation using fuzzy quantifiers (R.R. Yager). Asynchronous weak-commitment search for solving large-scale distributed constraint satisfaction problems (M. Yokoo). The consensus of uncertainties in distributed expert systems (M. Zhang and C. Zhang). Index. Computation and Intelliqence: Collected Readinqs. Edited by George F. Luger. AAAI Press, Menlo Park, C A / MIT Press, Cambridge, MA. (1995). 735 pages. $35.00. Contents: Acknowledgments. Introduction (George Luger). I. Foundations. 1. The prehistory of android epistemology (C. Glymour, K. Ford, and P. Hayes). 2. Computing machinery and intelligence (A. Turing). 3. Steps towards artificial intelligence (M. Minsky). 4. Computer science as empirical enquiry: Symbols and search (A. Newell and H.A. Simon). II. Knowledge representation. 5. The knowledge level. 6. A framework for representing knowledge (M. Minsky). 7. Retrieval time from semantic memory (A.M. Collins and M.R. Quillian). 8. A procedural model of language understanding (T. Winograd). 9. The structure of episodes in memory. (R. Schank). 10. In defense of logic (P. Hayes). 11. Escaping brittleness: The possibility of general purpose learning algorithms applied to parallel rule-based systems (J. Holland). 12. The appeal of parallel distributed processing (J.L. McClelland, D.E. Rumelhart, and G.E. Hinton). 13. Intelligence without representation (R.A. Brooks). III. Weak method problem solving. 14. Empirical explorations with the logic theory machine (A. Newell, J.C. Shaw, and H.A. Simon). 15. Some studies in machine learning using the game of checkers (A.L. Samuel). 16. GPS, a program that simulates human thought (A. Newell and H.A. Simon). 17. STRIPS: A new approach in the application of theorem proving to problem solving (R.E. Fikes and N.J. Nilsson). 18. Blackboard systems: The blackboard model of problem solving and the evolution of blackboard architectures (H.P. Nil). IV. Reasoning in complex and dynamic environments. 19. Programs with common sense. 20. Dendral and Meta-Dendral: Their applications dimension (B.G. Buchanan and E.A. Feigenbaum). 21. Consultation systems for physicians (E. Shortliffe). 22. A truth maintenance system (J. Doyle). 23. Circumscription--A form of non-monotonic reasoning (J. McCarthy). 24. The second naive physics manifesto (P. Hayes). 25. Paradigms for machine learning (J.G. Carbonell). 26. Improving human decision making through case based decision aiding (J. Kolodner). 27. Diagnosis based on description of structure and function (R. Davis, H. Shrobe, W. Hamscher, K. Wieckert, M. Shirley, and S. Polk). 28. Pengi: An implementation of a theory of activity (P. Agre and D. Chapman). V. Foundations revisited. 29. Logical versus analogical or symbolic versus connectionist or neat versus scruffy (M. Minsky). 30. Machine as mind (H.A. Simon). Bibliography. Index. The Capability Maturity Model: Guidelines for Improvinq the Software Process. Edited by Mark Paulk, Charles V. Weber, Bill Curtis, and Mary Beth Chrissis. Addison-Wesley, Reading, MA. (1995). 441 pages. $49.44. Contents: I. The capability maturity model for software: Background, concepts, structure, and usage. 1. Introducing software process maturity. 2. The software process maturity framework. 3. The structure of the capability maturity model. 4. Interpreting the CMM. 5. Using the CMM. 6. A high-maturity example: Space shuttle onboard software. II. The key practices of the capability maturity model for software. 7. The key areas for Level 2: Repeatable. 8. The key process areas for Level 3: Defined. 9. The key process areas for Level 4: Managed. 10. The key process areas for Level 5: Optimizing. Appendixes. A. References. B. Acronyms. C. Glossary. D. Abridged version of the key practices. E. Mapping the key practices to goals. F. Comparing ISO 9001 and the CMM. G. An overview of ISO's SPICE project. H. Change history of the CMM. I. Change Request Form. Index.
BOOK REPORTS
Proceedinqs: First International Conference on Multi-Aqent S~stems. June IP-14, 1995, San Francisco, California. Victor Lesser, General Chair. AAAI Press, Menlo Park, CA/MIT Press, Cambridge, MA. (1995). 472 pages. $70.00. Contents: ICMAS-95 organization. Preface. Papers. A multi-agent intelligent design system integrating manufacturing and shop-floor control (Sivaram Balasubramanian and Douglas H. Norrie). Motor schema-based formation control for multiagent robot teams (Tucker Balch and Ronald C. Arkin). COOL: A language for describing coordination in multi agent systems (Mihai Barbuceanu and Mark S. Fox). Formal specification of multi-agent systems: A real-world case (Frances Brazier, Barbaradunin Keplicz, Nick It. Jennings, and Jan Treur). The DRESUN testbed for research in FA/C distributed situation assessment: Extensions to the model of external evidence (Norman Carver and Victor Lesser). Commitments: From individual intentions to groups and organizations (Cristiano Castelfranchi). Communication for conflict resolution in multi-agent collaborative planning (Jennifer Chu-Carroll and Sandra Carberry). Multiagent reasoning with belief contexts II: Elaboration tolerance (Alessandro Cimatti and Luciano Sera2ini). Communicative actions for artificial agents (Philip It. Cohen and Hector J. Levesque). Designing a family of coordination algorithms (Keith S. Decker and Victor It. Lesser). Knowledge-based distributed search using teamwork (JSrg Denzinger). A tool for coordinating autonomous agents with conflicting goals (Love Ekenberg, Magnus Boman, and Mats Danielson). A tractable heuristic that maximizes global utility through local plan combination (Eithan Ephrati, Martha E. Pollack, and Jefrey S. Rosenschein). Coordination without communication: Experimental validation of focal point techniques (Maier Feaster, Sarit Kraus, and Jeffrey S. Rosenschein). A model for cooperative transportation scheduling (Klaus Fisher, JSrg P. Miiller, Markus Pischel, and Darius Schier). Dilemmas in computational societies (Natalie S. Glance and Tad Hogg). A rigorous, operational formalization of recursive modeling (Piotr J. Gmytrasiewicz and Edmund H. Durfee). Towards a pragmatic theory of interations (Afsaneh Haddadi). A game-theoretic account of collaboration in communication (K6iti Hasida, Katashi Nagao, and Takashi Miyata). Multiagent collaboration in directed improvisation (Barbara Hayes-Roth, Lee Brownston, and Robert van Gent). Forming coalitions for breaking deadlocks (Katsutoshi Hirayama and Jun'ichi Toyoda). Deciding when to commit to action during observation-based coordination (Marcus J. Huber and Edmund H. Durfee). A multi-agent system for controlling building environments (Bernardo A. Huberman and Scott H. Clearwater). How agents do it in stream logic programming (Matthew M. Huntbach, Nick R. Jennings, and Graem A. Ringwood). Two is not always better than one: Experience is real-time bidirectional search (Toru Ishida). Reasoning about belief based on common knowledge of observability of actions (Hideki Isozaki). The emergence of cooperation in a society of autonomous agents--The prisoner's dilemma game under the disclosure of contract histories (Akira Ito and Hiroyuki Yano). Self organizational approach for integration of distributed expert systems (Tatsuaki Itoh, Takashi Watanabe, and Takahira Yamaguchi). Synchronizing multiagent plans using temporal logic specifications (Froduald Kabanza). Hierarchical and lateral coordination in MAS: An analysis of message tragic flow (Alois Knoll and J. Meinkoehn). A cooperation language (Michael Kolb). On using KQML for matchmaking (Daniel Kuokka and Larry Harada). Exploiting problem structure for distributed constraint optimization (JyiShane Liu and Katia P. Sycara). A formal framework for agency and autonomy (Michael Luck and Mark d'Inverno). Understanding cooperation: An agent's perspective (Andreas Lux and Donald Steiner). Unsupervised multi-agent exploration of structured environments (Dario Maio and Stefano Rizzi). Time and the prisoner's dilemma (Yishay Mor and Jeffrey S. Rosenschein). A simple computational market for network information services (Tracy Mullen and Michael P. Wellman). Introducing the blind hunger dilemma: Agents' properties and performance (Chisato Numaoka). A metalevel coordination strategy for reactive cooperative planning (Ei-Ichi Osawa). Generalised proof-theory for multi-agent autoepistemic reasoning (Yongyuth Fermpoontanalarp and John Yuejun Jiang). BDI agents: From theory to practice (Anand S. Rao and Michael P. Georgeff). PARAgente: Exploring the issues in agent-based user interfaces (J. Alfredo S£nchez, Flalvio S. Azevedo, and John J. Leggett). Issues in automated negotiation and electronic commerce: Extending the contract net framework (Tuomas Sandholm and Victor Lesser). Unsupervised surrogate agents and search bias change in flexible distributed scheduling (Sandip Sen and Edmund H. Durfee). DIDE: A multi-agent environment for engineering design (Weiming Shen and Jean-Paul A. Baxthes). Exploiting social reasoning to deal with agency level inconsistency (Jaime Sim~o Sichman and Yves Demazeau). Reusing past plans in distributed planning (Toshiharu Sugawara). Itecursive agent and agent-group tracking in a real-time dynamic environment (Milind Tambe). Recursive agent modeling using limited rationality (Jos~ M. Vidal and Edmund H. Durfee). Understanding the emergency of conventions in multi-agent systems (Adam Walker and Michael Wooldridge). Distributed scheduling of multi-agent communication (Y. Xiang). Itesource contention in multi-agent systems (Michael Youssefmir and Bernardo A. Huberman). Invited speaker talks. Blissful ignorance: Knowing just enough to coordinate well (Edmund H. Durfee). Computational organization research (Les Gasser). Parallel, distributed and multi-agent production systems--A research foundation for distributed artificial intelligence (Toru Ishida). Developing industrial multi-agent systems (N.it. Jennings, J.M. Corera, and I. Laresgoiti). Multiagent planning as a social process: Voting, privacy, and manipulation (Jeffrey S. Rosenschein). Coordination of multiple intelligent agents in the infosphere (Katia P. Sycara). Posters. Knowledge and behavior in multiagent systems (Stanislaw Ambroszkiewicz). A multi-agent framework for inter-organizational applications (Matthew Anderton, Jim Cunningham, and Jeremy Pitt). Rational balancing of planning and communication in the dynamic multi-agents world (Sachiyo Arai). A communication protocol for conflict resolution (Pierre Azema, Francois Vernadat, and Jean Luc Albacete). Linear prediction in a multi-agent environment (Joachim Baczewski and Mario Tokoro). A game-theoretic approach to distributed control of traffic signals (Ana L.C. Bazan). An agent approach for case adaptation (itaghu R. Bhat). Linguistic support for agent migration (Rafael Heitor Bordini, Ant6nio Carlos da Itocha Costa, Jomi Fred Hiibner,
B o o k REPORTS
143
and Pmsa Maria Viccari). Map making as a support for cooperation (Fumihiko Chimura and Mario Tokoro). Distributed flow shop scheduling problem--Global versus local optimization (Thouraya Daouas, Khaled Ghedira, and Jean Pierre Muller). The consensus scheduling model: Negotiation among peers (William B. Day). Actions with typical effects: Epistemic characterization of schenarios (Barbara Dunin-Keplicz, and Anna Radzikowska). Unifying control in a layered agent architecture (Klaus Fischer, J6rg P. Muller, and Markus Pischel). Deriving goals and intentions (Gra~a Gaspar and Helder Coelho). Agents as reasoners, observers, or arbitrary believers (Enrico Giunehiglia, Fausto Giunchiglia, and Luciano Serafini). A quantitative analysis of the contract net protocol (Cheng Gu and Toru Ishida). Evolving cooperation strategies (Thomas Haynes, Roger Wainwright, and Sandip Sen). Distributed symbolic-subsymbolic agent architecture for configuring power network faults (R. Khosla and T. Dillon). An agent algebra for the formal description and verification of multi agent systems (Alexander Kick). Coalition-based cooperation between intelligent agents for a contextual recognition of interdatabase dependencies (Matthias Klusch). Self-organization based on coordinated actions of autonomous agents (Satoshi Kurihara and Michio Okada). AgenTalk: Coordination protocol description for multiagent systems (Kazuhiro Kuwabara, Toru Ishida, and Nobuyasu Osato). Multiagent coordination in distributed interactive battlefield simulations (John E. Laird, Randolph M. Jones, and Paul E. Nielsen). A microeconomic approach to intelligent resource sharing in multiagent systems (Jaeho Lee and Edmund H. Durfee). A view on the architecture and design of highly autonomous and situated agents (J. Masthoff and R. Van Hoe). Organic programming for multi-agents (Hideyuki Nakashima, Itsuki Noda, and Iehiro Ohsawa). A multi-agent approach to the design of coordination mechanisms (Carla Simone, Monica Divitini, Kjeld Schmidt, and Peter Cartersen). Some principles in designing cooperative architectures of autonomous agents (Lorenzo Sommaruga and Nadia Catenazzi). Learning coordination plans in distributed problem solving environments (Toshiharu Sugawara and Victor Lesser). An agent model in a multiagent system architecture for automating distributed systems (Walt Truszkowski, Jid60dubiyi, and Ed Ruberton). Beyond cooperation-ism and competition-ism (exploring social phenomena with a generalized tit-for-tat model) (Elpida S. Tzafestas). VIENA: A multiagent interface to a virtual environment (I. Wachsmuth, B. Lenzmann, and Y. Cao). Automated multiagent preference aggregation using fuzzy quantifiers (R.R. Yager). Asynchronous weak-commitment search for solving large-scale distributed constraint satisfaction problems (M. Yokoo). The consensus of uncertainties in distributed expert systems (M. Zhang and C. Zhang). Index. Computation and Intelliqence: Collected Readinqs. Edited by George F. Luger. AAAI Press, Menlo Park, C A / MIT Press, Cambridge, MA. (1995). 735 pages. $35.00. Contents: Acknowledgments. Introduction (George Luger). I. Foundations. 1. The prehistory of android epistemology (C. Glymour, K. Ford, and P. Hayes). 2. Computing machinery and intelligence (A. Turing). 3. Steps towards artificial intelligence (M. Minsky). 4. Computer science as empirical enquiry: Symbols and search (A. Newell and H.A. Simon). II. Knowledge representation. 5. The knowledge level. 6. A framework for representing knowledge (M. Minsky). 7. Retrieval time from semantic memory (A.M. Collins and M.R. Quillian). 8. A procedural model of language understanding (T. Winograd). 9. The structure of episodes in memory. (R. Schank). 10. In defense of logic (P. Hayes). 11. Escaping brittleness: The possibility of general purpose learning algorithms applied to parallel rule-based systems (J. Holland). 12. The appeal of parallel distributed processing (J.L. McClelland, D.E. Rumelhart, and G.E. Hinton). 13. Intelligence without representation (R.A. Brooks). III. Weak method problem solving. 14. Empirical explorations with the logic theory machine (A. Newell, J.C. Shaw, and H.A. Simon). 15. Some studies in machine learning using the game of checkers (A.L. Samuel). 16. GPS, a program that simulates human thought (A. Newell and H.A. Simon). 17. STRIPS: A new approach in the application of theorem proving to problem solving (R.E. Fikes and N.J. Nilsson). 18. Blackboard systems: The blackboard model of problem solving and the evolution of blackboard architectures (H.P. Nil). IV. Reasoning in complex and dynamic environments. 19. Programs with common sense. 20. Dendral and Meta-Dendral: Their applications dimension (B.G. Buchanan and E.A. Feigenbaum). 21. Consultation systems for physicians (E. Shortliffe). 22. A truth maintenance system (J. Doyle). 23. Circumscription--A form of non-monotonic reasoning (J. McCarthy). 24. The second naive physics manifesto (P. Hayes). 25. Paradigms for machine learning (J.G. Carbonell). 26. Improving human decision making through case based decision aiding (J. Kolodner). 27. Diagnosis based on description of structure and function (R. Davis, H. Shrobe, W. Hamscher, K. Wieckert, M. Shirley, and S. Polk). 28. Pengi: An implementation of a theory of activity (P. Agre and D. Chapman). V. Foundations revisited. 29. Logical versus analogical or symbolic versus connectionist or neat versus scruffy (M. Minsky). 30. Machine as mind (H.A. Simon). Bibliography. Index. The Capability Maturity Model: Guidelines for Improvinq the Software Process. Edited by Mark Paulk, Charles V. Weber, Bill Curtis, and Mary Beth Chrissis. Addison-Wesley, Reading, MA. (1995). 441 pages. $49.44. Contents: I. The capability maturity model for software: Background, concepts, structure, and usage. 1. Introducing software process maturity. 2. The software process maturity framework. 3. The structure of the capability maturity model. 4. Interpreting the CMM. 5. Using the CMM. 6. A high-maturity example: Space shuttle onboard software. II. The key practices of the capability maturity model for software. 7. The key areas for Level 2: Repeatable. 8. The key process areas for Level 3: Defined. 9. The key process areas for Level 4: Managed. 10. The key process areas for Level 5: Optimizing. Appendixes. A. References. B. Acronyms. C. Glossary. D. Abridged version of the key practices. E. Mapping the key practices to goals. F. Comparing ISO 9001 and the CMM. G. An overview of ISO's SPICE project. H. Change history of the CMM. I. Change Request Form. Index.