Dendral: A Case Study Lecture 25.

Slides:



Advertisements
Similar presentations
INTRODUCTION TO MODELING
Advertisements

Project Proposal.
Dialogue – Driven Intranet Search Suma Adindla School of Computer Science & Electronic Engineering 8th LANGUAGE & COMPUTATION DAY 2009.
Evaluation of representations in AI problem solving Eugene Fink.
Chapter 4 DECISION SUPPORT AND ARTIFICIAL INTELLIGENCE
1 ETR 520 Introduction to Educational Research Dr. M C. Smith.
Artificial Intelligence
Algorithms and Problem Solving-1 Algorithms and Problem Solving.
Algorithms and Problem Solving. Learn about problem solving skills Explore the algorithmic approach for problem solving Learn about algorithm development.
Smart Templates for Chemical Identification in GCxGC-MS QingPing Tao 1, Stephen E. Reichenbach 2, Mingtian Ni 3, Arvind Visvanathan 2, Michael Kok 2, Luke.
Automated Changes of Problem Representation Eugene Fink LTI Retreat 2007.
Intelligent User Interfaces Research Group Directed by: Frank Shipman.
Marakas: Decision Support Systems, 2nd Edition © 2003, Prentice-Hall Chapter Chapter 7: Expert Systems and Artificial Intelligence Decision Support.
1 CS 430 / INFO 430 Information Retrieval Lecture 24 Usability 2.
Chapter 12: Intelligent Systems in Business
Introduction to Workshop 10 Choosing Learning and Teaching Approaches and Strategies.
An Introduction to Software Engineering
Planning, Instruction, and Technology
LÊ QU Ố C HUY ID: QLU OUTLINE  What is data mining ?  Major issues in data mining 2.
Srihari-CSE730-Spring 2003 CSE 730 Information Retrieval of Biomedical Text and Data Inroduction.
COM362 Knowledge Engineering Classic Case Studies 1 John MacIntyre
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 18 Slide 1 Software Reuse.
Kansas State University Department of Computing and Information Sciences CIS 830: Advanced Topics in Artificial Intelligence From Data Mining To Knowledge.
Unit 2: Engineering Design Process
Beyond Intelligent Interfaces: Exploring, Analyzing, and Creating Success Models of Cooperative Problem Solving Gerhard Fischer & Brent Reeves.
Artificial Intelligence Introduction (2). What is Artificial Intelligence ?  making computers that think?  the automation of activities we associate.
Artificial Intelligence: Its Roots and Scope
RUP Implementation and Testing
Additional Unit 2 Lecture Notes New Instructional Design Focus School of Education Additional Unit 2 Lecture Notes New Instructional Design Focus School.
Chapter 2: Software Process Omar Meqdadi SE 2730 Lecture 2 Department of Computer Science and Software Engineering University of Wisconsin-Platteville.
SCSC 311 Information Systems: hardware and software.
BMAN Integrative Team Project Week 2 Professor Linda A Macaulay.
BLAST: A Case Study Lecture 25. BLAST: Introduction The Basic Local Alignment Search Tool, BLAST, is a fast approach to finding similar strings of characters.
Discovering Dynamic Models Lecture 21. Dynamic Models: Introduction Dynamic models can describe how variables change over time or explain variation by.
ITR: Collaborative research: software for interpretation of cosmogenic isotope inventories - a combination of geology, modeling, software engineering and.
Chapter One Orientation: The world of digital libraries How to Build a Digital Library Ian H. Witten and David Bainbridge.
 Day 59 Computer Science and Industry Exploring The Intersection Between CS and Other Fields.
What is Computer Science? “Computer Science is no more about computers than astronomy is about telescopes.” - Edsger Dijkstra “Computer Science is no more.
Artificial Intelligence By Michelle Witcofsky And Evan Flanagan.
An Introduction to Software Engineering. Communication Systems.
Introduction to Software Engineering. Why SE? Software crisis manifested itself in several ways [1]: ◦ Project running over-time. ◦ Project running over-budget.
1 CHAPTER 2 Decision Making, Systems, Modeling, and Support.
Discovering Structural Models Lecture 19. Structural Models in Science Structural models encode the spatial relationships among the components of some.
An Evaluation Tool for Natural Language Processing Systems Audrey N. Mbeje Department of Computer Science Ball State University November 09, 2000.
Theme 2: Data & Models One of the central processes of science is the interplay between models and data Data informs model generation and selection Models.
Using Symbolic PathFinder at NASA Corina Pãsãreanu Carnegie Mellon/NASA Ames.
Requirements Engineering Requirements Validation and Management Lecture-24.
UTA/ARRI. Enterprise Engineering for The Agile Enterprise Don Liles The University of Texas at Arlington.
SCIENTIFIC WRITINGS Choosing a topic and finding sources.
Organic Evolution and Problem Solving Je-Gun Joung.
Supporting the design of interactive systems a perspective on supporting people’s work Hans de Graaff 27 april 2000.
___________________________________________________ Informatics MSc Course PLAN – Automated Planning The aim of this course is to provide: a solid grounding.
Introduction to Cogsci April 07, Central Theme Cognitive Science was occuppied with the algorithmic level for much of its history: successive manipulation.
Survey on Expert System Seung Jun Lee Dept. of Nuclear and Quantum Engineering KAIST Mar 3, 2003.
ASSEMBLY AND DISASSEMBLY: AN OVERVIEW AND FRAMEWORK FOR COOPERATION REQUIREMENT PLANNING WITH CONFLICT RESOLUTION in Journal of Intelligent and Robotic.
Artificial Intelligence
Algorithms and Problem Solving
Computing Research for Sustainability
CSCI-235 Micro-Computer Applications
Organization and Knowledge Management
Introduction to Expert Systems Bai Xiao
Software Life Cycle Models
Artificial Intelligence introduction(2)
CSc4730/6730 Scientific Visualization
ISTE Workshop Research Methods in Educational Technology
Computational Nanotechnology
Web Mining Department of Computer Science and Engg.
전문가 시스템(Expert Systems)
Modeling and Analysis Tutorial
Scientific Workflows Lecture 15
Presentation transcript:

