SlideShare a Scribd company logo
1 of 11
Download to read offline
1
Knowledge Representation and key
concepts
Harmony Kwawu
hkwawu@aol.com1
30 December 2016 2
Knowledge
Representation
30 December 2016 2
3
Compare and contrast various knowledge representation
techniques
30 December 2016 3 4
Knowledge Representation Formalism
Definition and brief explanation
Categories of Representation Formalism
Logic
Simple Proposition Logic
Simple Predicate Logic
Production Rule
Semantic Network
Frames and Frame hierarchy
Selecting KR Formalism for your project
Key points to take away
30 December 2016 4
5
Intelligent behaviour is not so much about method of
reasoning but the amount of knowledge available to reason
with.
Human experts and computer agents need access to
information and knowledge in order to reach reasoned
decision, form judgement or solve a problem.
In computing and expert systems in particular, deciding
on the right way to organise information so that it’s easy
for a system to access and use when needed can be
tricky but essential
30 December 2016 5 6
This presentation is devoted rather briefly to various techniques
used to represent knowledge in expert systems. We will first define
the goal of Knowledge Representation (KR).
This is followed with a quick discussion of concepts such as
Artificial Intelligence agents and logic as a KR formalism.
In a previous slide (key expert system concepts) we explored rule
base knowledge representation. In this follow on, we examine
Proposition logic and First order predicate logic as ways of
organising knowledge in expert systems.
We conclude by encouraging the reader to test their knowledge by
completing the end of text quiz
30 December 2016 6
7
The Goal of Knoweldge Representation
techniques
30 December 2016 7 8
The purpose of knowledge representation is to ensure expert system
agents have access to the knowledge (combination of relevant facts
and rules) they need to reason and reach conclusion
Knowledge representation is an active part of knowledge base
systems and AI Applications development
It is dedicated to presenting information in a form that a computer
agent can access, understand and use.
knowledge in expert system can be represented in many different
ways to satisfy different knowledge requirements, format and
problem domains
30 December 2016 8
9
Working
memory
Knowledge
base
Interface
Engine
Experts Knowledge Engineer Developer
End user
With computer
& interface
Receives
expert advice
Ask question
or query
9 10
What is meant by Artificial Intelligence
Agent?
30 December 2016 10
11
An artificial intelligence agents (like software Robots, chat
bots etc) are a special purpose computer application
designed to serve a particular purpose or provide a distinct
service.
Examples are; web crawlers in search engines, chat bots
(SIRI & Cortana ), business analytics Bots (Cortana
intelligence) etc
They are generally autonomous and acts in collaboration
with other agents or compete with other agents for
computer resources
30 December 2016 11 12
I. What is knowledge in
knowledge base?
II. Is knowledge the same as
fact or information?
30 December 2016 12
13
Logic as a Knowledge Representation
formalism
30 December 2016 13 14
Logic is broadly defined as the area of science dedicated to
understanding methods for evaluating reasoned arguments.
Put simply, logic is the school of thought devoted to assessing
valid reasoning.
30 December 2016 14
15
Logic is an important and useful tool when evaluating
argument and reasoning.
Without logic, it would be difficult if not impossible to evaluate
the soundness or validity of an argument
Reason, not instinct is the guiding principle for all rational
human beings, so say the philosophers
30 December 2016 15 16
Human
Doctor?
Mycin Expert
System
OR
30 December 2016 16
17
Logical Argument
30 December 2016 17 18
Generally, an argument is made up of two parts: Making a
proposition and drawing conclusion from it
Note that a proposition is an expression or statement that can
be believed, or is either true or false (www.merriam-
webster.com)
For example: I propose that all human beings are created
equal. This statement is open to agreement or rejection after
careful consideration
Either way, the fact that the statement above has an
expression and a possible outcome makes it a valid argument
30 December 2016 18
19
The value of logic is more than a tool for verifying lines of
reasoning
Logic offers an effective way to organise knowledge
In computing for example, principles of logic are used to
design electronic circuits board and for representing
knowledge in intelligent systems such as AI Technologies
30 December 2016 19 20
Logic can be expressed in many different forms depending
on complexity of the situation and application environment.
Examples of logic used in representing knowledge in AI
applications are:
Proposition logic
First order predicate logic
Fuzzy logic
Both Proposition logic and First order predicate logic are
briefly discussed below
30 December 2016 20
21
Proposition Logic
30 December 2016 21 22
Often humans generally and experts in particular makes
statements that may turn out to be true or false.
Statement of truth or false as we have learned previously is
called proposition
A single proposition can be true and not false at the same
time.
Confusing, you are not along. It get clearer over time
30 December 2016 22
23
To recap recall that concept describing proposition and conclusion
statement is known as proposition logic.
Proposition logic is therefore a statement of truth or false and
possible outcome
This can be illustrated as below:
Proposition or
expression
Evaluate
Outcome
Outcome
Y
N
30 December 2016 23 24
The following statements are propositions
1)James put in a lot more effort in her studies than most
students.
1b)Conclusion: He achieve high grade in all his exams
2)All priests are kind and loving
2b)conclusion: Count Dracula is a priest
3)Mothers are more protective of their children than fathers
3b)conclusion: Maria is a mother because she is protective of
her children
30 December 2016 24
25
Each set of the above propositions can be expressed in
proposition logic as follow:
If James puts in a lot more effort in his studies than most
THEN James will achieve high grade in all her exams
IF Count Dracula is a priest THEN Count Dracula is kind
and loving
Mothers are more protective of their children than fathers
this IMPLIES that Maria is more protective of her children
than their father
30 December 2016 25 26
Rules of logical inference for
compound proposition
30 December 2016 26
27
Two or more propositions can be combined to form a chain
of statements using what is known as connectives
Examples of connectives are: AND, OR, NOT and
IMPLICATION
30 December 2016 27 28
Negation NOT {e.g. X is true if the proposition is false}
Conjunction AND {e.g. only true if all possible propositions
are true}
Disjunction OR {e.g. only true if one of the proposition is
true}
Implication {this depends on what the proposition implies. If
a proposition implies another is true or false then that is
considered to be the case.}
30 December 2016 28
29
Truth Table as proposition evaluate tool and
more
30 December 2016 29 30
Truth Tables are generally used to evaluate compound
proposition.
They can be used to produce possible combinations of all
truth values of basic propositions.
30 December 2016 30
31
Try to workout and complete the truth table in
the slide below
30 December 2016 31 32
The truth table below is for evaluating loan decision for bank
customers: copy and use your own knowledge from previous
class discussions to complete the table
30 December 2016 32
33
The rule of Inference
Bank
customer
(B)
Has
good
credit
record
(G)
Negation
(NOT)
Conjunction
(AND)
Disjunction
(OR)
Implication
(any thing
goes
inference)
T T
T F
F T
F F
See the end of slide for solution
30 December 2016 33 34
How did you do: show your answer to and
discuss it with a friend
30 December 2016 34
35
Application of Proposition Logic
30 December 2016 35 36
Proposition logic can be used in implementing the following:
Translation of business rules
Implementing Rule Based Expert Systems
Design of logic gates circuit board for computing devices
Any more? Please add your own example to extend the list
30 December 2016 36
37
Basic Predicate Logic as another form of
KR Techniques
30 December 2016 37 38
While it’s possible to make a number of compound
statements using proposition logic, it’s often difficult to apply
it to more complex situations
Proposition logic is not appropriate for expressing and
representing assertions in fields such as mathematics and
physics
30 December 2016 38
39
To overcome this limitation, a new type of logic was
introduced. This is known as predicate logic
Detail discussion of predicate logic is beyond the scope of this
module, we would therefore limit ourselves to basic definition
and application of it
30 December 2016 39 40
Predicate logic provides formalism for performing a more
complex analysis of proposition and additional methods for
reasoning with quantified expressions.
Predicate logic allow proposition to be broken into
components.
The two main components are: argument and predicates.
30 December 2016 40
41
It can be used to represent and evaluate statements such as:
X is Equivalence to Y
6 is greater than 4
M is Less than K, etc
30 December 2016 41 42
Predicates are verbs or action phrases that describes a
property of objects, events or a relationship.
Object in predicate logic are represented by variables.
Predicate may be used to illustrate actions or relationship
30 December 2016 42
43
Predicate and proposition logic difference
30 December 2016 43 44
Compared to proposition logic, which can only be used to
make simple true or false statements, predicate logics are
more expressive.
In addition to the connectives used in propositional logic,
predicate logic also uses variables, constants, action phrases
(predicates) and universal qualifiers to make more
expressive proposition statements.
30 December 2016 44
45
Universal quantifiers in proposition logic are used when
making general inference about objects. For example, when
referring to all objects in a population.
Such as all our student are male
This is detonated by the symbol (for all) and existential
quantifiers (for one object) out of many
30 December 2016 45 46
The following statement, “Every one of our students comes
from UK”
• This is interpreted as: for any object y, if y is a student, THEN y
comes from UK
30 December 2016 46
47
Identify the subjects and predicates in the statement
below:
All students goes to college 5 days in a week
Michael is a Nigerian male and drives a Green car
All the men from UK are very tall
30 December 2016 47 48
Other knowledge representation formalisms include:
Rules base knowledge represntation,
Semantics network, and
Frames
30 December 2016 48
49
What is Semantic Network Anyway?
30 December 2016 49 50
Semantic network, also known as concept network is any such
formalism which aims to capture and express meaning (semantics)
in a graphical form.
Semantics network could be used for propositional atomic
information analysis.
A proposition is always true or false and is called atomic because
the truth value in such a proposition can not be further divided
30 December 2016 50
51
Semantic network consists of nodes and arch connecting them.
Nodes are objects and arches are used to describe links between
nodes.
The links are used to express relationship between the nodes and
dependencies
One major strength of semantic network is that it can be used to
represent how humans store and manipulate knowledge
30 December 2016 51 52
Semantic network was originally designed to represent human
memory and understanding
It can be used to:
Workout common interest among a group of customers,
household, group of students etc
Determining the difference between people, their age,
occupation, education and other related properties
Areas of application include:
Search engines
30 December 2016 52
53
Hospital
Patient
Female
Patient
Male
Patient
Osy Stella
Edward Mary Afume
Is the husband of
Is the son of Is mother of
Lives at the
same address
Is a Is a
Is a Is a
Is the doctor of
Hospital patient
semantic network
30 December 2016 53 54
Expert Systems Frame
30 December 2016 54
55
Frame knowledge representation formalisms are used for
information that are multi-faceted and hierarchical
This is similar to how data is described, structured and stored in
object oriented or enhanced entity relational databases.
Data or information fields in frames are known as slots and values
stored in the slots are known as fillers
30 December 2016 55 56
Student Frame
Course
Lecturer:
SName:
SContact:
Type:
Course level:
Lecturer Frame
Specialism
Lecturername:
Assignments:
SContact:
Research Interest
Course level:
Student and lecturer Frame
30 December 2016 56
57
Each slot in a frame contain information in various representations,
including logical sentences and production rules.
A slot in frames can also contain another frame, to form a
hierarchical relationship.
Each frame represents object or situation and can be accessed by
the inference engine
30 December 2016 57 58
Student
Frame
Hierarchy
PartTime Student
academic Grade
Frame
International FullTime
Student Frame
PartTime student
address Frame
Home FullTime
Student Frame
FullTime student
address frame
Frame Hierarchy
30 December 2016 58
59
Frame are used to arrange knowledge about objects,
situations, events and their associations for expert systems
Frame as knowledge representation formalism can store
information about an object, events as well as any methods
and procedural associated with them
30 December 2016 59 60
KR is using different methods to organise informatiion and
presenting it in a way that is accessible to the inference
engine of expert system
Where knowledge is presented according to the the problem
the system is designed to solve
Knoweldge in Expert System can be presented as Rules,
Semantics network, Logic or Frames
30 December 2016 60
61
What is knowledge representation?
Why are there different knowledge representation
techniques and system?
Which one is best and why?
30 December 2016 61 62
Fuzzy logic and Expert system Project ideas and
challenges
30 December 2016 62
63
The rule of inference
Bank
custome
r (B)
Has
good
credit
record
(G)
Negation
(NOT)
Conjunction
(AND)
Disjunction
(OR)
Implication
(any thing
goes
inference)
T T F T T T
T F F F T F
F T F F T T
F F T F F T
30 December 2016 63 64
To find out more, logon to the web site below:
http://groups.csail.mit.edu/medg/ftp/psz/k-rep.html
30 December 2016 64
65
END
30 December 2016 65

