SlideShare a Scribd company logo
1 of 20
Artificial Intelligence & Knowledge Representation 
National Institute Of Science & Technology Sudeep Misra [1] 
Artificial Intelligence and 
Knowledge Representation 
Under the Guidance of 
Mr. Anisur Rahman 
Presented by 
Sudeep Misra
Artificial Intelligence & Knowledge Representation 
WHAT MAKES THE COMPUTER 
INTELLIGENT? 
 Speed of computation 
 Filters out and displays only meaningful 
National Institute Of Science & Technology Sudeep Misra [2] 
responses or solutions to a specific 
question 
 Algorithms splits task into subtasks – 
recursion 
 Neural networks.
Artificial Intelligence & Knowledge Representation 
WHY ARTIFICIAL INTELLIGENCE 
National Institute Of Science & Technology Sudeep Misra [3] 
 Unlike humans, computers have trouble understanding 
specific situations, and adapting to new situations. 
 Artificial Intelligence improves machine behavior in 
tackling such complex tasks, based on abstract thought, 
high-level deliberative reasoning and pattern 
recognition. 
 Artificial Intelligence can help us understand this 
process by recreating it, then potentially enabling us to 
enhance it beyond our current capabilities
Artificial Intelligence & Knowledge Representation 
KNOWLEDGE REPRESENTATION? 
National Institute Of Science & Technology Sudeep Misra [4] 
EXAMPLE: -CANNIBAL-MISSIONARY PROBLEM 
Three missionaries and three cannibals come to a 
river and find a boat that holds two. If the 
cannibals ever outnumber the missionaries on 
either bank, the missionaries will be eaten. How 
shall they cross? Here comes the importance of 
knowledge. This problem can although be solved 
by intelligent algorithms but knowledge plays the 
most crucial part
Artificial Intelligence & Knowledge Representation 
Need for formal languages 
Consider an English sentence like: 
“The boy saw a girl with a telescope” 
Natural languages exhibit ambiguity 
Not only does ambiguity make it difficult for us to 
understand what is the intended meaning of certain phrases 
and sentences but also makes it very difficult to make 
inferences 
Symbolic logic is a syntactically unambigious knowledge 
representation language (originally developed in an attempt 
to formalize mathematical reasoning) 
National Institute Of Science & Technology Sudeep Misra [5]
Artificial Intelligence & Knowledge Representation 
KNOWLEDGE REPRESENTATION 
TECHNIQUES IN AI 
PROPOSITIONAL LOGIC 
declarative statement 
~ -> Negation 
→ -> implication 
↔ -> implies and implied by 
v -> disjunction 
^ -> Conjunction 
propositional logic 
= sentences represent whole propositions 
“2 is prime.” P 
“I ate breakfast today.” Q 
National Institute Of Science & Technology Sudeep Misra [6]
Artificial Intelligence & Knowledge Representation 
Syntax 
syntax 
= how a sentence looks like 
Sentence -> AtomicSentence | ComplexSentence 
AtomicSentence -> T(RUE) | F(ALSE) | Symbols 
ComplexSentence -> ( Sentence ) | NOT Sentence | 
Connective -> AND | OR | IMPLIES | EQUIV(ALENT) 
Sentence Connective Sentence 
Symbols -> P | Q | R | ... 
Precedence: NOT AND OR IMPLIES EQUIVALENT 
conjunction disjunction implication equivalence 
negation 
National Institute Of Science & Technology Sudeep Misra [7]
Artificial Intelligence & Knowledge Representation 
Semantics 
National Institute Of Science & Technology Sudeep Misra [8] 
semantics 
= what a sentence means 
interpretation: 
assigns each symbol a truth value, either t(rue) or f(alse) 
the truth value of T(RUE) is t(rue) 
the truth value of F(ALSE) is f(alse) 
truth tables (“compositional semantics”) 
the meaning of a sentence is a function of the meaning of its 
parts
Artificial Intelligence & Knowledge Representation 
Terminology 
National Institute Of Science & Technology Sudeep Misra [9] 
A sentence is valid if it is True under all possible assignments of 
True/False to its propositional variables (e.g. P_:P) 
Valid sentences are also referred to as tautologies 
A sentence is satisfiable if and only if there is some assignment 
of 
True/False to its propositional variables for which the sentence is 
True 
A sentence is unsatisfiable if and only if it is not satisfiable (e.g. 
P^:P)
Artificial Intelligence & Knowledge Representation 
Examples 
either I go to the movies or I go swimming 
2 is prime implies that 2 is even 
2 is odd implies that 3 is even 
(inclusive vs. exclusive OR) 
(implication does not imply causality) 
(false implies everything) 
National Institute Of Science & Technology Sudeep Misra [10]
Artificial Intelligence & Knowledge Representation 
Semantic Networks 
National Institute Of Science & Technology Sudeep Misra [11] 
l Graph structures that encode taxonomic 
knowledge of objects and their properties 
– objects represented as nodes 
– relations represented as labeled edges 
l Inheritance = form of inference in which 
subclasses inherit properties of superclasses
Artificial Intelligence & Knowledge Representation 
Frames 
A limitation of semantic networks is that 
additional structure is often necessary to 
distinguish 
– statements about an object’s relationships 
– properties of the object 
A frame is a node with additional structure 
that facilitates differentiating relationships 
between objects and properties of objects. 
Called a “slot-and-filler” representation 
National Institute Of Science & Technology Sudeep Misra [12]
Artificial Intelligence & Knowledge Representation 
NORMAL Form in predicate LOGIC: 
Rule:- 
1. Replace and by using equivalent formulas. 
2. Repeated use of negation ~ (~ p)=F.Demorgan’s law to 
National Institute Of Science & Technology Sudeep Misra [13] 
bring negation in front of each atom. ~ (GF)= 
~G~F.Use ~x F(x)= x~F(x) and ~xF(x) = x~F(x) 
Then use all the equivalent expressions to bring the 
quantities in front of the expressions
Artificial Intelligence & Knowledge Representation 
Resolution in predicate LOGIC 
i) R(a) 
ii) R(x) M(x,b) 
First replace a in place of x in 2nd premise and conclude 
National Institute Of Science & Technology Sudeep Misra [14] 
M(a,b). 
e.g. 
1. Marcus was a man. Man (marcus) 
2. Marcus was a Pompeian. Pompeian (Marcus) 
3. Caesar was a ruler. Ruler (Caesar)
Artificial Intelligence & Knowledge Representation 
Nonmonotonic Reasoning 
 Collection of true facts never decreases 
 Facts changes with time 
 According to the human problem solving 
