SlideShare una empresa de Scribd logo
1 de 26
THANK YOU ALL



     EXPERT SYSTEMS
          &
        PROLOG



                      1
EXPERT SYSTEMS

 OVERVIEW


 An experts system is a system that incorporates
 concepts derived from experts in a field and uses
 their knowledge to provide problem analysis
 through programs available to clinical practitioners.



                                                         2
EXPERT SYSTEMS

 IDEA OF EXPERT SYSTEMS


 The most common form of expert system is
 software made up of a set of rules that analyze
 information.




                                                   3
EXPERT SYSTEMS

 IDEA OF EXPERT SYSTEMS

    INPUT
     INPUT       SYSTEM    OUTPUT




               KNOWLEDGE
               KNOWLEDGE
      Result      BASE     Feedback
                  BASE




                                      4
EXPERT SYSTEMS

 SOME PROMINENT EXPERT SYSTEMS

    Dendral, analyses mass spectra

    CADUCEUS, blood-borne infectious bacteria

    R1/XCon, order processing




                                                 5
EXPERT SYSTEMS

    SOME PROGRAMMING LANGUAGE

   Prolog, programming language used in the development of
    expert systems

   CLIPS, programming language used as Prolog to develop
    expert systems

   Jess (Java Expert System Shell), A CLIPS engine
    implemented in Java used to develop expert systems.


                                                              6
EXPERT SYSTEMS

 CHAINING


 There are two main methods of reasoning when
 using inference rules:
   Forward Chaining

   Backward Chaining



                                                7
EXPERT SYSTEMS

 FORWARD CHAINING


 Forward chaining starts with the data available and
 uses the inference rules to conclude more data
 until a desired goal is reached.




                                                   8
EXPERT SYSTEMS

 FORWARD CHAINING

 An inference engine using forward chaining
 searches the inference rules until it finds one in
 which the if-clause is known to be true. It then
 concludes the then-clause and adds this
 information to its data. It would continue to do this
 until a goal is reached.

                                                         9
EXPERT SYSTEMS

 FORWARD CHAINING

    IF
     IF          TRUE
                  TRUE     THEN
                            THEN




              KNOWLEDGE   ADD
   CONCLUDE
                 BASE     KNOWLEDGE
   D




                                      10
EXPERT SYSTEMS

 BACKWARD CHAINING


 Backward chaining starts with a list of goals and
 works backwards to see if there is data which will
 allow to it to conclude ant of these goals.




                                                      11
EXPERT SYSTEMS

 BACKWARD CHAINING


 An inference engine using backward chaining
 would search the inference rules until it finds one
 which has a then-clause that matched a desired
 goal.




                                                       12
EXPERT SYSTEMS

 BACKWARD CHAINING


 Suppose a rule-based contains two rules:

 1. If Fritz is green then Fritz is a frog.

 2. If Fritz is a frog then Fritz hops.




                                              13
EXPERT SYSTEMS

 BACKWARD CHAINING




                                         IF
                                         IF
  IF
   IF      FRITZ is Green   THEN
                             THEN    FRITZ is Frog




                                         THEN
                                         THEN
   Knowledge

                                    FRITZ is Frog
        Frog is green.
         Frog is green.
          Frog hops.
           Frog hops.




                                                     14
EXPERT SYSTEMS

 END USER


 Here is a dialog between end user and an expert
 system:




                                                   15
EXPERT SYSTEMS

 DIALOG:

 Q. Do you know which restaurant you want to go to?
 A. No
 Q. Is there any kind of food you would particularly like?
 A. No
 Q. Do you like spicy food?
 A. No
 Q. Do you usually drink wine with meals?
 A. Yes
 Q. When you drink wine, is it French wine?
 A. Yes

                                                             16