Dendral: A Case Study Lecture 25

DENDRAL: Introduction DENDRAL (for DENDritic ALgorithm) was an early intelligent system for science informatics DEDNRAL’s primary task was to discover a chemical’s structure from its mass spectrum. A mass spectrometer uses electrons to break a chemical into fragments. Given a histogram of fragment abundance, DENDRAL identifies the original structure. Although never widely used, DENDRAL did lead to results publishable in the chemistry literature.

Using Dendral Users interacted with Dendral through a teletype, which imposed limitations on the system’s interface. The interface was limited and required users to learn a formal language. The ability to view chemical structure on a teletype was unique. Users entered problem specific information. DENDRAL returned an array of potential structures. from Lindsey et al. (1993) AI Journal

Knowledge in DENDRAL At its outset, DENDRAL was unique due to its incorporation of domain specific knowledge. Researchers involved with DENDRAL espoused the knowledge principle: A system exhibits a high level of intelligence primarily because of the knowledge that it can bring to bear. Following this, the system was given knowledge about chemical structures and mass spectrometry. This knowledge constrained the structures that DENDRAL would consider, eliminating many that were implausible. Domain knowledge also informed the evaluation of the plausible structures that remained.

Plan – Generate – Test The generate-and-test approach is a common strategy in discovery systems. A system following this strategy has a generator that suggests solutions and a tester that evaluates them. DENDRAL extended this approach by automatically adapting the generator to the particular problem at hand. The plan-generate-test strategy includes an initial problem assessment that produces situational constraints. These constraints limit the generator and substantially reduce the number of structures considered. This approach effectively creates a situation-specific solution generator for each problem it encounters.

CONGEN CONGEN, for CONstrained GENeration, produced the candidate chemical structures. To generate these structures, CONGEN requires a chemical formula, such as C12H14O; a set of superatoms that define partial molecular structures, such as the methyl group CH3; and constraints on how the atoms and superatoms may be assembled into a structure. CONGEN produced an exhaustive and nonredundant set of chemical structures. DENDRAL’s developers saw this as a necessary condition for chemists to trust the system’s output. Of course, humans are not so systematic.

PLANNER PLANNER automated the specification of constraints for working with a particular mass spectrum. To produce the constraints, PLANNER requires a structure common to a class of chemical compounds; descriptions of potential fragmentations, including the bonds they break and any side effects they have; and a mass spectrum. PLANNER’s constraints stated the atoms contained in the substructures attached to the class-level structure. Plausible substructures were placed on a GOODLIST and implausible ones were placed on a BADLIST to be avoided.

PREDICTOR PREDICTOR tested CONGEN’s structures by comparing simulated fragmentations to the mass spectrum. To evaluate a candidate structure, PREDICTOR requires a structure in the form used by CONGEN; a set of production rules that simulate the fragmentation processes that occur within a mass spectrometer; and a mass spectrum. When multiple structures can explain the data, they are ranked according to a user-provided scoring measure.

Why Wasn’t DENDRAL Commonly Used? Chemists were unaware of the program. Chemists didn’t want to invest the time to learn it. Exhaustive generation was not seen as essential to the structure elucidation problem. The niche that DENDRAL fills wasn’t considered important enough to warrant use of the system. DENDRAL was not cost-effective for single individuals. Attitudes such as "Machines can't think; that’s my job.” DENDRAL’s pieces were easier to market than the whole system. Edited and abridged conjectures from the Lindsey et al. 1993 article in AI Journal.

Science Informatics Lessons from DENDRAL An interactive user interface is not merely a nicety but is essential. Providing assistance to problem solvers is a more realistic goal than doing their jobs for them. Computer assistants should maintain records just as a human assistant would. A uniform knowledge representation eases user interaction and program development. Users must understand the scope of problems a system can solve and the limitations in its abilities. Explicit assumptions and initial conditions of a problem, help users understand the results. Edited and abridged lessons from the Lindsey et al. 1993 article in AI Journal.

DENDRAL: Summary DENDRAL used heuristic search to address a challenging task of scientific discovery. The system relied heavily on knowledge, and its underlying formalism affected its development and usability. As an informatics tool, DENDRAL resembles BLAST in that developers made it publicly available to researchers; it addressed a specific need of chemists. DENDRAL’s case differs from BLAST in that the speed and accessibility of the internet was limited; it was difficult to port to other computing environments; it was not integrated with other useful tools.