approach the truth status of the collected 
facts may be revised based on contrary 
evidences. 
 Hence the nonmonotonic reasoning system 
is more effective in many practical problems 
solving situations. 
National Institute Of Science & Technology Sudeep Misra [15]
Artificial Intelligence & Knowledge Representation 
Principles of NMRs 
 If x is not known, then conclude y 
 If x cannot be proved, then conclude y 
 e.g. 1: To build a program that generates a 
solution to a fairly a simple problem. 
 e.g. 2: To find out a time at which three busy 
can all attain a meeting 
 dependency-directed backtracking 
National Institute Of Science & Technology Sudeep Misra [16]
Artificial Intelligence & Knowledge Representation 
Necessity of NMR 
National Institute Of Science & Technology Sudeep Misra [17] 
1. The presence of incomplete information requires 
default reasoning. 
2. A changing world must be decided by a 
changing database. 
3. Generating a complete solution to a problem 
may require temporary assumption about partial 
solution.
Artificial Intelligence & Knowledge Representation 
Applications of AI 
National Institute Of Science & Technology Sudeep Misra [18] 
1. PATTERN RECOGNISATION 
2. ROBOTICS 
3. NATURAL LANGUAGE PROCESSING 
4. ARTIFICIAL LIFE 
5. APPLICATIONS OF AI, BY INTELLIGENT ALGORITHMS 
5.1 Mechanical translation 
5.2 Game playing 
5.3 Computer vision 
5.4 Computer hearing 
5.5 Creating original thoughts or works of art 
5.6 Analogical thinking Learning
Artificial Intelligence & Knowledge Representation 
Fundamental Problems of AI 
1. The ability of even the most advanced of currently existing 
National Institute Of Science & Technology Sudeep Misra [19] 
computer systems to acquire information all by itself is still 
extremely limited. 
2. It is not obvious that all human knowledge is encodable in 
“information structures” however complex. e.g. A human may 
know, for example, just what kind of emotional impact touching 
another person’s hand will have both on the other person and on 
himself. 
3. The hand-touching example will do here too, there are some things 
people come to know only as a consequence of having been treated 
as human beings by other human beings. 
4. The kinds of knowledge that appear superficially to be 
communicable from one human being to another in language alone 
are in fact not altogether so communicable
Artificial Intelligence & Knowledge Representation 
National Institute Of Science & Technology Sudeep Misra [20] 
Thank You!!!