EXPERT SYSTEMS

 RESULT:


 A. I am trying to determine the type of restaurant to suggest.
 So far Chinese is not a likely choice. It is possible that French
 is a likely choice. I know that if the diner is a wine drinker, and
 the preferred wine is French, then there is strong evidence
 that the restaurant choice should include French.




                                                                   17
PROLOG

    HISTORY

   The name Prolog was chosen by Philippe Roussel as an
    abbreviation for "PROgrammation en LOGique” (French for
    programming in logic).
   It was created around 1972 by Alain Colmerauerr with
    Philippe Roussell, based on Robert Kowalski's procedural
    interpretation of Horn clauses.


                                                               18
PROLOG

DATA TYPES

Prolog's single data type is the term. Terms are either atoms,
numbers, variables or compound terms.




                                                             19
PROLOG

Programming in Prolog


 Prolog programs describe relations, defined by means of
clauses. Pure Prolog is restricted to Horn clauses, a Turing-
complete subset of first-order predicate logic. There are two
types of clauses: Facts and rules.




                                                                20
PROLOG

Programming in Prolog


 An example of a fact is:

cat(tom).



which is equivalent to the rule:

cat(tom) :- true.



                                   21
PROLOG

EVALUATION


Execution of a Prolog program is initiated by the user's
posting of a single goal, called the query. Logically, the
Prolog engine tries to find a resolution refutation of the
negated query. The resolution method used by Prolog is
called SLD resolution. If the negated query can be refuted, it
follows the query.


                                                                 22
PROLOG
For example:
sibling(X, Y) :- parent_child(Z, X), parent_child(Z, Y).
parent_child(X, Y) :- father_child(X, Y).
parent_child(X, Y) :- mother_child(X, Y). mother_child(trude,
sally).
father_child(tom, sally).
father_child(tom, erica).
father_child(mike, tom).
This results in the following query being evaluated as true:
?- sibling(sally, erica). Yes

                                                                23
PROLOG

    Related languages
   Visual Prolog, also formerly known as PDC Prolog and
    Turbo Prolog.
   Datalog is actually a subset of Prolog.
   In some ways Prolog is a subset of Planner. The ideas in
    Planner were later further developed in the Scientific
    Community Metaphor.




                                                               24
EXPERT SYSTEMS

 ADVANTAGES

  Provide consistent answers for repetitive decisions,
   processes and tasks
  Hold and maintain significant levels of information

  Reduces creating entry barriers to competitors

  Review transactions that human experts may overlook



                                                          25
EXPERT SYSTEMS
    DISADVANTAGES
   The lack of human common sense needed in some decision
    makings
   Domain experts not always being able to explain their logic and
    reasoning
   The lack of flexibility and ability to adapt to changing environments
    as questions are standard and cannot be changed
   Not being able to recognize when no answer is available




                                                                            26

Más contenido relacionado

La actualidad más candente

Knowledge representation In Artificial Intelligence
Knowledge representation In Artificial IntelligenceKnowledge representation In Artificial Intelligence
Knowledge representation In Artificial IntelligenceRamla Sheikh
 
I. AO* SEARCH ALGORITHM
I. AO* SEARCH ALGORITHMI. AO* SEARCH ALGORITHM
I. AO* SEARCH ALGORITHMvikas dhakane
 
The n Queen Problem
The n Queen ProblemThe n Queen Problem
The n Queen ProblemSukrit Gupta
 
Dempster Shafer Theory AI CSE 8th Sem
Dempster Shafer Theory AI CSE 8th SemDempster Shafer Theory AI CSE 8th Sem
Dempster Shafer Theory AI CSE 8th SemDigiGurukul
 
Knowledge representation and Predicate logic
Knowledge representation and Predicate logicKnowledge representation and Predicate logic
Knowledge representation and Predicate logicAmey Kerkar
 
Ll(1) Parser in Compilers
Ll(1) Parser in CompilersLl(1) Parser in Compilers
Ll(1) Parser in CompilersMahbubur Rahman
 
