Goto

Collaborating Authors

 Industry


SciFinance: A Program Synthesis Tool for Financial Modeling

AI Magazine

The SciFinance software synthesis system, licensed to major investment banks, automates programming for financial risk-management activities -- from algorithms research to production pricing to risk control. SciFinance's high-level, extensible specification language, aspen, lets quantitative analysts generate code from concise model descriptions written in application-specific and mathematical terminology; typically, a page or less produces thousands of lines of c. aspen's abstractions help analysts focus on their primary tasks -- model description, validation, and analysis -- rather than on programming details. Compared with manual programming, automation produces codes that are more sophisticated, accurate, and consistent. The shared knowledge base is used by the specification checker, synthesis system, and information portal.


Human-Level AI's Killer Application: Interactive Computer Games

AI Magazine

Although one of the fundamental goals of AI is to understand and develop intelligent systems that have all the capabilities of humans, there is little active research directly pursuing this goal. We propose that AI for interactive computer games is an emerging application area in which this goal of human-level AI can successfully be pursued. Interactive computer games have increasingly complex and realistic worlds and increasingly complex and intelligent computer-controlled characters. In this article, we further motivate our proposal of using interactive computer games for AI research, review previous research on AI and games, and present the different game genres and the roles that human-level AI could play within these genres. We then describe the research issues and AI techniques that are relevant to each of these roles. Our conclusion is that interactive computer games provide a rich environment for incremental research on human-level AI.


AAAI News

AI Magazine

The Council encouraged Science and Engineering Fair, to be sometimes after an appropriate the Conference Committee to gather held May 8-10 in San Jose. Carol asked waiting period agreeable to our copublisher, extensive feedback after the 2002 conference for a volunteer to replace Mel Montemerlo The MIT Press. The Council voted to gauge how well this new as the coordinator of the judging in favor of reaffirming this policy format was received.


Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence

AI Magazine

The structure of the book makes examples and applications, and a section such as the agent's ability to it useful for practitioners from AI and dedicated to the relationship between perceive the environment and maintain general computer science as well as multiagent systems and various knowledge about it, reason about other areas such as aviation, transportation, other research areas. This book compiles said environment, and execute particular and business. The book presents the important concepts and actions to solve tasks. The design the basics of all the components methodologies required to develop a of a single-agent system, although not required to build a multiagent system.


LifeCode: A Deployed Application for Automated Medical Coding

AI Magazine

LifeCode is a natural language processing (NLP) and expert system that extracts demographic and clinical information from free-text clinical records. The initial application of LifeCode is for the emergency medicine clinical specialty. An application for diagnostic radiology went into production in October 2000. The LifeCode NLP engine uses a large number of specialist readers whose particular output are combined at various levels to form an integrated picture of the patient's medical condition(s), course of treatment, and disposition. The LifeCode expert system performs the tasks of combining complementary information, deleting redundant information, assessing the level of medical risk and level of service represented in the clinical record, and producing an output that is appropriate for input to an electronic medical record (EMR) system or a hospital information system. Because of the critical nature of the tasks, LifeCode has a unique "self-awareness" feature that enables it to recognize the limits of its competence and, thus, ask for assistance from a human expert when faced with information that is beyond the bounds of its competence. The LifeCode NLP and expert systems reside in various delivery packages, including online transaction processing, a web browser interface, and an automated speech recognition (ASR) interface.


An Innovative Application from the DARPA Knowledge Bases Programs: Rapid Development of a Course-of-Action Critiquer

AI Magazine

First, we introduce the concept of a learning agent shell as a tool to be used directly by a subjectmatter of theories, methods, and tools that expert (SME) to develop an agent. In his invited talk at the 1993 National strategies. In addition, it supported the (MIT), Stanford University, and Conference on Artificial Intelligence, development of methods for rapidly Northwestern University, developed two Edward Feigenbaum compared the technology extracting knowledge from natural language end-to-end integrated systems that were of a knowledge-based computer texts and the World Wide Web evaluated by Information Extraction system with a tiger in a cage. Rarely does and for knowledge acquisition from subject and Transport Inc. (IET), the challenge a technology arise that offers such a matter experts (SMEs). However, emphasis of the HPKB Program was 1999. Both systems demonstrated high this technology is still far from the use of challenge problems, which are performance through knowledge reuse achieving its potential. This tiger is in a complex, innovative military applications and semantic integration and created a cage, and to free it, the AI research community of AI that are intended to focus the significant amount of reusable knowledge.


Personalized Electronic Program Guides for Digital TV

AI Magazine

Although today's world offers us unprecedented access to greater and greater amounts of electronic information, we are faced with significant problems when it comes to finding the right information at the right time -- the essence of the information-overload problem. One of the proposed solutions to this problem is to develop technologies for automatically learning about the implicit and explicit preferences of individual users to customize and personalize the search for relevant information. In this article, we describe the development of the personalized television listings system (PTV),1 which tackles the information-overload problem associated with modern TV listings data by providing an Internet-based personalized TV listings service so that each registered user receives a daily TV guide that has been specially compiled to suit his/her particular viewing preferences.


SciFinance: A Program Synthesis Tool for Financial Modeling

AI Magazine

The SciFinance software synthesis system, licensed to major investment banks, automates programming for financial risk-management activities -- from algorithms research to production pricing to risk control. SciFinance's high-level, extensible specification language, aspen, lets quantitative analysts generate code from concise model descriptions written in application-specific and mathematical terminology; typically, a page or less produces thousands of lines of c. aspen's abstractions help analysts focus on their primary tasks -- model description, validation, and analysis -- rather than on programming details. Compared with manual programming, automation produces codes that are more sophisticated, accurate, and consistent. Analysts develop models within a day that previously took weeks or were not even attempted. SciFinance extends a system that generates scientific computing codes in a variety of target languages. The implementation integrates an object-oriented knowledge base, refinement and optimization rules, computer algebra, and a planning system. The shared knowledge base is used by the specification checker, synthesis system, and information portal.


Editorial Introduction to this Special Issue of AI Magazine: The Twelfth Innovative Applications of Artificial Intelligence Conference (IAAI-2000)

AI Magazine

Deployed applications are three-dimensional scenes, speech input Rapid Development of a systems that have been in use for at for information access, multimodal Course-of-Action Critiquer," by Gheorghe least several months by individuals or dialog, machine learning in engineering Tecuci, Mihai Boicu, Mike Bowman, organizations other than their developers, design, ontologies, agent models, and Dorin Marcu, describes a critiquing have measurable benefits, and and case-based reasoning.


GIB: Imperfect Information in a Computationally Challenging Game

Journal of Artificial Intelligence Research

This paper investigates the problems arising in the construction of a program to play the game of contract bridge. These problems include both the difficulty of solving the game's perfect information variant, and techniques needed to address the fact that bridge is not, in fact, a perfect information game. GIB, the program being described, involves five separate technical advances: partition search, the practical application of Monte Carlo techniques to realistic problems, a focus on achievable sets to solve problems inherent in the Monte Carlo approach, an extension of alpha-beta pruning from total orders to arbitrary distributive lattices, and the use of squeaky wheel optimization to find approximately optimal solutions to cardplay problems. GIB is currently believed to be of approximately expert caliber, and is currently the strongest computer bridge program in the world.