Natural Language Processing Lecture 22: Meaning Representation Languages.

Slides:



Advertisements
Similar presentations
1 Knowledge Representation Introduction KR and Logic.
Advertisements

March 1, 2009 Dr. Muhammed Al-Mulhem 1 ICS 482 Natural Language Processing Semantics (Chapter 17) Muhammed Al-Mulhem March 1, 2009.
OWL - DL. DL System A knowledge base (KB) comprises two components, the TBox and the ABox The TBox introduces the terminology, i.e., the vocabulary of.
An Introduction to Description Logics
Artificial Intelligence Inference in first-order logic Fall 2008 professor: Luigi Ceccaroni.
CMSC 723: Intro to Computational Linguistics November 24, 2004 Lecture 12: Lexical Semantics Bonnie Dorr Christof Monz.
Logic Use mathematical deduction to derive new knowledge.
Propositional Logic Reading: C , C Logic: Outline Propositional Logic Inference in Propositional Logic First-order logic.
Logic.
1 A Description Logic with Concrete Domains CS848 presentation Presenter: Yongjuan Zou.
Knowledge Representation. Essential to artificial intelligence are methods of representing knowledge. A number of methods have been developed, including:
Semiotics and Ontologies. Ontologies contain categories, lexicons contain word senses, terminologies contain terms, directories contain addresses, catalogs.
INTRODUCTION TO ARTIFICIAL INTELLIGENCE Massimo Poesio LECTURE 4: Semantic Networks and Description Logics.
Computational Semantics Ling 571 Deep Processing Techniques for NLP February 7, 2011.
Outline Recap Knowledge Representation I Textbook: Chapters 6, 7, 9 and 10.
Logic. Propositional Logic Logic as a Knowledge Representation Language A Logic is a formal language, with precisely defined syntax and semantics, which.
01 -1 Lecture 01 Artificial Intelligence Topics –Introduction –Knowledge representation –Knowledge reasoning –Machine learning –Applications.
Introduction to Semantics To be able to reason about the meanings of utterances, we need to have ways of representing the meanings of utterances. A formal.
1 Lecture 34 Introduction to Knowledge Representation & Expert Systems Overview  Lecture Objective  Introduction to Knowledge Representation  Knowledge.
CSCI 5582 Fall 2006 CSCI 5582 Artificial Intelligence Lecture 9 Jim Martin.
Let remember from the previous lesson what is Knowledge representation
Represent the following sentences in first-order logic, using a consistent vocabulary
Predicate Calculus.
Propositional Logic Agenda: Other forms of inference in propositional logic Basics of First Order Logic (FOL) Vision Final Homework now posted on web site.
Chapter 14. Representing Meaning From: Chapter 14 of An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition,
An Introduction to Description Logics. What Are Description Logics? A family of logic based Knowledge Representation formalisms –Descendants of semantic.
INF 384 C, Spring 2009 Ontologies Knowledge representation to support computer reasoning.
Ming Fang 6/12/2009. Outlines  Classical logics  Introduction to DL  Syntax of DL  Semantics of DL  KR in DL  Reasoning in DL  Applications.
SEMANTIC ANALYSIS WAES3303
Pattern-directed inference systems
Temporal Reasoning and Planning in Medicine Frame-Based Representations and Description Logics Yuval Shahar, M.D., Ph.D.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
An Introduction to Description Logics (chapter 2 of DLHB)
Semantic web course – Computer Engineering Department – Sharif Univ. of Technology – Fall Description Logics: Logic foundation of Semantic Web Semantic.
Computing & Information Sciences Kansas State University Wednesday, 20 Sep 2006CIS 490 / 730: Artificial Intelligence Lecture 12 of 42 Wednesday, 20 September.
Computational Semantics Day 5: Inference Aljoscha.
Hazırlayan DISCRETE COMPUTATIONAL STRUCTURES Propositional Logic PROF. DR. YUSUF OYSAL.
Programming Languages and Design Lecture 3 Semantic Specifications of Programming Languages Instructor: Li Ma Department of Computer Science Texas Southern.
Logical Agents Chapter 7. Knowledge bases Knowledge base (KB): set of sentences in a formal language Inference: deriving new sentences from the KB. E.g.:
Logical Agents Chapter 7. Outline Knowledge-based agents Logic in general Propositional (Boolean) logic Equivalence, validity, satisfiability.
Propositional Logic Predicate Logic
1 CSC384: Intro to Artificial Intelligence Lecture 5.  Knowledge Representation.
Description Logics Dr. Alexandra I. Cristea. Description Logics Description Logics allow formal concept definitions that can be reasoned about to be expressed.
DEDUCTION PRINCIPLES AND STRATEGIES FOR SEMANTIC WEB Chain resolution and its fuzzyfication Dr. Hashim Habiballa University of Ostrava.
ece 627 intelligent web: ontology and beyond
First-Order Logic Reading: C. 8 and C. 9 Pente specifications handed back at end of class.
1 First Order Logic CS 171/271 (Chapter 8) Some text and images in these slides were drawn from Russel & Norvig’s published material.
Logical Agents Chapter 7. Outline Knowledge-based agents Propositional (Boolean) logic Equivalence, validity, satisfiability Inference rules and theorem.
Lecture 8-2CS250: Intro to AI/Lisp What do you mean, “What do I mean?” Lecture 8-2 November 18 th, 1999 CS250.
1 CS 2710, ISSP 2610 Chapter 8, Part 1 First Order Predicate Calculus FOPC.
Of 29 lecture 15: description logic - introduction.
CT214 – Logical Foundations of Computing Darren Doherty Rm. 311 Dept. of Information Technology NUI Galway
NLP. Introduction to NLP What is the meaning of: (5+2)*(4+3)? Parse tree N N N N + + E E E E F F* FE E E 49.
Knowledge Representation and Inference Dr Nicholas Gibbins 32/3019.
Definition and Technologies Knowledge Representation.
Artificial Intelligence Logical Agents Chapter 7.
Representing and Reasoning with Heterogeneous, Modular and Distributed ontologies UniTN/IRST contribution to KnowledgeWeb.WP 2.1.
CS621 : Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 16 Description Logic.
Logical Agents. Outline Knowledge-based agents Logic in general - models and entailment Propositional (Boolean) logic Equivalence, validity, satisfiability.
ece 720 intelligent web: ontology and beyond
Knowledge and reasoning – second part
Representations of Meaning
Chapter 8, Part 1 First Order Predicate Calculus FOPC
Knowledge and reasoning – second part
Knowledge Representation I (Propositional Logic)
Scalable and Efficient Reasoning for Enforcing Role-Based Access Control
ONTOMERGE Ontology translations by merging ontologies Paper: Ontology Translation on the Semantic Web by Dejing Dou, Drew McDermott and Peishen Qi 2003.
A Tutorial Summary of Description Logic and Hybrid Rules
CIS Monthly Seminar – Software Engineering and Knowledge Management IS Enterprise Modeling Ontologies Presenter : Dr. S. Vasanthapriyan Senior Lecturer.
Presentation transcript:

Natural Language Processing Lecture 22: Meaning Representation Languages

Semantics Road Map 1.Lexical semantics 2.Disambiguating words Word sense disambiguation Coreference resolution 3.Semantic role labeling 4.Meaning representation languages 5.Discourse and pragmatics 6.Compositional semantics, semantic parsing

Meaning Representation? For what kinds of tasks? Answering essay questions on an exam Deciding what to order at a restaurant Learning an activity via instructions Making an investment decision Recognizing an insult linguistic inputs results of parsing/WSD/ coref/SRL/etc. meaning representation non-linguistic domains

Desirable Qualities: Verifiability We want to be able to determine the truth of our representations. “Does Hello Bistro serve vegetarian food”? Is Serves(Hello Bistro, vegetarian food) in our knowledge base? What is the relationship between the meaning of a sentence and the world as we know it?

Desirable Qualities: Unambiguous Representation Let’s eat somewhere near campus. (e.g., we want to eat at a place near campus) (e.g., we eat places) Our MRL must capture precisely one of these meanings—not both.

Desirable Qualities: Canonical Form “Mad Mex has vegetarian dishes.” “They have vegetarian food at Mad Mex.” “Vegetarian dishes are served at Mad Mex.” “Mad Mex serves vegetarian fare.” Inputs that mean the same thing should have the same meaning representation.

Desirable Qualities: Inference, Variables, and Expressiveness “Can vegetarians eat at Mad Mex?” “I’d like to find a restaurant where I can get vegetarian food.” Serves(x, vegetarian food) “Delta flies Boeing 737s from Boston to New York.”

One Limitation: Literality We will focus on the basic requirements for meaning representation. The basic requirements do not include correctly interpreting statements like: “Ford was hemorrhaging money.” “I could eat a horse.”

What entities do we want to represent? A meaning representation scheme should let us represent: objects (e.g., people, restaurants, cuisines) properties of objects (e.g., pickiness, noisiness, spiciness) relations between objects (e.g., serves(Oishii Bento, Japanese))

The Knowledge Base Our knowledge base It contains the things that we “know” We can query it

“I have a car.”

MRL #1: First-Order Logic DressCode(ThePorch) Serves(UnionGrill, AmericanFood) Restaurant(UnionGrill) Have(Speaker, FiveDollars) ^ ¬ Have(Speaker, LotOfTime) ∀ x Person(x) ⇒ Have(x, FiveDollars) ∃ x,y Person(x) ^ Restaurant(y) ^ ¬HasVisited(x,y) Function Predicates

Modus Ponens and Forward Chaining As individual facts are added to a knowledge base, modus ponens can be used to fire applicable implication rules.

First Order Logic: Advantages Flexible Well-understood Widely used

MRL #2: Description Logics Goal of description logics: understand and specify semantics for slot-filler representations More restrictive than FOL

TBox and ABox TBox: contains the knowledge about categories or concepts in the application domain All bistros are restaurants All restaurants are businesses ABox: facts about individuals in the domain India Garden is an Indian restaurant

Categories and Subsumption IndianRestaurant(IndiaGarden) category domain element India Garden is an Indian restaurant. IndianRestaurant ⊑ Restaurant subsumed subsumer All Indian restaurants are restaurants.

Negation and Disjunction IndianRestaurant ⊑ not ItalianRestaurant Indian restaurants can’t also be Italian restaurants. Restaurant ⊑ (or ItalianRestaurant IndianRestaurant MexicanRestaurant) Restaurants are Italian restaurants, Indian restaurants, or Mexican restaurant.

Advantages Intuitive hierarchical representation Compatible with existing work on ontologies

The Missing Link Compositional semantics / semantic parsing linguistic inputs results of parsing/WSD/ coref/SRL/etc. meaning representation non-linguistic domains