More Related Content

What's hot

Artificial Intelligence
Artificial IntelligenceArtificial Intelligence
Artificial Intelligence
Bise Mond
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
Rushdi Shams
 
Stuart russell and peter norvig artificial intelligence - a modern approach...
Stuart russell and peter norvig   artificial intelligence - a modern approach...Stuart russell and peter norvig   artificial intelligence - a modern approach...
Stuart russell and peter norvig artificial intelligence - a modern approach...
Lê Anh Đạt
 

What's hot (20)

Supervised and unsupervised learning
Supervised and unsupervised learningSupervised and unsupervised learning
Supervised and unsupervised learning
 
AIML_Unit1.pptx
AIML_Unit1.pptxAIML_Unit1.pptx
AIML_Unit1.pptx
 
AI: Learning in AI
AI: Learning in AI AI: Learning in AI
AI: Learning in AI
 
Probabilistic Reasoning
Probabilistic ReasoningProbabilistic Reasoning
Probabilistic Reasoning
 
Artificial Intelligence
Artificial IntelligenceArtificial Intelligence
Artificial Intelligence
 
Machine Learning Deep Learning AI and Data Science
Machine Learning Deep Learning AI and Data Science Machine Learning Deep Learning AI and Data Science
Machine Learning Deep Learning AI and Data Science
 
AI: AI & Problem Solving
AI: AI & Problem SolvingAI: AI & Problem Solving
AI: AI & Problem Solving
 
Supervised vs Unsupervised vs Reinforcement Learning | Edureka
Supervised vs Unsupervised vs Reinforcement Learning | EdurekaSupervised vs Unsupervised vs Reinforcement Learning | Edureka
Supervised vs Unsupervised vs Reinforcement Learning | Edureka
 
First order predicate logic (fopl)
First order predicate logic (fopl)First order predicate logic (fopl)
First order predicate logic (fopl)
 
Introduction to Deep Learning
Introduction to Deep LearningIntroduction to Deep Learning
Introduction to Deep Learning
 
Linear regression
Linear regressionLinear regression
Linear regression
 
Introduction to Neural Networks
Introduction to Neural NetworksIntroduction to Neural Networks
Introduction to Neural Networks
 
Machine Learning
Machine LearningMachine Learning
Machine Learning
 
Uncertainty in AI
Uncertainty in AIUncertainty in AI
Uncertainty in AI
 
Planning
Planning Planning
Planning
 
knowledge representation using rules
knowledge representation using rulesknowledge representation using rules
knowledge representation using rules
 
State Space Search in ai
State Space Search in aiState Space Search in ai
State Space Search in ai
 
Ontology engineering
Ontology engineering Ontology engineering
Ontology engineering
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Stuart russell and peter norvig artificial intelligence - a modern approach...
Stuart russell and peter norvig   artificial intelligence - a modern approach...Stuart russell and peter norvig   artificial intelligence - a modern approach...
Stuart russell and peter norvig artificial intelligence - a modern approach...
 

Viewers also liked

Logical Inference in RTE
Logical Inference in RTELogical Inference in RTE
Logical Inference in RTE
Kilian Evang
 
Issues in knowledge representation
Issues in knowledge representationIssues in knowledge representation
Issues in knowledge representation
Sravanthi Emani
 
Propositional And First-Order Logic
Propositional And First-Order LogicPropositional And First-Order Logic
Propositional And First-Order Logic
ankush_kumar
 

Viewers also liked (19)

Knowledge representation and Predicate logic
Knowledge representation and Predicate logicKnowledge representation and Predicate logic
Knowledge representation and Predicate logic
 
Ai 02
Ai 02Ai 02
Ai 02
 
Prpositional2
Prpositional2Prpositional2
Prpositional2
 
History of Knowledge Representation (SIKS Course 2010)
History of Knowledge Representation (SIKS Course 2010)History of Knowledge Representation (SIKS Course 2010)
History of Knowledge Representation (SIKS Course 2010)
 
