SlideShare a Scribd company logo
Possible Word Representation
Prof. Neeraj Bhargava
Kapil Chauhan
Department of Computer Science
School of Engineering & Systems Sciences
MDS University, Ajmer
Outline
 Text Semantics
 Representation
 Choosing representation
 Some General Representations
 What is a logic ?
 Propositional Logic
 Predicate logic
Text Semantics
• In Natural Language Processing (NLP), semantics is
concerned with the meanings of texts.
• There are two main approaches:
• Propositional or formal semantics: A block of text is to
converted into a formula in a logical language, e.g.
predicate calculus.
• Vector representation. Texts are embedded into a high-
dimensional space.
Representation
 AI agents deal with knowledge (data)
 Facts (believe & observe knowledge)
 Procedures (how to knowledge)
 Meaning (relate & define knowledge)
 Right representation is crucial
 Early realisation in AI
 Wrong choice can lead to project failure
 Active research area
Choosing a Representation
 For certain problem solving techniques
 ‘Best’ representation already known
 Often a requirement of the technique
 Or a requirement of the programming language (e.g. Prolog)
 Examples
 First order theorem proving… first order logic
 Inductive logic programming… logic programs
 Neural networks learning… neural networks
 Some general representation schemes
 Suitable for many different (and new) AI applications
Some General Representations
 Logical Representations
 Production Rules
 Semantic Networks
• Conceptual graphs, frames
 Description Logics (see textbook)
What is a Logic?
 A language with concrete rules
 No ambiguity in representation (may be other errors!)
 Allows unambiguous communication and processing
 Very unlike natural languages e.g. English
 Many ways to translate between languages
 A statement can be represented in different logics
 And perhaps differently in same logic
 Expressiveness of a logic
 How much can we say in this language?
 Not to be confused with logical reasoning
 Logics are languages, reasoning is a process (may use logic)
Syntax and Semantics
 Syntax
 Rules for constructing legal sentences in the logic
 Which symbols we can use (English: letters, punctuation)
 How we are allowed to combine symbols
 Semantics
 How we interpret (read) sentences in the logic
 Assigns a meaning to each sentence
 Example: “All lecturers are seven foot tall”
 A valid sentence (syntax)
 And we can understand the meaning (semantics)
 This sentence happens to be false (there is a counterexample)
Propositional Logic
 Syntax
 Propositions, e.g. “it is wet”
 Connectives: and, or, not, implies, iff (equivalent)
 Brackets, T (true) and F (false)
 Semantics (Classical AKA Boolean)
 Define how connectives affect truth
 “P and Q” is true if and only if P is true and Q is true
 Use truth tables to work out the truth of statements
Predicate Logic
 Propositional logic combines atoms
 An atom contains no propositional connectives
 Have no structure (today_is_wet, john_likes_apples)
 Predicates allow us to talk about objects
 Properties: is_wet(today)
 Relations: likes(john, apples)
 True or false
 In predicate logic each atom is a predicate
 e.g. first order logic, higher-order logic
Representation & Logic
 AI wanted “non-logical representations”
 Production rules
 Semantic networks
 Conceptual graphs, frames
 But all can be expressed in first order logic!
 Best of both worlds
 Logical reading ensures representation well-defined
 Representations specialised for applications
 Can make reasoning easier, more intuitive
Assignment
 Explain predicate and propositional logic with
example.
Possible Word Representation

More Related Content

PPT
Ecg analysis in the cloud
PPTX
CCS335 – CLOUD COMPUTING.pptx
PPTX
CCS335 - Cloud architecture model and infrastructure
PPTX
Semantic net in AI
PPTX
Artificial Intelligence Notes Unit 3
PPT
Biology protein structure in cloud computing
PPTX
Data storage security in cloud computing
PPTX
Ecg analysis in the cloud
CCS335 – CLOUD COMPUTING.pptx
CCS335 - Cloud architecture model and infrastructure
Semantic net in AI
Artificial Intelligence Notes Unit 3
Biology protein structure in cloud computing
Data storage security in cloud computing

What's hot (20)

PPT
Scheduling in cloud
PDF
Production System in AI
PPTX
Scheduling in Cloud Computing
PDF
Cloud Computing Forensic Science
PDF
Big data unit i
PPTX
Class based modeling
PDF
Pig Latin, Data Model with Load and Store Functions
PPTX
Virtualization in cloud computing
PPTX
Ch7-Software Engineering 9
PPTX
Dynamic Itemset Counting
PPSX
Fundamentals of Neural Networks
PPTX
Data mining technique (decision tree)
PPTX
Map Reduce
PDF
Inference in Bayesian Networks
PDF
Fundamentals of Neural Network (Soft Computing)
PPTX
Ch17 distributed software engineering
PDF
PPTX
Term weighting
PPTX
Analytical learning
PPT
Spatial data mining
Scheduling in cloud
Production System in AI
Scheduling in Cloud Computing
Cloud Computing Forensic Science
Big data unit i
Class based modeling
Pig Latin, Data Model with Load and Store Functions
Virtualization in cloud computing
Ch7-Software Engineering 9
Dynamic Itemset Counting
Fundamentals of Neural Networks
Data mining technique (decision tree)
Map Reduce
Inference in Bayesian Networks
Fundamentals of Neural Network (Soft Computing)
Ch17 distributed software engineering
Term weighting
Analytical learning
Spatial data mining
Ad