Propositional logic
Propositional logicPropositional logic
Propositional logicRushdi Shams
 
I.BEST FIRST SEARCH IN AI
I.BEST FIRST SEARCH IN AII.BEST FIRST SEARCH IN AI
I.BEST FIRST SEARCH IN AIvikas dhakane
 
Artificial Intelligence Notes Unit 1
Artificial Intelligence Notes Unit 1 Artificial Intelligence Notes Unit 1
Artificial Intelligence Notes Unit 1 DigiGurukul
 
Minmax Algorithm In Artificial Intelligence slides
Minmax Algorithm In Artificial Intelligence slidesMinmax Algorithm In Artificial Intelligence slides
Minmax Algorithm In Artificial Intelligence slidesSamiaAziz4
 
Forward and Backward chaining in AI
Forward and Backward chaining in AIForward and Backward chaining in AI
Forward and Backward chaining in AIMegha Sharma
 
Ch 7 Knowledge Representation.pdf
Ch 7 Knowledge Representation.pdfCh 7 Knowledge Representation.pdf
Ch 7 Knowledge Representation.pdfKrishnaMadala1
 
Knowledge representation in AI
Knowledge representation in AIKnowledge representation in AI
Knowledge representation in AIVishal Singh
 

La actualidad más candente (20)

First order logic
First order logicFirst order logic
First order logic
 
Knowledge representation In Artificial Intelligence
Knowledge representation In Artificial IntelligenceKnowledge representation In Artificial Intelligence
Knowledge representation In Artificial Intelligence
 
I. AO* SEARCH ALGORITHM
I. AO* SEARCH ALGORITHMI. AO* SEARCH ALGORITHM
I. AO* SEARCH ALGORITHM
 
The n Queen Problem
The n Queen ProblemThe n Queen Problem
The n Queen Problem
 
Dempster Shafer Theory AI CSE 8th Sem
Dempster Shafer Theory AI CSE 8th SemDempster Shafer Theory AI CSE 8th Sem
Dempster Shafer Theory AI CSE 8th Sem
 
Knowledge representation and Predicate logic
Knowledge representation and Predicate logicKnowledge representation and Predicate logic
Knowledge representation and Predicate logic
 
Ll(1) Parser in Compilers
Ll(1) Parser in CompilersLl(1) Parser in Compilers
Ll(1) Parser in Compilers
 
Np cooks theorem
Np cooks theoremNp cooks theorem
Np cooks theorem
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
I.BEST FIRST SEARCH IN AI
I.BEST FIRST SEARCH IN AII.BEST FIRST SEARCH IN AI
I.BEST FIRST SEARCH IN AI
 
Artificial Intelligence Notes Unit 1
Artificial Intelligence Notes Unit 1 Artificial Intelligence Notes Unit 1
Artificial Intelligence Notes Unit 1
 
Minmax Algorithm In Artificial Intelligence slides
Minmax Algorithm In Artificial Intelligence slidesMinmax Algorithm In Artificial Intelligence slides
Minmax Algorithm In Artificial Intelligence slides
 
phases of a compiler
 phases of a compiler phases of a compiler
phases of a compiler
 
Forward and Backward chaining in AI
Forward and Backward chaining in AIForward and Backward chaining in AI
Forward and Backward chaining in AI
 
AI: Planning and AI
AI: Planning and AIAI: Planning and AI
AI: Planning and AI
 
Ch 7 Knowledge Representation.pdf
Ch 7 Knowledge Representation.pdfCh 7 Knowledge Representation.pdf
Ch 7 Knowledge Representation.pdf
 
Programming in c
Programming in cProgramming in c
Programming in c
 
Knowledge representation in AI
Knowledge representation in AIKnowledge representation in AI
Knowledge representation in AI
 
Frames
FramesFrames
Frames
 
AI: AI & Problem Solving
AI: AI & Problem SolvingAI: AI & Problem Solving
AI: AI & Problem Solving
 