Conceptual dependency
Conceptual dependencyConceptual dependency
Conceptual dependency
 
Tutorial - Introduction to Rule Technologies and Systems
Tutorial - Introduction to Rule Technologies and SystemsTutorial - Introduction to Rule Technologies and Systems
Tutorial - Introduction to Rule Technologies and Systems
 
Sementic nets
Sementic netsSementic nets
Sementic nets
 
Frames
FramesFrames
Frames
 
KNOWLEDGE: REPRESENTATION AND MANIPULATION
KNOWLEDGE: REPRESENTATION AND MANIPULATIONKNOWLEDGE: REPRESENTATION AND MANIPULATION
KNOWLEDGE: REPRESENTATION AND MANIPULATION
 
Theoretical and Practical Aspects of Knowledge Representation and Reasoning
Theoretical and Practical Aspects of Knowledge Representation and ReasoningTheoretical and Practical Aspects of Knowledge Representation and Reasoning
Theoretical and Practical Aspects of Knowledge Representation and Reasoning
 
Introduction to Expert Systems {Artificial Intelligence}
Introduction to Expert Systems {Artificial Intelligence}Introduction to Expert Systems {Artificial Intelligence}
Introduction to Expert Systems {Artificial Intelligence}
 
Consumer Behavior chapter 03 Learning and Memory theories Moghimi
Consumer Behavior chapter 03 Learning and Memory theories MoghimiConsumer Behavior chapter 03 Learning and Memory theories Moghimi
Consumer Behavior chapter 03 Learning and Memory theories Moghimi
 
Logical Inference in RTE
Logical Inference in RTELogical Inference in RTE
Logical Inference in RTE
 
Inference rulesproofmethods
Inference rulesproofmethodsInference rulesproofmethods
Inference rulesproofmethods
 
Issues in knowledge representation
Issues in knowledge representationIssues in knowledge representation
Issues in knowledge representation
 
Artificial Intelligence
Artificial IntelligenceArtificial Intelligence
Artificial Intelligence
 
Artificial Intelligence: Knowledge Acquisition
Artificial Intelligence: Knowledge AcquisitionArtificial Intelligence: Knowledge Acquisition
Artificial Intelligence: Knowledge Acquisition
 
Knowledge Representation and Research in the Real World
Knowledge Representation and Research in the Real WorldKnowledge Representation and Research in the Real World
Knowledge Representation and Research in the Real World
 
Propositional And First-Order Logic
Propositional And First-Order LogicPropositional And First-Order Logic
Propositional And First-Order Logic
 

Similar to Artificial intelligence and knowledge representation

Artificial Intelligence AI Topics History and Overview
Artificial Intelligence AI Topics History and OverviewArtificial Intelligence AI Topics History and Overview
Artificial Intelligence AI Topics History and Overview
butest
 
Artificial Intelligence AI Topics History and Overview
Artificial Intelligence AI Topics History and OverviewArtificial Intelligence AI Topics History and Overview
Artificial Intelligence AI Topics History and Overview
butest
 
Introduction to Artificial Intelligence.doc
Introduction to Artificial Intelligence.docIntroduction to Artificial Intelligence.doc
Introduction to Artificial Intelligence.doc
butest
 
Artificial intelligence
Artificial intelligenceArtificial intelligence
Artificial intelligence
Nitesh Kumar
 
intelligent computing relating to cloud computing
intelligent computing relating to cloud computingintelligent computing relating to cloud computing
intelligent computing relating to cloud computing
Er. rahul abhishek
 
artificial intelligence
artificial intelligenceartificial intelligence
artificial intelligence
Mayank Saxena
 

Similar to Artificial intelligence and knowledge representation (20)

7967511.ppt
7967511.ppt7967511.ppt
7967511.ppt
 
Artificial intelligence
Artificial intelligenceArtificial intelligence
Artificial intelligence
 
Artificial-intelligence and its applications in medicine and dentistry.pdf
Artificial-intelligence and its applications in medicine and dentistry.pdfArtificial-intelligence and its applications in medicine and dentistry.pdf
Artificial-intelligence and its applications in medicine and dentistry.pdf
 
Artificial intelligence
Artificial intelligenceArtificial intelligence
Artificial intelligence
 