More Related Content

What's hot

Breadth - First - Search
Breadth - First - SearchBreadth - First - Search
Breadth - First - SearchEko Hardiansyah
 
database recovery techniques
database recovery techniques database recovery techniques
database recovery techniques Kalhan Liyanage
 
KIT-601 Lecture Notes-UNIT-1.pdf
KIT-601 Lecture Notes-UNIT-1.pdfKIT-601 Lecture Notes-UNIT-1.pdf
KIT-601 Lecture Notes-UNIT-1.pdfDr. Radhey Shyam
 
15. Transactions in DBMS
15. Transactions in DBMS15. Transactions in DBMS
15. Transactions in DBMSkoolkampus
 
Database administrator
Database administratorDatabase administrator
Database administratorTech_MX
 
Lecture 2
Lecture 2Lecture 2
Lecture 2Mr SMAK
 
Challenges of Conventional Systems.pptx
Challenges of Conventional Systems.pptxChallenges of Conventional Systems.pptx
Challenges of Conventional Systems.pptxGovardhanV7
 
Object Oriented Database Management System
Object Oriented Database Management SystemObject Oriented Database Management System
Object Oriented Database Management SystemAjay Jha
 
SQL, Embedded SQL, Dynamic SQL and SQLJ
SQL, Embedded SQL, Dynamic SQL and SQLJSQL, Embedded SQL, Dynamic SQL and SQLJ
SQL, Embedded SQL, Dynamic SQL and SQLJDharita Chokshi
 