Destacado

ProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) IntroductionProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) Introductionwahab khan
 
Introduction on Prolog - Programming in Logic
Introduction on Prolog - Programming in LogicIntroduction on Prolog - Programming in Logic
Introduction on Prolog - Programming in LogicVishal Tandel
 
Prolog Programming : Basics
Prolog Programming : BasicsProlog Programming : Basics
Prolog Programming : BasicsMitul Desai
 
Managing Agricultural Knowledge Through Localized Community Expert System
Managing Agricultural Knowledge Through Localized Community Expert SystemManaging Agricultural Knowledge Through Localized Community Expert System
Managing Agricultural Knowledge Through Localized Community Expert SystemIbrahim Ahmed
 
The Return of the Living Datalog
The Return of the Living DatalogThe Return of the Living Datalog
The Return of the Living DatalogMike Fogus
 
Dss & knowledge management
Dss & knowledge managementDss & knowledge management
Dss & knowledge managementHiren Selani
 
10 logic+programming+with+prolog
10 logic+programming+with+prolog10 logic+programming+with+prolog
10 logic+programming+with+prologbaran19901990
 
Part 8 add,update,delete records using records operation buttons in vb.net
Part 8 add,update,delete records using records operation buttons in vb.netPart 8 add,update,delete records using records operation buttons in vb.net
Part 8 add,update,delete records using records operation buttons in vb.netGirija Muscut
 
Logical Programming With ruby-prolog
Logical Programming With ruby-prologLogical Programming With ruby-prolog
Logical Programming With ruby-prologPreston Lee
 
Part 3 binding navigator vb.net
Part 3 binding navigator vb.netPart 3 binding navigator vb.net
Part 3 binding navigator vb.netGirija Muscut
 
What’s new in Visual C++
What’s new in Visual C++What’s new in Visual C++
What’s new in Visual C++Microsoft
 
Debugging in visual studio (basic level)
Debugging in visual studio (basic level)Debugging in visual studio (basic level)
Debugging in visual studio (basic level)Larry Nung
 
Vb.net session 15
Vb.net session 15Vb.net session 15
Vb.net session 15Niit Care
 

Destacado (20)

Introduction to Prolog
Introduction to PrologIntroduction to Prolog
Introduction to Prolog
 
Prolog basics
Prolog basicsProlog basics
Prolog basics
 
Prolog & lisp
Prolog & lispProlog & lisp
Prolog & lisp
 
ProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) IntroductionProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) Introduction
 
Introduction on Prolog - Programming in Logic
Introduction on Prolog - Programming in LogicIntroduction on Prolog - Programming in Logic
Introduction on Prolog - Programming in Logic
 
Prolog Programming : Basics
Prolog Programming : BasicsProlog Programming : Basics
Prolog Programming : Basics
 
Managing Agricultural Knowledge Through Localized Community Expert System
Managing Agricultural Knowledge Through Localized Community Expert SystemManaging Agricultural Knowledge Through Localized Community Expert System
Managing Agricultural Knowledge Through Localized Community Expert System
 
MIS chap # 11.....
MIS chap # 11.....MIS chap # 11.....
MIS chap # 11.....
 
The Return of the Living Datalog
The Return of the Living DatalogThe Return of the Living Datalog
The Return of the Living Datalog
 
Dss & knowledge management
Dss & knowledge managementDss & knowledge management
Dss & knowledge management
 
Chap13
Chap13Chap13
Chap13
 
10 logic+programming+with+prolog
10 logic+programming+with+prolog10 logic+programming+with+prolog
10 logic+programming+with+prolog
 
Part 8 add,update,delete records using records operation buttons in vb.net
Part 8 add,update,delete records using records operation buttons in vb.netPart 8 add,update,delete records using records operation buttons in vb.net
Part 8 add,update,delete records using records operation buttons in vb.net
 
