* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Unit 4_Expert Systems and AI
Survey
Document related concepts
Soar (cognitive architecture) wikipedia , lookup
Existential risk from artificial general intelligence wikipedia , lookup
Incomplete Nature wikipedia , lookup
Human–computer interaction wikipedia , lookup
Ecological interface design wikipedia , lookup
Embodied cognitive science wikipedia , lookup
Philosophy of artificial intelligence wikipedia , lookup
Computer Go wikipedia , lookup
Personal knowledge base wikipedia , lookup
Transcript
JPEXS 0 7. 11. 2007 v1.1 Vypracovaná lekce 4 Tuto lekci pro vás vypracoval JPEXS. Lekce nemusí být vypracovaná správně, takže si nestěžujte. Doporučuji, abyste si lekci udělali sami a případně až nakonec si to zkontrolovali se mnou. Je dobrý si alespoň přečíst ten článek, abyste pak v závěrečném testu mohli napsat esej. JPEXS v 1.1 7.11.2007 - Poznámky C.2. http://technodrom.jpexs.com JPEXS 1 7. 11. 2007 v1.1 EXPERT SYSTEMS AND ARTIFICIAL INTELLIGENCE Robert S. Engelmore Edward Feigenbaum Adapted Expert Systems are computer programs that are derived from a branch of computer science research called Artificial Intelligence (AI). AI's scientific goal is to understand intelligence by building computer programs that exhibit intelligent behavior. It is concerned with the concepts and methods of symbolic inference, or reasoning, by a computer, and how the knowledge used to make those inferences will be represented inside the machine. Of course, the term intelligence covers many cognitive skills, including the ability to solve problems, learn, and understand language; AI addresses all of those. But most progress to date in AI has been made in the area of problem solving -- concepts and methods for building programs that reason about problems rather than calculate a solution. AI programs that achieve expert-level competence in solving problems in task areas by bringing to bear a body of knowledge about specific tasks are called knowledge-based or expert systems. Often, the term expert systems is reserved for programs whose knowledge base contains the knowledge used by human experts, in contrast to knowledge gathered from textbooks or non-experts. More often than not, the two terms, expert systems (ES) and knowledge-based systems (KBS) are used synonymously. Taken together, they represent the most widespread type of AI application. The area of human intellectual endeavor to be captured in an expert system is called the task domain. Task refers to some goal-oriented, problem-solving . Domain refers to the area within which the task is being performed. Typical tasks are diagnosis, planning, scheduling, configuration and design. Building an expert system is known as knowledge engineering and its practitioners are called knowledge engineers. A knowledge engineer must make sure that the computer has all the knowledge needed to solve a problem. A knowledge engineer must choose one or more forms in which to represent the required knowledge as symbol patterns in the memory of the computer -- that is, he (or she) must choose a knowledge representation. He must also ensure that the computer can use the knowledge efficiently by selecting from a handful of reasoning methods. The practice of knowledge engineering is described later. First, we describe the components of expert systems. The Building Blocks of Expert Systems Every expert system consists of two principal parts: the knowledge base; and the reasoning, or inference, engine. The knowledge base of expert systems contains both factual and heuristic knowledge. Factual knowledge is such knowledge of the task domain that is widely shared, typically found in textbooks or journals, and commonly agreed upon by those knowledgeable in the particular field. Heuristic knowledge is the less rigorous, more experiential, more judgmental knowledge of performance. In contrast to factual knowledge, heuristic knowledge is rarely discussed, and is largely individualistic. It is the knowledge of good practice, good judgment, and plausible reasoning in the field. It is the knowledge that underlies the "art of good guessing." Knowledge representation formalizes and organizes the knowledge. One widely used representation is the production rule, or simply rule. A rule consists of an IF part and a THEN part (also called a condition and an action). The IF part lists a set of conditions in some logical combination. The piece of knowledge represented by the production rule is relevant to the line of reasoning being developed if the IF part of the rule is satisfied; consequently, the THEN part can be concluded, or its problemsolving action taken. Expert systems whose knowledge is represented in rule form are called rulebased systems. Another widely used representation, called Artificial Intelligence (also known as frame, schema, or list structure) is based upon a more passive view of knowledge. The unit is an assemblage of associated http://technodrom.jpexs.com JPEXS 2 7. 11. 2007 v1.1 symbolic knowledge about an entity to be represented. Typically, a unit consists of a list of properties of the entity and associated values for those properties. Since every task domain consists of many entities that stand in various relations, the properties can also be used to specify relations, and the values of these properties are the names of other units that are linked according to the relations. One unit can also represent knowledge that is a "special case" of another unit, or some units can be "parts” of another unit. The problem-solving model, or Artificial Intelligence, organizes and controls the steps taken to solve the problem. One common but powerful paradigm involves chaining of the IF-THEN rules to form a line of reasoning. If the chaining starts from a set of conditions and moves toward some conclusion, the method is called forward chaining. If the conclusion is known (for example, a goal to be achieved) but the path to that conclusion is not known, then reasoning backwards is called for, and the method is backward chaining. These problem-solving methods are built into program modules called inference engines or inference procedures that manipulate and use knowledge in the knowledge base to form a line of reasoning. The knowledge base an expert uses is what he learned at school, from colleagues, and from years of experience. Presumably the more experience he has, the larger his store of knowledge. Knowledge allows him to interpret the information in his databases to advantage in diagnosis, design, and analysis. Though an expert system consists primarily of a knowledge base and an inference engine, a couple of other features are worth mentioning: reasoning with uncertainty, and explanation of the line of reasoning. Knowledge is almost always incomplete and uncertain. To deal with uncertain knowledge, a rule may associate with it a confidence factor or a weight. The set of methods for using uncertain knowledge in combination with uncertain data in the reasoning process is called reasoning with uncertainty. An important subclass of methods for reasoning with uncertainty is called "fuzzy logic," and the systems that use them are known as "fuzzy systems." Because an expert system uses uncertain or heuristic knowledge (as we humans do) its credibility is often in question (as is the case with humans). When an answer to a problem is questionable, we tend to want to know the rationale. If the rationale seems plausible, we tend to believe the answer. So it is with expert systems. Most expert systems have the ability to answer questions of the form: "Why is the answer X?" Explanations can be generated by tracing the line of reasoning used by the inference engine (Feigenbaum, McCorduck et al. 1988). The most important ingredient in any expert system is knowledge. The power of expert systems resides in the specific, high-quality knowledge. They contain task domains. AI researchers will continue to explore and add to the current repertoire of knowledge representation and reasoning methods. But in knowledge resides the power. Because of the importance of knowledge in expert systems and because the current knowledge acquisition method is slow and tedious, much of the future of expert systems depends on breaking the knowledge acquisition bottleneck and in codifying and representing a large knowledge infrastructure. Bricks and Mortar The fundamental working hypothesis of AI is that intelligent behavior can be precisely described as symbol manipulation and can be modeled with the symbol processing capabilities of the computer. In the late 1950s, special programming languages were invented that facilitate symbol manipulation. The most prominent is called LISP (LISt Processing). Because of its simple elegance and flexibility, most AI research programs are written in LISP, but commercial applications have moved away from LISP. http://technodrom.jpexs.com JPEXS 3 7. 11. 2007 v1.1 In the early 1970s another AI programming language was invented in France. It is called PROLOG (PROgramming in LOGic). LISP has its roots in one area of mathematics (lambda calculus), PROLOG in another (first-order predicate calculus). PROLOG consists of English-like statements which are facts (assertions), rules (of inference), and questions. Here is an inference rule: "If object-x is part of object-y then a component of object-y is object-x." Programs written in PROLOG have behavior similar to rule-based systems written in LISP. PROLOG, however, did not immediately become a language of choice for AI programmers. In the early 1980s it was given impetus with the announcement by the Japanese that they would use a logic programming language for the Fifth Generation Computing Systems (FGCS) Project. A variety of logic-based programming languages have since arisen, and the term prolog has become generic. Published: May 1993; WTEC Hyper-Librarian A. Vocabulary. 1. Fill in the gaps in the following sentences using one of the key words. confidence; fuzzy (2); cognitive (2); heuristic; assertion 1. The term ________ cognitive __________ in "_____ cognitive _____________ science" is "used for any kind of mental operation or structure that can be studied in precise terms" (Lakoff and Johnson, 1999). 2. The word _______ heuristic ___________ comes from the Greek, which means "I find". It is found in Archimedes' famous exclamation "eureka”!. 3. ______ fuzzy ____________ logic is derived from _____ confidence _____________ set theory dealing with reasoning that is approximate rather than precisely deduced from classical predicate logic. 4. ________ fuzzy __________ is used to help specify programs and to reason about program correctness. 5. ______ assertion ____________ as a psychological quality is related to, but distinct from, self esteem; i.e. if a person or thing is capable of something. 2. Complete the parts of information taken from the text with the given terms. bottleneck plausible acquisition cognitive tedious heuristic practitioners questionable 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. assemblage inference confidence assertions ingredient reasoning associated mortar methods of symbolic _____ inference _____________ ______ cognitive ____________ skills probabilistic _______ reasoning ___________ in expert systems ____ practitioners ________ building an expert system are called knowledge engineers factual and _____ heuristic _____________ knowledge an ______ assemblage ____________ of ______ associated ____________ symbolic knowledge ____ confidence ______________ factor or a weight problem is _____ questionable _____________ rationale seems ____ plausible ______________ important ______ ingredient ____________ in any expert system current knowledge ______ acquisition ____________ method is slow and ______ tedious ____________ http://technodrom.jpexs.com JPEXS 4 7. 11. 2007 v1.1 12. breaking the knowledge acquisition _____ bottleneck _____________ 13. bricks and ______ mortar ____________ 14. facts ( ________ assertions __________ ), rules (of inference), and questions 3. Match these key words from the text with their definitions. Inference the act or process of deriving a conclusion based solely on what one already knows Assemblage act of using reason to derive a conclusion from certain premises using a given methodology (inductive or deductive) Predicate logic an artistic process in which a three-dimensional artistic composition is made from putting together found objects Ingredient something that forms part of a mixture Reasoning a fundamental concept in first-order logic 4. Match the words whose meaning is collocated very often, as used in the text! 1 2 3 4 5 6 7 8 9 10 11 12 goal-oriented forward knowledge-based artificial expert-level problem first-order inference high-quality fuzzy rule-based English-like A B C D E F G H I J K L intelligence solving competence systems tasks chaining procedures logic knowledge predicate statements systems 1E 2F 3D 4A 5C 6B 7J 8G 9I 10 H 11 L 12 K Why are some attributes hyphenated? B. Text comprehension. Answer the questions. 1. What is the main goal of Artificial intelligence? to understand intelligence by building computer programs that exhibit intelligent behavior 2. How can you explain a problem solving area? http://technodrom.jpexs.com JPEXS 5 7. 11. 2007 v1.1 3. How are the programs whose knowledge base contains the knowledge used by human experts, in contrast to knowledge gathered from textbooks or non-experts called? expert systems 4. What does the task domain refer to? that is widely shared, typically found in textbooks or journals, and commonly agreed upon by those knowledgeable in the particular field 5. What are the main tasks of knowledge engineers to build the expert system? Typical tasks are diagnosis, planning, scheduling, configuration and design. 6. Explain in detail what knowledge base is. The knowledge base of expert systems contains both factual and heuristic knowledge. Factual knowledge is such knowledge of the task domain that is widely shared, typically found in textbooks or journals, and commonly agreed upon by those knowledgeable in the particular field. 7. What is the main function of knowledge representation? Knowledge representation formalizes and organizes the knowledge 8. What can the properties be also used for? to specify relations 9. What is the difference between forward chaining and backward chaining? . If the chaining starts from a set of conditions and moves toward some conclusion, the method is called forward chaining. If the conclusion is known (for example, a goal to be achieved) but the path to that conclusion is not known, then reasoning backwards is called for, and the method is backward chaining. 10. How are these problem-solving methods used and what for? These problem-solving methods are built into program modules called inference engines or inference procedures that manipulate and use knowledge in the knowledge base to form a line of reasoning. 11. How is uncertainty solved in expert systems? An important subclass of methods for reasoning with uncertainty is called "fuzzy logic," and the systems that use them are known as "fuzzy systems." 12. What is the fundamental working hypothesis of AI? The fundamental working hypothesis of AI is that intelligent behavior can be precisely described as symbol manipulation and can be modeled with the symbol processing capabilities of the computer. C. Grammar. 1. Complete the sentences with the following prepositional phrases. Follow the context. in question based upon deal with resides in derived from moved away from consists of in contrast to because of according to in combination with depends on 1. Some computer programs are ______ derived from ____________ Artificial Intelligence. 2. There are programs whose knowledge base contains the knowledge used by human experts, ______ in contrast to ____________ knowledge gathered from textbooks or non-experts. 3. A rule ____ consists of ______________ an IF part and a THEN part. 4. Frame is _____based upon _____________ a more passive view of knowledge. The values of these properties are the names of other units that are linked ______ according to____________ the relations. 5. To ______ deal with____________ uncertain knowledge, a rule may have associated with it a weight. 6. The set of methods for using uncertain knowledge _______ in combination with ___________ uncertain data in the reasoning process is called reasoning with uncertainty. http://technodrom.jpexs.com JPEXS 6 7. 11. 2007 v1.1 7. Since an expert system uses uncertain knowledge, its credibility is often _____ in question ___________ . 8. The power of expert systems ____ resides in ______________ the specific, high-quality knowledge. 9. _______ because of ___________ the importance of knowledge much of the future of expert systems ________ depends on __________ breaking the knowledge acquisition bottleneck and in codifying and representing a large knowledge infrastructure. 10. Commercial applications have __________ moved away from ________ LISP. 2. Make definitions based mainly on the text. a) In scientific texts DEFINITIONS are used very often. Supporting grammar usually prefers using relative clauses (both in their full forms or shortened). b) The similar meaning of terms can also be expressed with verbs such as to refer to (as), to be known as, to represent. Make definitions of the selected terms using a) full relative clauses in A. and b) one of the mentioned verbs in B. 1. 2. 3. 4. 5. 6. expert systems Expert Systems are computer programs that are derived from a branch of computer science research called Artificial Intelligence (AI). artificial intelligence AI is the science whose goal is to understand intelligence by building computer programs that exhibit intelligent behavior. heuristic knowledge Heuristic knowledge is the less rigorous, more experiential, more judgmental knowledge of performance unit The unit is an assemblage of associated symbolic knowledge about an entity to be represented. fuzzy logic f.l. belongs to the method of reasoning based on probability English-like statements 3. Use the idiom below in your own sentence to show your understanding. to be often in question 4. Compare LISP and PROLOG. Main characteristics, advantages x disadvantages LISP - simple elegance and flexibility PROLOG - English-like statements, facts (assertions), rules (of inference), D. Homework. Grammar. 1. First check your knowledge of the words and terms in the dictionary. expert level competence odborná úroveň způsobilost http://technodrom.jpexs.com JPEXS 7 task area oblast úlohy acquisition získání body of knowledge tělo znalostí reasoning with/under uncertainty bring to bear uplatnit 7. 11. 2007 v1.1 rozhodování s nejistotou 2. Translate the following sentences into Czech. Pay special attention to the appropriate translation of the –ing forms. 1. AI's scientific goal is to understand intelligence by building computer programs. - Vědecký cíl umělé intelligence je porozumět inteligenci vytvořením počítačových program. 2. Most progress has been made in the area of problem solving – concepts and methods for building programs that reason about problems rather than calculate a solution. - Nejvíce pokroku se udělalo v oblasti řešení problem – koncepty a metody pro vytváření program, kteřé raději uvažují o problémech než počítají řešení. 3. AI programs that achieve expert-level competence in solving problems in task areas by bringing to bear a body of knowledge about specific tasks are called knowledge-based or expert systems. - Programy umělé inteligence které dosáhnou způsobilosti odborné úrovně v řešení problémů v oblastech úloh uplatňujících tělo vědění o určitých úlohách se nazývají založené na znalostech nebo expertní systémy. 4. An important subclass of methods for reasoning with uncertainty is called "fuzzy logic". - Důležitá podtřída metod pro usuzování s nejistotou se nazývá “fuzzy logika” 5. Much of the future of expert systems depends on breaking the knowledge acquisition bottleneck and in codifying and representing a large knowledge infrastructure. - Mnoho budoucích expertních system závisí na rozšíření záskávání znalostí a v kodifikování a reprezentování rozsáhlé znalostní infrastuktury. A topic tip for your presentation. The Fifth Generation Computing Systems (FGCS) Project. Fuzzy logic. Poznámky: Jak , tak …both …and Buď nebo either…or Ani ani ..neither …or Kvalitní - of… quality http://technodrom.jpexs.com JPEXS 8 7. 11. 2007 v1.1 Consist in – lie in lay Lie – ležet Lay – položit Lay an egg – slepice klade vejce Another – jeden další Others - jiní http://technodrom.jpexs.com