Database backup & recovery
Database backup & recoveryDatabase backup & recovery
Database backup & recoveryMustafa Khan
 
ACID- Database Transaction Properties
ACID- Database Transaction PropertiesACID- Database Transaction Properties
ACID- Database Transaction PropertiesMarkajul Hasnain Alif
 
3.1 tuple relational_calculus
3.1 tuple relational_calculus3.1 tuple relational_calculus
3.1 tuple relational_calculusUtkarsh De
 

What's hot (20)

Breadth - First - Search
Breadth - First - SearchBreadth - First - Search
Breadth - First - Search
 
Relational Database Management System
Relational Database Management SystemRelational Database Management System
Relational Database Management System
 
Timestamp protocols
Timestamp protocolsTimestamp protocols
Timestamp protocols
 
Data independence
Data independenceData independence
Data independence
 
Data models
Data modelsData models
Data models
 
Functional dependency
Functional dependencyFunctional dependency
Functional dependency
 
database recovery techniques
database recovery techniques database recovery techniques
database recovery techniques
 
KIT-601 Lecture Notes-UNIT-1.pdf
KIT-601 Lecture Notes-UNIT-1.pdfKIT-601 Lecture Notes-UNIT-1.pdf
KIT-601 Lecture Notes-UNIT-1.pdf
 