Similar to Possible Word Representation (20)

PPTX
Representation of syntax, semantics and Predicate logics
DOC
PPT
Knowledge Representation in Artificial intelligence
PPT
knowledge representation artificial intelligent CSE 315
PPTX
Lecture 1-3-Logics-In-computer-science.pptx
PDF
The recognition system of sentential
PDF
Word Segmentation in Sentence Analysis
PPTX
5. phases of nlp
PPTX
6CS4_AI_Unit-5 @zammers.pptx(for artificial intelligence)
PDF
Sentence analysis
PDF
Ai lecture 07(unit03)
PPT
The role of linguistic information for shallow language processing
PDF
13. Constantin Orasan (UoW) Natural Language Processing for Translation
PDF
Cognitive plausibility in learning algorithms
PPT
The impact of standardized terminologies and domain-ontologies in multilingua...
PDF
Welcome to International Journal of Engineering Research and Development (IJERD)
PPTX
chapter2 Know.representation.pptx
PDF
Knowledge-Representation and Reasoning in pdf
Representation of syntax, semantics and Predicate logics
Knowledge Representation in Artificial intelligence
knowledge representation artificial intelligent CSE 315
Lecture 1-3-Logics-In-computer-science.pptx
The recognition system of sentential
Word Segmentation in Sentence Analysis
5. phases of nlp
6CS4_AI_Unit-5 @zammers.pptx(for artificial intelligence)
Sentence analysis
Ai lecture 07(unit03)
The role of linguistic information for shallow language processing
13. Constantin Orasan (UoW) Natural Language Processing for Translation
Cognitive plausibility in learning algorithms
The impact of standardized terminologies and domain-ontologies in multilingua...
Welcome to International Journal of Engineering Research and Development (IJERD)
chapter2 Know.representation.pptx
Knowledge-Representation and Reasoning in pdf
Ad

More from chauhankapil (20)

PPTX
Gray level transformation
PPTX
Elements of visual perception
PPTX
JSP Client Request
PPTX
Jsp server response
PPTX
Markov decision process
PPTX
RNN basics in deep learning
PPTX
Introduction to generative adversarial networks (GANs)
PPTX
Bayesian probabilistic interference
PPTX
PPTX
Exception handling in java
PPTX
Knowledge acquistion
PPTX
Knowledge based system
PPTX
Introduction of predicate logics
PPTX
Types of inheritance in java
PPTX
Inheritance in java
PPTX
Propositional logic
PPTX
Constructors in java
PPTX
Methods in java
PPT
Circular linked list
PPT
Doubly linked list
Gray level transformation
Elements of visual perception
JSP Client Request
Jsp server response
Markov decision process
RNN basics in deep learning
Introduction to generative adversarial networks (GANs)
Bayesian probabilistic interference
Exception handling in java
Knowledge acquistion
Knowledge based system
Introduction of predicate logics
Types of inheritance in java
Inheritance in java
Propositional logic
Constructors in java
Methods in java
Circular linked list
Doubly linked list

Recently uploaded (20)