Logical Programming With ruby-prolog
Logical Programming With ruby-prologLogical Programming With ruby-prolog
Logical Programming With ruby-prolog
 
Part 3 binding navigator vb.net
Part 3 binding navigator vb.netPart 3 binding navigator vb.net
Part 3 binding navigator vb.net
 
What’s new in Visual C++
What’s new in Visual C++What’s new in Visual C++
What’s new in Visual C++
 
Introduction to XML
Introduction to XMLIntroduction to XML
Introduction to XML
 
Presentation1
Presentation1Presentation1
Presentation1
 
Debugging in visual studio (basic level)
Debugging in visual studio (basic level)Debugging in visual studio (basic level)
Debugging in visual studio (basic level)
 
Vb.net session 15
Vb.net session 15Vb.net session 15
Vb.net session 15
 

Similar a Expert Systems & Prolog Programming Language

Combining Evidence for Cross-language Information Retrieval
Combining Evidence for Cross-language Information RetrievalCombining Evidence for Cross-language Information Retrieval
Combining Evidence for Cross-language Information RetrievalPetra Galuscakova
 
Chris Brew - TR Discover: A Natural Language Interface for Exploring Linked D...
Chris Brew - TR Discover: A Natural Language Interface for Exploring Linked D...Chris Brew - TR Discover: A Natural Language Interface for Exploring Linked D...
Chris Brew - TR Discover: A Natural Language Interface for Exploring Linked D...Machine Learning Prague
 
NEUROSERVICE-Corporate_2015
NEUROSERVICE-Corporate_2015NEUROSERVICE-Corporate_2015
NEUROSERVICE-Corporate_2015Bruno Buisson
 
Testing Plug-in Architectures
Testing Plug-in ArchitecturesTesting Plug-in Architectures
Testing Plug-in ArchitecturesArie van Deursen
 
A scalable ontology reasoner via incremental materialization
A scalable ontology reasoner via incremental materializationA scalable ontology reasoner via incremental materialization
A scalable ontology reasoner via incremental materializationRokan Uddin Faruqui
 
Drools5 Community Training Module#1: Drools5 BLiP Introduction
Drools5 Community Training Module#1: Drools5 BLiP IntroductionDrools5 Community Training Module#1: Drools5 BLiP Introduction
Drools5 Community Training Module#1: Drools5 BLiP IntroductionMauricio (Salaboy) Salatino
 
Expert System With Python -1
Expert System With Python -1Expert System With Python -1
Expert System With Python -1Ahmad Hussein
 
Pareto-Efficient Hybridization for Multi-Objective Recommender Systems
Pareto-Efficient Hybridization for Multi-Objective Recommender SystemsPareto-Efficient Hybridization for Multi-Objective Recommender Systems
Pareto-Efficient Hybridization for Multi-Objective Recommender SystemsMarco Túlio Ribeiro
 
Web Science, SADI, and the Singularity
Web Science, SADI, and the SingularityWeb Science, SADI, and the Singularity
Web Science, SADI, and the SingularityMark Wilkinson
 
Artificial Intelligence
Artificial IntelligenceArtificial Intelligence
Artificial Intelligenceiarthur
 
Web Science - ISoLA 2012
Web Science - ISoLA 2012Web Science - ISoLA 2012
Web Science - ISoLA 2012Mark Wilkinson
 
Assistive system for Parkinson's patients - Carnegie Mellon University Spring...
Assistive system for Parkinson's patients - Carnegie Mellon University Spring...Assistive system for Parkinson's patients - Carnegie Mellon University Spring...
Assistive system for Parkinson's patients - Carnegie Mellon University Spring...KP Kshitij Parashar
 
DNA sequencer by kk sahu
DNA sequencer by kk sahu DNA sequencer by kk sahu
DNA sequencer by kk sahu KAUSHAL SAHU
 