15. Transactions in DBMS
15. Transactions in DBMS15. Transactions in DBMS
15. Transactions in DBMS
 
Concurrency control
Concurrency controlConcurrency control
Concurrency control
 
Database administrator
Database administratorDatabase administrator
Database administrator
 
Lecture 2
Lecture 2Lecture 2
Lecture 2
 
Challenges of Conventional Systems.pptx
Challenges of Conventional Systems.pptxChallenges of Conventional Systems.pptx
Challenges of Conventional Systems.pptx
 
Object Oriented Database Management System
Object Oriented Database Management SystemObject Oriented Database Management System
Object Oriented Database Management System
 
SQL, Embedded SQL, Dynamic SQL and SQLJ
SQL, Embedded SQL, Dynamic SQL and SQLJSQL, Embedded SQL, Dynamic SQL and SQLJ
SQL, Embedded SQL, Dynamic SQL and SQLJ
 
Acid properties
Acid propertiesAcid properties
Acid properties
 
Database backup & recovery
Database backup & recoveryDatabase backup & recovery
Database backup & recovery
 
DBMS SECURITY
DBMS SECURITYDBMS SECURITY
DBMS SECURITY
 
ACID- Database Transaction Properties
ACID- Database Transaction PropertiesACID- Database Transaction Properties
ACID- Database Transaction Properties
 
3.1 tuple relational_calculus
3.1 tuple relational_calculus3.1 tuple relational_calculus
3.1 tuple relational_calculus
 

Similar to Expert System Knoweldge Representation

Supporting decisions with ML
Supporting decisions with MLSupporting decisions with ML
Supporting decisions with MLMegan Neider
 
GDG Cloud Southlake #17: Meg Dickey-Kurdziolek: Explainable AI is for Everyone
GDG Cloud Southlake #17: Meg Dickey-Kurdziolek: Explainable AI is for EveryoneGDG Cloud Southlake #17: Meg Dickey-Kurdziolek: Explainable AI is for Everyone
GDG Cloud Southlake #17: Meg Dickey-Kurdziolek: Explainable AI is for EveryoneJames Anderson
 
A Philosophical Essay On Probabilities
A Philosophical Essay On ProbabilitiesA Philosophical Essay On Probabilities
A Philosophical Essay On ProbabilitiesRebecca Harris
 
Mba Critical Inquiry into Consultancy_2010
Mba Critical Inquiry into Consultancy_2010Mba Critical Inquiry into Consultancy_2010
Mba Critical Inquiry into Consultancy_2010M V
 
On Machine Learning and Data Mining
On Machine Learning and Data MiningOn Machine Learning and Data Mining
On Machine Learning and Data Miningbutest
 
Crowdsourcing and Cognitive Data Analytics for Conflict Transformation - Istv...
Crowdsourcing and Cognitive Data Analytics for Conflict Transformation - Istv...Crowdsourcing and Cognitive Data Analytics for Conflict Transformation - Istv...
Crowdsourcing and Cognitive Data Analytics for Conflict Transformation - Istv...Istvan Csakany
 
Building internet enabled markets theories
Building internet enabled markets theoriesBuilding internet enabled markets theories
Building internet enabled markets theoriesVille Saarikoski
 
