He is a and Information Science at The and Information Science at The Distinguished Professor of Computer Ohio State University, Columbus, Ohio State University, Columbus, Science at the University of Minnesota, Ohio 43210. He is currently writing Ohio 43210. He is currently writing a position he has held since 1984.

Empirical evidence suggests that searching deeper in game trees using the minimax propagation rule usually improves the quality of decisions significantly. However, despite many recent theoretical analyses of the effects of minimax look ahead, however, this phenomenon has still not been convincingly explained. Instead, much attention has been given to so-called pathological behavior, which occurs under certain assumptions. This article supports the view that pathology is a direct result of these underlying theoretical assumptions. Pathology does not occur in practice, because these assumptions do not apply in realistic domains. The article presents several arguments in favor of minimaxing and focuses attention on the gap between their analytical formulation and their practical meaning. A new model is presented based on the strict separation of static and dynamic aspects in practical programs. finally, certain methods of improving minimax look-ahead are discussed, drawing on insights gained from this research.

The goal of intelligent computer-aided engineering (ICAE) is to construct computer programs that capture a significant fraction of an engineer's knowledge. Today, ICAE systems are a goal, not a reality. This article attempts to refine that goal and suggest how to get there. We begin by examining several scenarios of what ICAE systems could be like. Next we describe why ICAE won't evolve directly from current applications of expert system technology to engineering problems. I focus on qualitative physics as a critical area where progress is needed, both in terms of representations and styles of reasoning.

Within the academic and professional auditing communities, there has been growing concern about how to accurately assess the various risks associated with performing an audit. These risks are difficult to conceptualize in terms of numeric estimates. This article discusses the development of a prototype computational model (computer program) that assesses one of the major audit risks -- inherent risk. This program bases most of its inferencing activities on a qualitative model of a typical business enterprise.

James Peters, coauthor of "A Knowledge-Based Model of Audit Risk," is an assistant professor in the Department of Accounting, College of Business Administration, University of Oregon. Glenn D. Rennels coauthor of "Prose Generation from Expert Systems: An Applied Computational Linguistics Thomas Arcidiacono, the author of the review of An Artificial Intelligence Approach, " is a research affiliate in Approach to Legal Reasoning, is affiliated with the Artificial Intelligence Laboratory, the Medical Information Sciences Program, the New York Institute of Technology, Sunburst Center 203, Central Edwina L. Rissland, author of "Artificial Intelligence and Legal Reasoning: R. Peter Bonasso, author of "An Hermann Kaindl, author of "Minimaxing: A Discussion of the Field and Assessment of What AI Can Do for Theory and Practice", is a Gardner's Book," is an associate professor Battle Management--A Report of the software engineer in the position of of Computer and Information First AAAI Workshop on AI Applications "Gruppenleiter" at Siemens AG Science at the University of Massachusetts to Battle Management" is the osterreich, Program and System Engineering at Amherst and lecturer on department head of the Artificial Since 1984, he has been a lecturer law at the Harvard Law School. Operations division, 7525 Colshire research interests include planning Drive, Mclean, VA 22102. Vasant Dhar, coauthor of "A Knowledge-Based Model of Audit Risk," is Model of Audit Risk," is Peat Marwick Professor of Accounting, Kenneth D. Forbus is an assistant professor Perry Miller, coauthor of "Prose Generation of computer science at the University from Expert Systems: An Call toU-free 800-521-3044 Or mail inquiry to: University Microfilms International. Forbus's research interests Program, Yale University include qualitative reasoning, inference School of Medicine, 333 Cedar Street, engine design, analogical reasoning P.O.

As both a computer scientist and a lawyer, Gardner understands the importance of participation by scholars from both fields in future research. Her work is directed at two groups of readers: those with technical knowledge of AI programming techniques, and those trained in law.

Is it because they have been "mastered," or have become "trivial?" Indeed, many new problems for these applications add to the complexity of the solutions rater than trivialize them. Indeed, the work of myself and course, is no longer mathematics. The YES/L1 language is an integration of artificial intelligence is at a of procedural and rule-based techniques. Condition-action rules in plateau from which it can rise or fall YES/L1 are driven by a RETElike algorithm.

The above are subject to won the title outright with a score of verification by the USCF; however, in 4.5 - 0.5. The finale was very exciting the past our calculated ratings have as the number one seeded player, never differed from the USCF's by International Master Ed Formanek, more than 2 points. This advance also had a perfect 4-0 going into the final places Hitech among the top 150 players round against the number two seed in the U.S. Hitech's performance Hitech, which was the only competitor rating was 2507. Hitech had to win In tournaments since the National to gain the title, whereas Formanek Open, Hitech had a mediocre result of could become Champion by drawing 3.5 - 2.5 at the Fredkin Masters Open this game. Hitech played beautifully, in Pittsburgh, May 28-30.

The PROSENET/TEXTNET approach is designed to facilitate the generation of polished prose by an expert system. The approach uses the augmented transition network (ATN) formalism to help structure prose generation at the phrase, sentence, and paragraph levels. The approach also uses expressive frames to help give the expert system builder considerable freedom to organize material flexibly at the paragraph level. The PROSENET /TEXTNET approach has been used in a number of prototype expert systems in medical domains, and has proved to be a convenient and powerful tool.

In this article, I discuss the emerging field of artificial intelligence and legal reasoning and review the new book by Anne v.d.L. Gardner, An Artificial Intelligence Approach to Legal Reasoning, published by Bradford/MIT Press (1987, 225 pp., $22.50) as the first book in its new series on the subject.