Artificial intelligence.pptx
Artificial intelligence.pptxArtificial intelligence.pptx
Artificial intelligence.pptx
 
IS
ISIS
IS
 
AI_Lecture_1.pptx
AI_Lecture_1.pptxAI_Lecture_1.pptx
AI_Lecture_1.pptx
 
ar
arar
ar
 
Artificial Intelligence AI Topics History and Overview
Artificial Intelligence AI Topics History and OverviewArtificial Intelligence AI Topics History and Overview
Artificial Intelligence AI Topics History and Overview
 
Artificial Intelligence AI Topics History and Overview
Artificial Intelligence AI Topics History and OverviewArtificial Intelligence AI Topics History and Overview
Artificial Intelligence AI Topics History and Overview
 
AI chap1
AI chap1AI chap1
AI chap1
 
Human Level Artificial Intelligence
Human Level Artificial IntelligenceHuman Level Artificial Intelligence
Human Level Artificial Intelligence
 
Introduction to Artificial Intelligence.doc
Introduction to Artificial Intelligence.docIntroduction to Artificial Intelligence.doc
Introduction to Artificial Intelligence.doc
 
AI Presentation 1
AI Presentation 1AI Presentation 1
AI Presentation 1
 
Artificial intelligence and its application
Artificial intelligence and its applicationArtificial intelligence and its application
Artificial intelligence and its application
 
Ai notes
Ai notesAi notes
Ai notes
 
Artificial intelligence
Artificial intelligenceArtificial intelligence
Artificial intelligence
 
intelligent computing relating to cloud computing
intelligent computing relating to cloud computingintelligent computing relating to cloud computing
intelligent computing relating to cloud computing
 
Ai chap1 intro
Ai chap1 introAi chap1 intro
Ai chap1 intro
 
artificial intelligence
artificial intelligenceartificial intelligence
artificial intelligence
 

More from Sajan Sahu (20)

Architecture of message oriented middleware
Architecture of message oriented middlewareArchitecture of message oriented middleware
Architecture of message oriented middleware
 
Insurance envoy
Insurance envoyInsurance envoy
Insurance envoy
 
Computer’s memory
Computer’s memoryComputer’s memory
Computer’s memory
 
Automated inspection of aircraft
Automated inspection of aircraftAutomated inspection of aircraft
Automated inspection of aircraft
 
Data compretion
Data compretionData compretion
Data compretion
 
Deadlock
DeadlockDeadlock
Deadlock
 
Data warehouseing
Data warehouseingData warehouseing
Data warehouseing
 
Information system
Information systemInformation system
Information system
 
Dna computing
Dna computingDna computing
Dna computing
 
Wireless application protocol (WAP)
Wireless application protocol (WAP)Wireless application protocol (WAP)
Wireless application protocol (WAP)
 
Blink detection and tracking of eyes for eye localisat
Blink detection and tracking of eyes for eye localisatBlink detection and tracking of eyes for eye localisat
Blink detection and tracking of eyes for eye localisat
 
Database system
Database systemDatabase system
Database system
 
GPRS
GPRSGPRS
GPRS
 
Bios
BiosBios
Bios
 
Bluetooth
Bluetooth Bluetooth
Bluetooth
 
802.11
802.11802.11
802.11
 
Erp
ErpErp
Erp
 
Internet telephony
Internet telephonyInternet telephony
Internet telephony
 
Wcdma
WcdmaWcdma
Wcdma
 
Criptography
CriptographyCriptography
Criptography
 

Recently uploaded

Why Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businessWhy Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire business
panagenda
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Safe Software
 

Recently uploaded (20)

Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : Uncertainty
 
Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...
Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...
Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...
 
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
 
Why Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businessWhy Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire business
 
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
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
 
Ransomware_Q4_2023. The report. [EN].pdf
Ransomware_Q4_2023. The report. [EN].pdfRansomware_Q4_2023. The report. [EN].pdf
Ransomware_Q4_2023. The report. [EN].pdf
 
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
 
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemkeProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
 
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
 
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxCorporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
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
 
Manulife - Insurer Transformation Award 2024
Manulife - Insurer Transformation Award 2024Manulife - Insurer Transformation Award 2024
Manulife - Insurer Transformation Award 2024
 