Barga, roger. predictive analytics with microsoft azure machine learning
Barga, roger. predictive analytics with microsoft azure machine learningBarga, roger. predictive analytics with microsoft azure machine learning
Barga, roger. predictive analytics with microsoft azure machine learningmaldonadojorge
 
Learning to Learn Model Behavior ( Capital One: data intelligence conference )
Learning to Learn Model Behavior ( Capital One: data intelligence conference )Learning to Learn Model Behavior ( Capital One: data intelligence conference )
Learning to Learn Model Behavior ( Capital One: data intelligence conference )Pramit Choudhary
 
Box Plots vs Data Plots
Box Plots vs Data PlotsBox Plots vs Data Plots
Box Plots vs Data PlotsJuran Global
 
Concepts as Action-Oriented as 'Search'
Concepts as Action-Oriented as 'Search'Concepts as Action-Oriented as 'Search'
Concepts as Action-Oriented as 'Search'mahmad
 
Data analytics and visualization
Data analytics and visualizationData analytics and visualization
Data analytics and visualizationVini Vasundharan
 
MBA_SERVICES MARKETING
MBA_SERVICES MARKETINGMBA_SERVICES MARKETING
MBA_SERVICES MARKETINGM V
 
AI for leaders: Intro to Explanations
AI for leaders: Intro to ExplanationsAI for leaders: Intro to Explanations
AI for leaders: Intro to Explanationsepsilon_tud
 
Artificial Intelligence power point presentation document
Artificial Intelligence power point presentation documentArtificial Intelligence power point presentation document
Artificial Intelligence power point presentation documentDavid Raj Kanthi
 
Introduction Business Analytics
Introduction Business AnalyticsIntroduction Business Analytics
Introduction Business AnalyticsRenu Lamba
 
Structured Dialogic Design
Structured  Dialogic  DesignStructured  Dialogic  Design
Structured Dialogic DesignSoCoDesign
 

Similar to Expert System Knoweldge Representation (20)

Supporting decisions with ML
Supporting decisions with MLSupporting decisions with ML
Supporting decisions with ML
 
GDG Cloud Southlake #17: Meg Dickey-Kurdziolek: Explainable AI is for Everyone
GDG Cloud Southlake #17: Meg Dickey-Kurdziolek: Explainable AI is for EveryoneGDG Cloud Southlake #17: Meg Dickey-Kurdziolek: Explainable AI is for Everyone
GDG Cloud Southlake #17: Meg Dickey-Kurdziolek: Explainable AI is for Everyone
 
A Philosophical Essay On Probabilities
A Philosophical Essay On ProbabilitiesA Philosophical Essay On Probabilities
A Philosophical Essay On Probabilities
 
Mba Critical Inquiry into Consultancy_2010
Mba Critical Inquiry into Consultancy_2010Mba Critical Inquiry into Consultancy_2010
Mba Critical Inquiry into Consultancy_2010
 
On Machine Learning and Data Mining
On Machine Learning and Data MiningOn Machine Learning and Data Mining
On Machine Learning and Data Mining
 
Crowdsourcing and Cognitive Data Analytics for Conflict Transformation - Istv...
Crowdsourcing and Cognitive Data Analytics for Conflict Transformation - Istv...Crowdsourcing and Cognitive Data Analytics for Conflict Transformation - Istv...
Crowdsourcing and Cognitive Data Analytics for Conflict Transformation - Istv...
 
Building internet enabled markets theories
Building internet enabled markets theoriesBuilding internet enabled markets theories
Building internet enabled markets theories
 
Barga, roger. predictive analytics with microsoft azure machine learning
Barga, roger. predictive analytics with microsoft azure machine learningBarga, roger. predictive analytics with microsoft azure machine learning
Barga, roger. predictive analytics with microsoft azure machine learning
 
Learning to Learn Model Behavior ( Capital One: data intelligence conference )
Learning to Learn Model Behavior ( Capital One: data intelligence conference )Learning to Learn Model Behavior ( Capital One: data intelligence conference )
Learning to Learn Model Behavior ( Capital One: data intelligence conference )
 
Box Plots vs Data Plots
Box Plots vs Data PlotsBox Plots vs Data Plots
Box Plots vs Data Plots
 
Concepts as Action-Oriented as 'Search'
Concepts as Action-Oriented as 'Search'Concepts as Action-Oriented as 'Search'
Concepts as Action-Oriented as 'Search'
 
Bayesian reasoning
Bayesian reasoningBayesian reasoning
Bayesian reasoning
 
Data analytics and visualization
Data analytics and visualizationData analytics and visualization
Data analytics and visualization
 