PPTX
Infosys Presentation by1.Riyan Bagwan 2.Samadhan Naiknavare 3.Gaurav Shinde 4...
PPT
CRASH COURSE IN ALTERNATIVE PLUMBING CLASS
PDF
Model Code of Practice - Construction Work - 21102022 .pdf
PPTX
Engineering Ethics, Safety and Environment [Autosaved] (1).pptx
PPTX
additive manufacturing of ss316l using mig welding
PDF
composite construction of structures.pdf
PPTX
Sustainable Sites - Green Building Construction
PPTX
UNIT 4 Total Quality Management .pptx
PDF
BMEC211 - INTRODUCTION TO MECHATRONICS-1.pdf
PDF
PPT on Performance Review to get promotions
PDF
keyrequirementskkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
PPTX
UNIT-1 - COAL BASED THERMAL POWER PLANTS
PPTX
bas. eng. economics group 4 presentation 1.pptx
PDF
SM_6th-Sem__Cse_Internet-of-Things.pdf IOT
PDF
Enhancing Cyber Defense Against Zero-Day Attacks using Ensemble Neural Networks
PPTX
Internet of Things (IOT) - A guide to understanding
PDF
TFEC-4-2020-Design-Guide-for-Timber-Roof-Trusses.pdf
PPTX
Geodesy 1.pptx...............................................
PDF
Automation-in-Manufacturing-Chapter-Introduction.pdf
DOCX
573137875-Attendance-Management-System-original
Infosys Presentation by1.Riyan Bagwan 2.Samadhan Naiknavare 3.Gaurav Shinde 4...
CRASH COURSE IN ALTERNATIVE PLUMBING CLASS
Model Code of Practice - Construction Work - 21102022 .pdf
Engineering Ethics, Safety and Environment [Autosaved] (1).pptx
additive manufacturing of ss316l using mig welding
composite construction of structures.pdf
Sustainable Sites - Green Building Construction
UNIT 4 Total Quality Management .pptx
BMEC211 - INTRODUCTION TO MECHATRONICS-1.pdf
PPT on Performance Review to get promotions
keyrequirementskkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
UNIT-1 - COAL BASED THERMAL POWER PLANTS
bas. eng. economics group 4 presentation 1.pptx
SM_6th-Sem__Cse_Internet-of-Things.pdf IOT
Enhancing Cyber Defense Against Zero-Day Attacks using Ensemble Neural Networks
Internet of Things (IOT) - A guide to understanding
TFEC-4-2020-Design-Guide-for-Timber-Roof-Trusses.pdf
Geodesy 1.pptx...............................................
Automation-in-Manufacturing-Chapter-Introduction.pdf
573137875-Attendance-Management-System-original

Possible Word Representation

  • 1. Possible Word Representation Prof. Neeraj Bhargava Kapil Chauhan Department of Computer Science School of Engineering & Systems Sciences MDS University, Ajmer
  • 2. Outline  Text Semantics  Representation  Choosing representation  Some General Representations  What is a logic ?  Propositional Logic  Predicate logic
  • 3. Text Semantics • In Natural Language Processing (NLP), semantics is concerned with the meanings of texts. • There are two main approaches: • Propositional or formal semantics: A block of text is to converted into a formula in a logical language, e.g. predicate calculus. • Vector representation. Texts are embedded into a high- dimensional space.
  • 4. Representation  AI agents deal with knowledge (data)  Facts (believe & observe knowledge)  Procedures (how to knowledge)  Meaning (relate & define knowledge)  Right representation is crucial  Early realisation in AI  Wrong choice can lead to project failure  Active research area
  • 5. Choosing a Representation  For certain problem solving techniques  ‘Best’ representation already known  Often a requirement of the technique  Or a requirement of the programming language (e.g. Prolog)  Examples  First order theorem proving… first order logic  Inductive logic programming… logic programs  Neural networks learning… neural networks  Some general representation schemes  Suitable for many different (and new) AI applications
  • 6. Some General Representations  Logical Representations  Production Rules  Semantic Networks • Conceptual graphs, frames  Description Logics (see textbook)
  • 7. What is a Logic?  A language with concrete rules  No ambiguity in representation (may be other errors!)  Allows unambiguous communication and processing  Very unlike natural languages e.g. English  Many ways to translate between languages  A statement can be represented in different logics  And perhaps differently in same logic  Expressiveness of a logic  How much can we say in this language?  Not to be confused with logical reasoning  Logics are languages, reasoning is a process (may use logic)
  • 8. Syntax and Semantics  Syntax  Rules for constructing legal sentences in the logic  Which symbols we can use (English: letters, punctuation)  How we are allowed to combine symbols  Semantics  How we interpret (read) sentences in the logic  Assigns a meaning to each sentence  Example: “All lecturers are seven foot tall”  A valid sentence (syntax)  And we can understand the meaning (semantics)  This sentence happens to be false (there is a counterexample)
  • 9. Propositional Logic  Syntax  Propositions, e.g. “it is wet”  Connectives: and, or, not, implies, iff (equivalent)  Brackets, T (true) and F (false)  Semantics (Classical AKA Boolean)  Define how connectives affect truth  “P and Q” is true if and only if P is true and Q is true  Use truth tables to work out the truth of statements
  • 10. Predicate Logic  Propositional logic combines atoms  An atom contains no propositional connectives  Have no structure (today_is_wet, john_likes_apples)  Predicates allow us to talk about objects  Properties: is_wet(today)  Relations: likes(john, apples)  True or false  In predicate logic each atom is a predicate  e.g. first order logic, higher-order logic
  • 11. Representation & Logic  AI wanted “non-logical representations”  Production rules  Semantic networks  Conceptual graphs, frames  But all can be expressed in first order logic!  Best of both worlds  Logical reading ensures representation well-defined  Representations specialised for applications  Can make reasoning easier, more intuitive
  • 12. Assignment  Explain predicate and propositional logic with example.