The research on conditional planning rejects the assumptions that there is no uncertainty or incompleteness of knowledge with respect to the state and changes of the system the plans operate on. Without these assumptions the sequences of operations that achieve the goals depend on the initial state and the outcomes of nondeterministic changes in the system. This setting raises the questions of how to represent the plans and how to perform plan search. The answers are quite different from those in the simpler classical framework. In this paper, we approach conditional planning from a new viewpoint that is motivated by the use of satisfiability algorithms in classical planning. Translating conditional planning to formulae in the propositional logic is not feasible because of inherent computational limitations. Instead, we translate conditional planning to quantified Boolean formulae. We discuss three formalizations of conditional planning as quantified Boolean formulae, and present experimental results obtained with a theorem-prover.

Tinsley admirably overcomes this obstruction, how Tinsley's sacrifice enables his ultimate defeat, and how vided more than a glimpse of the Tinsley deals with the end of his domination University of Alberta set out to intense process it described. One Jump Ahead was written by the On a sad note, the community He succeeded. Even though One Jump Ahead is human nature. Schaeffer had to unfortunate because the world checkers the human aspects of Schaeffer's journey Finally, Kidder's book, The Soul of a New nearly unbeatable world champion of Schaeffer had to deal with However, One Jump Ahead is We also get to know many of his about and what the consequences of quite different and, in my opinion, friends and rivals, including Asa Long, this success were. We and turns has lessons to be learned was written by an outsider-- one who see these checkers players not just as about human nature.

The conference will be held July 18-22, 1999, at the Omni Rosen Hotel and the Orange County Convention Center in Orlando, Florida. National Conference on Artificial by two keynote addresses: (1) AAAI is pleased to announce the Intelligence. This award will honor the author(s) of of AI in other organizations (for example, AAAI is happy to announce its sponsorship paper(s) deemed most influential, CRA, ACM, IEEE); or influential of the CHIKids program during chosen from a specific conference service as a government agency contract AAAI-99. The 1999 award will be given to monitor or program director, provides child care for conference the most influential paper(s) from the resulting in positive effects on the attendees' children, first started two First National Conference on Artificial field of AI. Nominees must be current years ago at the SIGCHI-96.

The immense growth of the web has caused the amount of text available online to skyrocket. The AAAI-98 Workshop on Learning for Text Categorization brought together researchers from many of respective areas. A to share their different experiences four workshops were held in conjunction final panel on the synergistic effects of in tackling similar problems. Specifically, several researchers made tasks, no previous workshop soning system, what the significance the point that making use of linguistic attempted to characterize CBR integration of these synergies is, how they can be structure, as well as using stylistic and issues. This nontextual features of documents, can Workshop highlights included panel and the other discussion periods improve categorization performance.

We describe an AI system (CTSHIV) that connects the scientific AIDS literature describing specific human immunodeficiency virus (HIV) drug resistances directly to the customized treatment strategy of a specific HIV patient. Rules in the CTSHIV knowledge base encode knowledge about sequence mutations in the HIV genome that have been found to result in drug resistance to the HIV virus. Rules are applied to the actual HIV sequences of the virus strains infecting the specific patient undergoing clinical treatment to infer current drug resistance. A rule-directed search through mutation sequence space identifies nearby drug-resistant mutant strains that might arise. The possible combination drug-treatment regimens currently approved by the U.S. Food and Drug Administration are considered and ranked by their estimated ability to avoid identified current and nearby drug-resistant mutants. The highest-ranked treatments are recommended to the attending physician. The result is more precise treatment of individual HIV patients and a decreased tendency to select for drug-resistant genes in the global HIV gene pool. Initial results from a small human clinical trial are encouraging, and further clinical trials are planned. From an AI viewpoint, the case study demonstrates the extensibility of knowledge-based systems because it illustrates how existing encoded knowledge can be used to support new knowledge-based applications that were unanticipated when the original knowledge was encoded.

Victor Lesser (University of Massachusetts at Amherst) gave an invited talk on distributed interpretation and its of Hong Kong Polytechnic University, possible implication in DDM. Mining, brought interested researchers (Brigham Young University) and Salvatore The paper sessions ended with two and practitioners together and created Stolfo (Columbia University) working paper presentations by Billy an environment for crystallizing the presented the effects of class distribution Wallace and Juan Botia, Marcedes Garijo, fast-growing field of DDM. The concluding session was the panel Lawrence Hall, Nitesh Chawla, and 40 participants attended the workshop. Stolfo, George Cybenko Kevin W. Bowyer (all of University of The workshop had 13 presentations, Stolfo stressed suggested different techniques for Cybenko of Dartmouth University. Organizers sincerely hope that the session.

The Innovative Applications of Artificial Intelligence Conference was held 28-30 July 1998 in Madison, Wisconsin. Bruce Buchanan was the program chair and Sam Uthrusamy was the program cochair.

To coordinate, intelligent agents might need to know something about themselves, about each other, about how others view themselves and others, about how others think others view themselves and others, and so on. Taken to an extreme, the amount of knowledge an agent might possess to coordinate its interactions with others might outstrip the agent's limited reasoning capacity (its available time, memory, and so on). Much of the work in studying and building multiagent systems has thus been devoted to developing practical techniques for achieving coordination, typically by limiting the knowledge available to, or necessary for, agents. This article categorizes techniques for keeping agents suitably ignorant so that they can practically coordinate and gives a selective survey of examples of these techniques for illustration.

To not only proving new mathematical obtain broader input, especially from countries results by computer but also formally verifying outside North America, a call for commentaries the correctness of (certain properties of) computer was issued to the automated deduction community.

TACAIR-SOAR is an intelligent, rule-based system that generates believable humanlike behavior for large-scale, distributed military simulations. The innovation of the application is primarily a matter of scale and integration. The system is capable of executing most of the airborne missions that the U.S. military flies in fixed-wing aircraft. It accomplishes its missions by integrating a wide variety of intelligent capabilities, including real-time hierarchical execution of complex goals and plans, communication and coordination with humans and simulated entities, maintenance of situational awareness, and the ability to accept and respond to new orders while in flight. The system is currentl y deployed at the Oceana Naval Air Station WISSARD (what-if simulation system for advanced research and development) Lab and the Air Force Research Laboratory in Mesa, Arizona. Its most dramatic use was in the Synthetic Theater of War 1997, which was an operational training exercise that ran for 48 continuous hours during which TACAIR-SOAR flew all U.S. fixed-wing aircraft.