MBA_SERVICES MARKETING
MBA_SERVICES MARKETINGMBA_SERVICES MARKETING
MBA_SERVICES MARKETING
 
Introduction to spss
Introduction to spssIntroduction to spss
Introduction to spss
 
AI for leaders: Intro to Explanations
AI for leaders: Intro to ExplanationsAI for leaders: Intro to Explanations
AI for leaders: Intro to Explanations
 
Artificial Intelligence power point presentation document
Artificial Intelligence power point presentation documentArtificial Intelligence power point presentation document
Artificial Intelligence power point presentation document
 
Introduction Business Analytics
Introduction Business AnalyticsIntroduction Business Analytics
Introduction Business Analytics
 
Unit 2(knowledge)
Unit 2(knowledge)Unit 2(knowledge)
Unit 2(knowledge)
 
Structured Dialogic Design
Structured  Dialogic  DesignStructured  Dialogic  Design
Structured Dialogic Design
 

Recently uploaded

Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024The Digital Insurer
 
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024The Digital Insurer
 
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone ProcessorsExploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processorsdebabhi2
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDropbox
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Jeffrey Haguewood
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodJuan lago vázquez
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...DianaGray10
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MIND CTI
 
Exploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with MilvusExploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with MilvusZilliz
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century educationjfdjdjcjdnsjd
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesrafiqahmad00786416
 
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ..."I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...Zilliz
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc
 
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamDEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamUiPathCommunity
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoffsammart93
 
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, AdobeApidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobeapidays
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdfSandro Moreira
 
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...apidays
 
Cyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdfCyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdfOverkill Security
 
Spring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUKSpring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUKJago de Vreede
 

Recently uploaded (20)

Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
 
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024
 
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone ProcessorsExploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processors
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor Presentation
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
 
Exploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with MilvusExploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with Milvus
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century education
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challenges
 
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ..."I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
 
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamDEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
 
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, AdobeApidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf
 
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
 
Cyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdfCyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdf
 
Spring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUKSpring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUK
 