Maintaining Large Scale Julia Ecosystems
Maintaining Large Scale Julia EcosystemsMaintaining Large Scale Julia Ecosystems
Maintaining Large Scale Julia EcosystemsChris Rackauckas
 

Similar a Expert Systems & Prolog Programming Language (20)

Combining Evidence for Cross-language Information Retrieval
Combining Evidence for Cross-language Information RetrievalCombining Evidence for Cross-language Information Retrieval
Combining Evidence for Cross-language Information Retrieval
 
Chris Brew - TR Discover: A Natural Language Interface for Exploring Linked D...
Chris Brew - TR Discover: A Natural Language Interface for Exploring Linked D...Chris Brew - TR Discover: A Natural Language Interface for Exploring Linked D...
Chris Brew - TR Discover: A Natural Language Interface for Exploring Linked D...
 
NEUROSERVICE-Corporate_2015
NEUROSERVICE-Corporate_2015NEUROSERVICE-Corporate_2015
NEUROSERVICE-Corporate_2015
 
Testing Plug-in Architectures
Testing Plug-in ArchitecturesTesting Plug-in Architectures
Testing Plug-in Architectures
 
Expert systems
Expert systemsExpert systems
Expert systems
 
A scalable ontology reasoner via incremental materialization
A scalable ontology reasoner via incremental materializationA scalable ontology reasoner via incremental materialization
A scalable ontology reasoner via incremental materialization
 
Drools5 Community Training Module#1: Drools5 BLiP Introduction
Drools5 Community Training Module#1: Drools5 BLiP IntroductionDrools5 Community Training Module#1: Drools5 BLiP Introduction
Drools5 Community Training Module#1: Drools5 BLiP Introduction
 
Expert System With Python -1
Expert System With Python -1Expert System With Python -1
Expert System With Python -1
 
Pareto-Efficient Hybridization for Multi-Objective Recommender Systems
Pareto-Efficient Hybridization for Multi-Objective Recommender SystemsPareto-Efficient Hybridization for Multi-Objective Recommender Systems
Pareto-Efficient Hybridization for Multi-Objective Recommender Systems
 
Web Science, SADI, and the Singularity
Web Science, SADI, and the SingularityWeb Science, SADI, and the Singularity
Web Science, SADI, and the Singularity
 
Artificial Intelligence
Artificial IntelligenceArtificial Intelligence
Artificial Intelligence
 
Web Science - ISoLA 2012
Web Science - ISoLA 2012Web Science - ISoLA 2012
Web Science - ISoLA 2012
 
Itm 3
Itm 3Itm 3
Itm 3
 
Practical semantics in the pharmaceutical industry - the Open PHACTS project
Practical semantics in the pharmaceutical industry - the Open PHACTS projectPractical semantics in the pharmaceutical industry - the Open PHACTS project
Practical semantics in the pharmaceutical industry - the Open PHACTS project
 
Assistive system for Parkinson's patients - Carnegie Mellon University Spring...
Assistive system for Parkinson's patients - Carnegie Mellon University Spring...Assistive system for Parkinson's patients - Carnegie Mellon University Spring...
Assistive system for Parkinson's patients - Carnegie Mellon University Spring...
 
Expert Systems
Expert SystemsExpert Systems
Expert Systems
 
DNA sequencer by kk sahu
DNA sequencer by kk sahu DNA sequencer by kk sahu
DNA sequencer by kk sahu
 
Maintaining Large Scale Julia Ecosystems
Maintaining Large Scale Julia EcosystemsMaintaining Large Scale Julia Ecosystems
Maintaining Large Scale Julia Ecosystems
 
Expert system
Expert systemExpert system
Expert system
 
Rus agro elpis
Rus agro elpisRus agro elpis
Rus agro elpis
 

Último

Disha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdfDisha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdfchloefrazer622
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Celine George
 
Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..Disha Kariya
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfsanyamsingh5019
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfJayanti Pande
 
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactPECB
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxiammrhaywood
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)eniolaolutunde
 
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationnomboosow
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityGeoBlogs
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfciinovamais
 