Apidays Singapore 2024 - Modernizing Securities Finance by Madhu Subbu
Apidays Singapore 2024 - Modernizing Securities Finance by Madhu SubbuApidays Singapore 2024 - Modernizing Securities Finance by Madhu Subbu
Apidays Singapore 2024 - Modernizing Securities Finance by Madhu Subbu
 
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
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
 
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...
 
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
 

Artificial intelligence and knowledge representation

  • 1. Artificial Intelligence & Knowledge Representation National Institute Of Science & Technology Sudeep Misra [1] Artificial Intelligence and Knowledge Representation Under the Guidance of Mr. Anisur Rahman Presented by Sudeep Misra
  • 2. Artificial Intelligence & Knowledge Representation WHAT MAKES THE COMPUTER INTELLIGENT?  Speed of computation  Filters out and displays only meaningful National Institute Of Science & Technology Sudeep Misra [2] responses or solutions to a specific question  Algorithms splits task into subtasks – recursion  Neural networks.
  • 3. Artificial Intelligence & Knowledge Representation WHY ARTIFICIAL INTELLIGENCE National Institute Of Science & Technology Sudeep Misra [3]  Unlike humans, computers have trouble understanding specific situations, and adapting to new situations.  Artificial Intelligence improves machine behavior in tackling such complex tasks, based on abstract thought, high-level deliberative reasoning and pattern recognition.  Artificial Intelligence can help us understand this process by recreating it, then potentially enabling us to enhance it beyond our current capabilities
  • 4. Artificial Intelligence & Knowledge Representation KNOWLEDGE REPRESENTATION? National Institute Of Science & Technology Sudeep Misra [4] EXAMPLE: -CANNIBAL-MISSIONARY PROBLEM Three missionaries and three cannibals come to a river and find a boat that holds two. If the cannibals ever outnumber the missionaries on either bank, the missionaries will be eaten. How shall they cross? Here comes the importance of knowledge. This problem can although be solved by intelligent algorithms but knowledge plays the most crucial part
  • 5. Artificial Intelligence & Knowledge Representation Need for formal languages Consider an English sentence like: “The boy saw a girl with a telescope” Natural languages exhibit ambiguity Not only does ambiguity make it difficult for us to understand what is the intended meaning of certain phrases and sentences but also makes it very difficult to make inferences Symbolic logic is a syntactically unambigious knowledge representation language (originally developed in an attempt to formalize mathematical reasoning) National Institute Of Science & Technology Sudeep Misra [5]
  • 6. Artificial Intelligence & Knowledge Representation KNOWLEDGE REPRESENTATION TECHNIQUES IN AI PROPOSITIONAL LOGIC declarative statement ~ -> Negation → -> implication ↔ -> implies and implied by v -> disjunction ^ -> Conjunction propositional logic = sentences represent whole propositions “2 is prime.” P “I ate breakfast today.” Q National Institute Of Science & Technology Sudeep Misra [6]
  • 7. Artificial Intelligence & Knowledge Representation Syntax syntax = how a sentence looks like Sentence -> AtomicSentence | ComplexSentence AtomicSentence -> T(RUE) | F(ALSE) | Symbols ComplexSentence -> ( Sentence ) | NOT Sentence | Connective -> AND | OR | IMPLIES | EQUIV(ALENT) Sentence Connective Sentence Symbols -> P | Q | R | ... Precedence: NOT AND OR IMPLIES EQUIVALENT conjunction disjunction implication equivalence negation National Institute Of Science & Technology Sudeep Misra [7]
  • 8. Artificial Intelligence & Knowledge Representation Semantics National Institute Of Science & Technology Sudeep Misra [8] semantics = what a sentence means interpretation: assigns each symbol a truth value, either t(rue) or f(alse) the truth value of T(RUE) is t(rue) the truth value of F(ALSE) is f(alse) truth tables (“compositional semantics”) the meaning of a sentence is a function of the meaning of its parts
  • 9. Artificial Intelligence & Knowledge Representation Terminology National Institute Of Science & Technology Sudeep Misra [9] A sentence is valid if it is True under all possible assignments of True/False to its propositional variables (e.g. P_:P) Valid sentences are also referred to as tautologies A sentence is satisfiable if and only if there is some assignment of True/False to its propositional variables for which the sentence is True A sentence is unsatisfiable if and only if it is not satisfiable (e.g. P^:P)
  • 10. Artificial Intelligence & Knowledge Representation Examples either I go to the movies or I go swimming 2 is prime implies that 2 is even 2 is odd implies that 3 is even (inclusive vs. exclusive OR) (implication does not imply causality) (false implies everything) National Institute Of Science & Technology Sudeep Misra [10]
  • 11. Artificial Intelligence & Knowledge Representation Semantic Networks National Institute Of Science & Technology Sudeep Misra [11] l Graph structures that encode taxonomic knowledge of objects and their properties – objects represented as nodes – relations represented as labeled edges l Inheritance = form of inference in which subclasses inherit properties of superclasses
  • 12. Artificial Intelligence & Knowledge Representation Frames A limitation of semantic networks is that additional structure is often necessary to distinguish – statements about an object’s relationships – properties of the object A frame is a node with additional structure that facilitates differentiating relationships between objects and properties of objects. Called a “slot-and-filler” representation National Institute Of Science & Technology Sudeep Misra [12]
  • 13. Artificial Intelligence & Knowledge Representation NORMAL Form in predicate LOGIC: Rule:- 1. Replace and by using equivalent formulas. 2. Repeated use of negation ~ (~ p)=F.Demorgan’s law to National Institute Of Science & Technology Sudeep Misra [13] bring negation in front of each atom. ~ (GF)= ~G~F.Use ~x F(x)= x~F(x) and ~xF(x) = x~F(x) Then use all the equivalent expressions to bring the quantities in front of the expressions
  • 14. Artificial Intelligence & Knowledge Representation Resolution in predicate LOGIC i) R(a) ii) R(x) M(x,b) First replace a in place of x in 2nd premise and conclude National Institute Of Science & Technology Sudeep Misra [14] M(a,b). e.g. 1. Marcus was a man. Man (marcus) 2. Marcus was a Pompeian. Pompeian (Marcus) 3. Caesar was a ruler. Ruler (Caesar)
  • 15. Artificial Intelligence & Knowledge Representation Nonmonotonic Reasoning  Collection of true facts never decreases  Facts changes with time  According to the human problem solving approach the truth status of the collected facts may be revised based on contrary evidences.  Hence the nonmonotonic reasoning system is more effective in many practical problems solving situations. National Institute Of Science & Technology Sudeep Misra [15]
  • 16. Artificial Intelligence & Knowledge Representation Principles of NMRs  If x is not known, then conclude y  If x cannot be proved, then conclude y  e.g. 1: To build a program that generates a solution to a fairly a simple problem.  e.g. 2: To find out a time at which three busy can all attain a meeting  dependency-directed backtracking National Institute Of Science & Technology Sudeep Misra [16]
  • 17. Artificial Intelligence & Knowledge Representation Necessity of NMR National Institute Of Science & Technology Sudeep Misra [17] 1. The presence of incomplete information requires default reasoning. 2. A changing world must be decided by a changing database. 3. Generating a complete solution to a problem may require temporary assumption about partial solution.
  • 18. Artificial Intelligence & Knowledge Representation Applications of AI National Institute Of Science & Technology Sudeep Misra [18] 1. PATTERN RECOGNISATION 2. ROBOTICS 3. NATURAL LANGUAGE PROCESSING 4. ARTIFICIAL LIFE 5. APPLICATIONS OF AI, BY INTELLIGENT ALGORITHMS 5.1 Mechanical translation 5.2 Game playing 5.3 Computer vision 5.4 Computer hearing 5.5 Creating original thoughts or works of art 5.6 Analogical thinking Learning
  • 19. Artificial Intelligence & Knowledge Representation Fundamental Problems of AI 1. The ability of even the most advanced of currently existing National Institute Of Science & Technology Sudeep Misra [19] computer systems to acquire information all by itself is still extremely limited. 2. It is not obvious that all human knowledge is encodable in “information structures” however complex. e.g. A human may know, for example, just what kind of emotional impact touching another person’s hand will have both on the other person and on himself. 3. The hand-touching example will do here too, there are some things people come to know only as a consequence of having been treated as human beings by other human beings. 4. The kinds of knowledge that appear superficially to be communicable from one human being to another in language alone are in fact not altogether so communicable
  • 20. Artificial Intelligence & Knowledge Representation National Institute Of Science & Technology Sudeep Misra [20] Thank You!!!