Expert System Knoweldge Representation

  • 1. 1 Knowledge Representation and key concepts Harmony Kwawu hkwawu@aol.com1 30 December 2016 2 Knowledge Representation 30 December 2016 2 3 Compare and contrast various knowledge representation techniques 30 December 2016 3 4 Knowledge Representation Formalism Definition and brief explanation Categories of Representation Formalism Logic Simple Proposition Logic Simple Predicate Logic Production Rule Semantic Network Frames and Frame hierarchy Selecting KR Formalism for your project Key points to take away 30 December 2016 4 5 Intelligent behaviour is not so much about method of reasoning but the amount of knowledge available to reason with. Human experts and computer agents need access to information and knowledge in order to reach reasoned decision, form judgement or solve a problem. In computing and expert systems in particular, deciding on the right way to organise information so that it’s easy for a system to access and use when needed can be tricky but essential 30 December 2016 5 6 This presentation is devoted rather briefly to various techniques used to represent knowledge in expert systems. We will first define the goal of Knowledge Representation (KR). This is followed with a quick discussion of concepts such as Artificial Intelligence agents and logic as a KR formalism. In a previous slide (key expert system concepts) we explored rule base knowledge representation. In this follow on, we examine Proposition logic and First order predicate logic as ways of organising knowledge in expert systems. We conclude by encouraging the reader to test their knowledge by completing the end of text quiz 30 December 2016 6
  • 2. 7 The Goal of Knoweldge Representation techniques 30 December 2016 7 8 The purpose of knowledge representation is to ensure expert system agents have access to the knowledge (combination of relevant facts and rules) they need to reason and reach conclusion Knowledge representation is an active part of knowledge base systems and AI Applications development It is dedicated to presenting information in a form that a computer agent can access, understand and use. knowledge in expert system can be represented in many different ways to satisfy different knowledge requirements, format and problem domains 30 December 2016 8 9 Working memory Knowledge base Interface Engine Experts Knowledge Engineer Developer End user With computer & interface Receives expert advice Ask question or query 9 10 What is meant by Artificial Intelligence Agent? 30 December 2016 10 11 An artificial intelligence agents (like software Robots, chat bots etc) are a special purpose computer application designed to serve a particular purpose or provide a distinct service. Examples are; web crawlers in search engines, chat bots (SIRI & Cortana ), business analytics Bots (Cortana intelligence) etc They are generally autonomous and acts in collaboration with other agents or compete with other agents for computer resources 30 December 2016 11 12 I. What is knowledge in knowledge base? II. Is knowledge the same as fact or information? 30 December 2016 12
  • 3. 13 Logic as a Knowledge Representation formalism 30 December 2016 13 14 Logic is broadly defined as the area of science dedicated to understanding methods for evaluating reasoned arguments. Put simply, logic is the school of thought devoted to assessing valid reasoning. 30 December 2016 14 15 Logic is an important and useful tool when evaluating argument and reasoning. Without logic, it would be difficult if not impossible to evaluate the soundness or validity of an argument Reason, not instinct is the guiding principle for all rational human beings, so say the philosophers 30 December 2016 15 16 Human Doctor? Mycin Expert System OR 30 December 2016 16 17 Logical Argument 30 December 2016 17 18 Generally, an argument is made up of two parts: Making a proposition and drawing conclusion from it Note that a proposition is an expression or statement that can be believed, or is either true or false (www.merriam- webster.com) For example: I propose that all human beings are created equal. This statement is open to agreement or rejection after careful consideration Either way, the fact that the statement above has an expression and a possible outcome makes it a valid argument 30 December 2016 18
  • 4. 19 The value of logic is more than a tool for verifying lines of reasoning Logic offers an effective way to organise knowledge In computing for example, principles of logic are used to design electronic circuits board and for representing knowledge in intelligent systems such as AI Technologies 30 December 2016 19 20 Logic can be expressed in many different forms depending on complexity of the situation and application environment. Examples of logic used in representing knowledge in AI applications are: Proposition logic First order predicate logic Fuzzy logic Both Proposition logic and First order predicate logic are briefly discussed below 30 December 2016 20 21 Proposition Logic 30 December 2016 21 22 Often humans generally and experts in particular makes statements that may turn out to be true or false. Statement of truth or false as we have learned previously is called proposition A single proposition can be true and not false at the same time. Confusing, you are not along. It get clearer over time 30 December 2016 22 23 To recap recall that concept describing proposition and conclusion statement is known as proposition logic. Proposition logic is therefore a statement of truth or false and possible outcome This can be illustrated as below: Proposition or expression Evaluate Outcome Outcome Y N 30 December 2016 23 24 The following statements are propositions 1)James put in a lot more effort in her studies than most students. 1b)Conclusion: He achieve high grade in all his exams 2)All priests are kind and loving 2b)conclusion: Count Dracula is a priest 3)Mothers are more protective of their children than fathers 3b)conclusion: Maria is a mother because she is protective of her children 30 December 2016 24
  • 5. 25 Each set of the above propositions can be expressed in proposition logic as follow: If James puts in a lot more effort in his studies than most THEN James will achieve high grade in all her exams IF Count Dracula is a priest THEN Count Dracula is kind and loving Mothers are more protective of their children than fathers this IMPLIES that Maria is more protective of her children than their father 30 December 2016 25 26 Rules of logical inference for compound proposition 30 December 2016 26 27 Two or more propositions can be combined to form a chain of statements using what is known as connectives Examples of connectives are: AND, OR, NOT and IMPLICATION 30 December 2016 27 28 Negation NOT {e.g. X is true if the proposition is false} Conjunction AND {e.g. only true if all possible propositions are true} Disjunction OR {e.g. only true if one of the proposition is true} Implication {this depends on what the proposition implies. If a proposition implies another is true or false then that is considered to be the case.} 30 December 2016 28 29 Truth Table as proposition evaluate tool and more 30 December 2016 29 30 Truth Tables are generally used to evaluate compound proposition. They can be used to produce possible combinations of all truth values of basic propositions. 30 December 2016 30
  • 6. 31 Try to workout and complete the truth table in the slide below 30 December 2016 31 32 The truth table below is for evaluating loan decision for bank customers: copy and use your own knowledge from previous class discussions to complete the table 30 December 2016 32 33 The rule of Inference Bank customer (B) Has good credit record (G) Negation (NOT) Conjunction (AND) Disjunction (OR) Implication (any thing goes inference) T T T F F T F F See the end of slide for solution 30 December 2016 33 34 How did you do: show your answer to and discuss it with a friend 30 December 2016 34 35 Application of Proposition Logic 30 December 2016 35 36 Proposition logic can be used in implementing the following: Translation of business rules Implementing Rule Based Expert Systems Design of logic gates circuit board for computing devices Any more? Please add your own example to extend the list 30 December 2016 36
  • 7. 37 Basic Predicate Logic as another form of KR Techniques 30 December 2016 37 38 While it’s possible to make a number of compound statements using proposition logic, it’s often difficult to apply it to more complex situations Proposition logic is not appropriate for expressing and representing assertions in fields such as mathematics and physics 30 December 2016 38 39 To overcome this limitation, a new type of logic was introduced. This is known as predicate logic Detail discussion of predicate logic is beyond the scope of this module, we would therefore limit ourselves to basic definition and application of it 30 December 2016 39 40 Predicate logic provides formalism for performing a more complex analysis of proposition and additional methods for reasoning with quantified expressions. Predicate logic allow proposition to be broken into components. The two main components are: argument and predicates. 30 December 2016 40 41 It can be used to represent and evaluate statements such as: X is Equivalence to Y 6 is greater than 4 M is Less than K, etc 30 December 2016 41 42 Predicates are verbs or action phrases that describes a property of objects, events or a relationship. Object in predicate logic are represented by variables. Predicate may be used to illustrate actions or relationship 30 December 2016 42
  • 8. 43 Predicate and proposition logic difference 30 December 2016 43 44 Compared to proposition logic, which can only be used to make simple true or false statements, predicate logics are more expressive. In addition to the connectives used in propositional logic, predicate logic also uses variables, constants, action phrases (predicates) and universal qualifiers to make more expressive proposition statements. 30 December 2016 44 45 Universal quantifiers in proposition logic are used when making general inference about objects. For example, when referring to all objects in a population. Such as all our student are male This is detonated by the symbol (for all) and existential quantifiers (for one object) out of many 30 December 2016 45 46 The following statement, “Every one of our students comes from UK” • This is interpreted as: for any object y, if y is a student, THEN y comes from UK 30 December 2016 46 47 Identify the subjects and predicates in the statement below: All students goes to college 5 days in a week Michael is a Nigerian male and drives a Green car All the men from UK are very tall 30 December 2016 47 48 Other knowledge representation formalisms include: Rules base knowledge represntation, Semantics network, and Frames 30 December 2016 48
  • 9. 49 What is Semantic Network Anyway? 30 December 2016 49 50 Semantic network, also known as concept network is any such formalism which aims to capture and express meaning (semantics) in a graphical form. Semantics network could be used for propositional atomic information analysis. A proposition is always true or false and is called atomic because the truth value in such a proposition can not be further divided 30 December 2016 50 51 Semantic network consists of nodes and arch connecting them. Nodes are objects and arches are used to describe links between nodes. The links are used to express relationship between the nodes and dependencies One major strength of semantic network is that it can be used to represent how humans store and manipulate knowledge 30 December 2016 51 52 Semantic network was originally designed to represent human memory and understanding It can be used to: Workout common interest among a group of customers, household, group of students etc Determining the difference between people, their age, occupation, education and other related properties Areas of application include: Search engines 30 December 2016 52 53 Hospital Patient Female Patient Male Patient Osy Stella Edward Mary Afume Is the husband of Is the son of Is mother of Lives at the same address Is a Is a Is a Is a Is the doctor of Hospital patient semantic network 30 December 2016 53 54 Expert Systems Frame 30 December 2016 54
  • 10. 55 Frame knowledge representation formalisms are used for information that are multi-faceted and hierarchical This is similar to how data is described, structured and stored in object oriented or enhanced entity relational databases. Data or information fields in frames are known as slots and values stored in the slots are known as fillers 30 December 2016 55 56 Student Frame Course Lecturer: SName: SContact: Type: Course level: Lecturer Frame Specialism Lecturername: Assignments: SContact: Research Interest Course level: Student and lecturer Frame 30 December 2016 56 57 Each slot in a frame contain information in various representations, including logical sentences and production rules. A slot in frames can also contain another frame, to form a hierarchical relationship. Each frame represents object or situation and can be accessed by the inference engine 30 December 2016 57 58 Student Frame Hierarchy PartTime Student academic Grade Frame International FullTime Student Frame PartTime student address Frame Home FullTime Student Frame FullTime student address frame Frame Hierarchy 30 December 2016 58 59 Frame are used to arrange knowledge about objects, situations, events and their associations for expert systems Frame as knowledge representation formalism can store information about an object, events as well as any methods and procedural associated with them 30 December 2016 59 60 KR is using different methods to organise informatiion and presenting it in a way that is accessible to the inference engine of expert system Where knowledge is presented according to the the problem the system is designed to solve Knoweldge in Expert System can be presented as Rules, Semantics network, Logic or Frames 30 December 2016 60
  • 11. 61 What is knowledge representation? Why are there different knowledge representation techniques and system? Which one is best and why? 30 December 2016 61 62 Fuzzy logic and Expert system Project ideas and challenges 30 December 2016 62 63 The rule of inference Bank custome r (B) Has good credit record (G) Negation (NOT) Conjunction (AND) Disjunction (OR) Implication (any thing goes inference) T T F T T T T F F F T F F T F F T T F F T F F T 30 December 2016 63 64 To find out more, logon to the web site below: http://groups.csail.mit.edu/medg/ftp/psz/k-rep.html 30 December 2016 64 65 END 30 December 2016 65