JAPAN: ORGANISATION OF PMDA, PHARMACEUTICAL LAWS & REGULATIONS, TYPES OF REGI...
JAPAN: ORGANISATION OF PMDA, PHARMACEUTICAL LAWS & REGULATIONS, TYPES OF REGI...JAPAN: ORGANISATION OF PMDA, PHARMACEUTICAL LAWS & REGULATIONS, TYPES OF REGI...
JAPAN: ORGANISATION OF PMDA, PHARMACEUTICAL LAWS & REGULATIONS, TYPES OF REGI...anjaliyadav012327
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdfQucHHunhnh
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdfQucHHunhnh
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAssociation for Project Management
 
The byproduct of sericulture in different industries.pptx
The byproduct of sericulture in different industries.pptxThe byproduct of sericulture in different industries.pptx
The byproduct of sericulture in different industries.pptxShobhayan Kirtania
 

Último (20)

Disha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdfDisha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdf
 
Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17
 
Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdf
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdf
 
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
 
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global Impact
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)
 
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communication
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activity
 
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
 
JAPAN: ORGANISATION OF PMDA, PHARMACEUTICAL LAWS & REGULATIONS, TYPES OF REGI...
JAPAN: ORGANISATION OF PMDA, PHARMACEUTICAL LAWS & REGULATIONS, TYPES OF REGI...JAPAN: ORGANISATION OF PMDA, PHARMACEUTICAL LAWS & REGULATIONS, TYPES OF REGI...
JAPAN: ORGANISATION OF PMDA, PHARMACEUTICAL LAWS & REGULATIONS, TYPES OF REGI...
 
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptxINDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across Sectors
 
The byproduct of sericulture in different industries.pptx
The byproduct of sericulture in different industries.pptxThe byproduct of sericulture in different industries.pptx
The byproduct of sericulture in different industries.pptx
 

Expert Systems & Prolog Programming Language

  • 1. THANK YOU ALL EXPERT SYSTEMS & PROLOG 1
  • 2. EXPERT SYSTEMS OVERVIEW An experts system is a system that incorporates concepts derived from experts in a field and uses their knowledge to provide problem analysis through programs available to clinical practitioners. 2
  • 3. EXPERT SYSTEMS IDEA OF EXPERT SYSTEMS The most common form of expert system is software made up of a set of rules that analyze information. 3
  • 4. EXPERT SYSTEMS IDEA OF EXPERT SYSTEMS INPUT INPUT SYSTEM OUTPUT KNOWLEDGE KNOWLEDGE Result BASE Feedback BASE 4
  • 5. EXPERT SYSTEMS SOME PROMINENT EXPERT SYSTEMS  Dendral, analyses mass spectra  CADUCEUS, blood-borne infectious bacteria  R1/XCon, order processing 5
  • 6. EXPERT SYSTEMS SOME PROGRAMMING LANGUAGE  Prolog, programming language used in the development of expert systems  CLIPS, programming language used as Prolog to develop expert systems  Jess (Java Expert System Shell), A CLIPS engine implemented in Java used to develop expert systems. 6
  • 7. EXPERT SYSTEMS CHAINING There are two main methods of reasoning when using inference rules: Forward Chaining Backward Chaining 7
  • 8. EXPERT SYSTEMS FORWARD CHAINING Forward chaining starts with the data available and uses the inference rules to conclude more data until a desired goal is reached. 8
  • 9. EXPERT SYSTEMS FORWARD CHAINING An inference engine using forward chaining searches the inference rules until it finds one in which the if-clause is known to be true. It then concludes the then-clause and adds this information to its data. It would continue to do this until a goal is reached. 9
  • 10. EXPERT SYSTEMS FORWARD CHAINING IF IF TRUE TRUE THEN THEN KNOWLEDGE ADD CONCLUDE BASE KNOWLEDGE D 10
  • 11. EXPERT SYSTEMS BACKWARD CHAINING Backward chaining starts with a list of goals and works backwards to see if there is data which will allow to it to conclude ant of these goals. 11
  • 12. EXPERT SYSTEMS BACKWARD CHAINING An inference engine using backward chaining would search the inference rules until it finds one which has a then-clause that matched a desired goal. 12
  • 13. EXPERT SYSTEMS BACKWARD CHAINING Suppose a rule-based contains two rules: 1. If Fritz is green then Fritz is a frog. 2. If Fritz is a frog then Fritz hops. 13
  • 14. EXPERT SYSTEMS BACKWARD CHAINING IF IF IF IF FRITZ is Green THEN THEN FRITZ is Frog THEN THEN Knowledge FRITZ is Frog Frog is green. Frog is green. Frog hops. Frog hops. 14
  • 15. EXPERT SYSTEMS END USER Here is a dialog between end user and an expert system: 15
  • 16. EXPERT SYSTEMS DIALOG: Q. Do you know which restaurant you want to go to? A. No Q. Is there any kind of food you would particularly like? A. No Q. Do you like spicy food? A. No Q. Do you usually drink wine with meals? A. Yes Q. When you drink wine, is it French wine? A. Yes 16
  • 17. EXPERT SYSTEMS RESULT: A. I am trying to determine the type of restaurant to suggest. So far Chinese is not a likely choice. It is possible that French is a likely choice. I know that if the diner is a wine drinker, and the preferred wine is French, then there is strong evidence that the restaurant choice should include French. 17
  • 18. PROLOG HISTORY  The name Prolog was chosen by Philippe Roussel as an abbreviation for "PROgrammation en LOGique” (French for programming in logic).  It was created around 1972 by Alain Colmerauerr with Philippe Roussell, based on Robert Kowalski's procedural interpretation of Horn clauses. 18
  • 19. PROLOG DATA TYPES Prolog's single data type is the term. Terms are either atoms, numbers, variables or compound terms. 19
  • 20. PROLOG Programming in Prolog Prolog programs describe relations, defined by means of clauses. Pure Prolog is restricted to Horn clauses, a Turing- complete subset of first-order predicate logic. There are two types of clauses: Facts and rules. 20
  • 21. PROLOG Programming in Prolog An example of a fact is: cat(tom). which is equivalent to the rule: cat(tom) :- true. 21
  • 22. PROLOG EVALUATION Execution of a Prolog program is initiated by the user's posting of a single goal, called the query. Logically, the Prolog engine tries to find a resolution refutation of the negated query. The resolution method used by Prolog is called SLD resolution. If the negated query can be refuted, it follows the query. 22
  • 23. PROLOG For example: sibling(X, Y) :- parent_child(Z, X), parent_child(Z, Y). parent_child(X, Y) :- father_child(X, Y). parent_child(X, Y) :- mother_child(X, Y). mother_child(trude, sally). father_child(tom, sally). father_child(tom, erica). father_child(mike, tom). This results in the following query being evaluated as true: ?- sibling(sally, erica). Yes 23
  • 24. PROLOG Related languages  Visual Prolog, also formerly known as PDC Prolog and Turbo Prolog.  Datalog is actually a subset of Prolog.  In some ways Prolog is a subset of Planner. The ideas in Planner were later further developed in the Scientific Community Metaphor. 24
  • 25. EXPERT SYSTEMS ADVANTAGES  Provide consistent answers for repetitive decisions, processes and tasks  Hold and maintain significant levels of information  Reduces creating entry barriers to competitors  Review transactions that human experts may overlook 25
  • 26. EXPERT SYSTEMS DISADVANTAGES  The lack of human common sense needed in some decision makings  Domain experts not always being able to explain their logic and reasoning  The lack of flexibility and ability to adapt to changing environments as questions are standard and cannot be changed  Not being able to recognize when no answer is available 26