An Intelligent Analyzer and Understander of English Yorick Wilks 1975, ACM.

Slides:



Advertisements
Similar presentations
Prolog programming....Dr.Yasser Nada. Chapter 8 Parsing in Prolog Taif University Fall 2010 Dr. Yasser Ahmed nada prolog programming....Dr.Yasser Nada.
Advertisements

1 GPS, A Program That Simulates Human Thought 신 동 호신 동 호 Allen Newell & H.A. Simon.
Semantics Static semantics Dynamic semantics attribute grammars
CS344: Introduction to Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 10– Club and Circuit Examples.
First-Order Logic (and beyond)
Natural Language Understanding Difficulties: Large amount of human knowledge assumed – Context is key. Language is pattern-based. Patterns can restrict.
C O N T E X T - F R E E LANGUAGES ( use a grammar to describe a language) 1.
Grammars.
1 Semantic Description of Programming languages. 2 Static versus Dynamic Semantics n Static Semantics represents legal forms of programs that cannot be.
1 Pass Compiler 1. 1.Introduction 1.1 Types of compilers 2.Stages of 1 Pass Compiler 2.1 Lexical analysis 2.2. syntactical analyzer 2.3. Code generation.
C. Varela; Adapted w/permission from S. Haridi and P. Van Roy1 Declarative Computation Model Defining practical programming languages Carlos Varela RPI.
Chapter 9 Describing Process Specifications and Structured Decisions
Chapter 9 Describing Process Specifications and Structured Decisions Systems Analysis and Design Kendall & Kendall Sixth Edition © 2005 Pearson Prentice.
LEARNING FROM OBSERVATIONS Yılmaz KILIÇASLAN. Definition Learning takes place as the agent observes its interactions with the world and its own decision-making.
Chapter 9 Describing Process Specifications and Structured Decisions
CS 330 Programming Languages 09 / 13 / 2007 Instructor: Michael Eckmann.
Cse321, Programming Languages and Compilers 1 6/19/2015 Lecture #18, March 14, 2007 Syntax directed translations, Meanings of programs, Rules for writing.
ISBN Chapter 4 Lexical and Syntax Analysis The Parsing Problem Recursive-Descent Parsing.
LEARNING FROM OBSERVATIONS Yılmaz KILIÇASLAN. Definition Learning takes place as the agent observes its interactions with the world and its own decision-making.
Let remember from the previous lesson what is Knowledge representation
COMP205 Comparative Programming Languages Part 1: Introduction to programming languages Lecture 2: Structure of programs and programming languages as communication.
Describing Syntax and Semantics
CSC 160 Computer Programming for Non-Majors Lecture #12: Syntax and Semantics Prof. Adam M. Wittenstein
Chapter 3 Planning Your Solution
Models of Generative Grammar Smriti Singh. Generative Grammar  A Generative Grammar is a set of formal rules that can generate an infinite set of sentences.
CSE 413 Programming Languages & Implementation Hal Perkins Autumn 2012 Context-Free Grammars and Parsing 1.
Created By: Benjamin J. Van Someren.  Natural Language Translation – Translating one natural language such as German to another natural language such.
2.2 A Simple Syntax-Directed Translator Syntax-Directed Translation 2.4 Parsing 2.5 A Translator for Simple Expressions 2.6 Lexical Analysis.
Notes for Chapter 12 Logic Programming The AI War Basic Concepts of Logic Programming Prolog Review questions.
Relative clauses Chapter 11.
Interpreting Dictionary Definitions Dan Tecuci May 2002.
CSI 3120, Grammars, page 1 Language description methods Major topics in this part of the course: –Syntax and semantics –Grammars –Axiomatic semantics (next.
COP 4620 / 5625 Programming Language Translation / Compiler Writing Fall 2003 Lecture 10, 10/30/2003 Prof. Roy Levow.
CMPF144 FUNDAMENTALS OF COMPUTING THEORY Module 5: Classical Logic.
C H A P T E R TWO Syntax and Semantic.
ISBN Chapter 3 Describing Semantics -Attribute Grammars -Dynamic Semantics.
CS 363 Comparative Programming Languages Semantics.
1 Syntax In Text: Chapter 3. 2 Chapter 3: Syntax and Semantics Outline Syntax: Recognizer vs. generator BNF EBNF.
Introduction to programming in the Java programming language.
Parsing Introduction Syntactic Analysis I. Parsing Introduction 2 The Role of the Parser The Syntactic Analyzer, or Parser, is the heart of the front.
1 Definite Clause Grammars for Language Analysis – A Survey of the Formalism and a Comparison with Augmented Transition Networks 인공지능 연구실 Hee keun Heo.
Daisy Arias Math 382/Lab November 16, 2010 Fall 2010.
3.2 Semantics. 2 Semantics Attribute Grammars The Meanings of Programs: Semantics Sebesta Chapter 3.
Programming Languages and Design Lecture 3 Semantic Specifications of Programming Languages Instructor: Li Ma Department of Computer Science Texas Southern.
Copyright © 2006 Addison-Wesley. All rights reserved. Ambiguity in Grammars A grammar is ambiguous if and only if it generates a sentential form that has.
Chapter 3 Describing Syntax and Semantics
Artificial Intelligence: Natural Language
The Functions and Purposes of Translators Syntax (& Semantic) Analysis.
1 / 48 Formal a Language Theory and Describing Semantics Principles of Programming Languages 4.
Introduction to Prolog. Outline What is Prolog? Prolog basics Prolog Demo Syntax: –Atoms and Variables –Complex Terms –Facts & Queries –Rules Examples.
Introduction Chapter 1 Foundations of statistical natural language processing.
1Computer Sciences Department. Book: INTRODUCTION TO THE THEORY OF COMPUTATION, SECOND EDITION, by: MICHAEL SIPSER Reference 3Computer Sciences Department.
Levels of Linguistic Analysis
Concepts and Realization of a Diagram Editor Generator Based on Hypergraph Transformation Author: Mark Minas Presenter: Song Gu.
Chapter 2 Scanning. Dr.Manal AbdulazizCS463 Ch22 The Scanning Process Lexical analysis or scanning has the task of reading the source program as a file.
NATURAL LANGUAGE PROCESSING
Some Thoughts to Consider 5 Take a look at some of the sophisticated toys being offered in stores, in catalogs, or in Sunday newspaper ads. Which ones.
Artificial Intelligence Knowledge Representation.
Compiler Construction Lecture Five: Parsing - Part Two CSC 2103: Compiler Construction Lecture Five: Parsing - Part Two Joyce Nakatumba-Nabende 1.
March 3, 2016Introduction to Artificial Intelligence Lecture 12: Knowledge Representation & Reasoning I 1 Back to “Serious” Topics… Knowledge Representation.
Describing Syntax and Semantics
Parsing & Context-Free Grammars
Programming Languages Translator
Introduction to Parsing (adapted from CS 164 at Berkeley)
Introduction to Computer Programming
(Slides copied liberally from Ruth Anderson, Hal Perkins and others)
R.Rajkumar Asst.Professor CSE
Back to “Serious” Topics…
Chapter 11 Describing Process Specifications and Structured Decisions
Faculty of Computer Science and Information System
Presentation transcript:

An Intelligent Analyzer and Understander of English Yorick Wilks 1975, ACM

2 Introduction  Semantics –Natural Language Processing cannot do this directly –Minsky argued that there could be no machine translation without a system that, in an adequate sense, understood what it was trying to translate.  Preference Semantics –Contains no conventional grammar for analysis or generation, its task is performed by a strong semantics.

3 A System of Semantics Based Language Analysis(1)  Semantic Block –A representation of a fragment text.  It consists of templates bound together by paraplates and common sense inferences.  These items consist of formulas which in terms consist of elements.

4 A System of Semantics Based Language Analysis(2)  Semantic items represent text items as follows: Item in semantic representation Corresponding text items formulaEnglish word sense templateEnglish clause or simple sentence semantic blockEnglish paragraph or text

5 Semantic Elements(1)  Semantic elements are 70 primitive semantic units used to express the semantic entities, states, qualities, and actions about which humans speak and write.

6 Semantic Elements(2)  The elements fall into five classes a)Entities: MAN (human being), STUFF (substances), FOLK (human groups), etc. b)Actions: FORCE (compels), CAUSE (causes to happen), FLOW (moving as liquids do), etc. c)Type indicators: KIND (being a quality), HOW (being a type of action), etc. d)Sorts: CONT (being a container), GOOD (being morally acceptable), THRU(being an aperture), etc. e)Cases: TO (direction), GOAL (goal or end), SUBJ (actor or agent), etc.

7 Semantic Formulas(1)  Semantic formulas are constructed from elements.  These elements express the senses of English words; one formula to each sense.  The formulas are binarily bracketed lists of whatever depth is necessary to express the word sense.  The most important element is the head of the formula, always at their rightmost. It expresses the most general category under which the word sense in question falls.  An element that is used as a head can function within formulas as well. Formulas can be thought of and written out as binary trees of semantic primitives.

8 Semantic Formulas(2)

9 Semantic Templates(1)  Semantic elements have been explained by seeing how they functioned within formulas. One level higher of formulas, the third kind of semantic item in the system, are to be explained by describing how they function within templates.  A template consists of a network of whole formulas, and its connectivity is between an agent-, action-, and object-formula.

10 Semantic Templates(2)  Giving the example that, "Small men sometimes father big sons", these formulas will contain two sequences of head elements, illustrated as follows:

11 Templates and linguistic Syntax  Two bared templates are matched as illustrated as follows, but it has no reason so far as to prefer one to other.

12 Case Ambiguity(1)  Templates are matched with each fragment of the text.  There are then complex routines for establishing contextual ties between these templates separated by fragmentation.  It is both psychologically and computational important for dealing with text containing realistically long and complicated sentences.

13 Case Ambiguity(2)  How does the system resolve ambiguity? –The input text is fragmented initially in the actual implementation of the system. Templates are matched with each fragment of the text. –TIE routines attach the structures for separated fragments back together after the preliminary assignment of template structures to individual fragments. –However, it is important to note that a preference is between alternatives. If the only structure derivable does not satisfy a declared preference, it is then accepted anyway.

14 Paraplates and Case Ambiguity  The paraplates are essentially patterns that span two templates, which named by the writer as mark and case templates, where the mark template generally precedes the case template.  If the predicates are all satisfied by the contents of the two templates, then that paraplate is considered to match onto the two templates and the case ambiguity of the preposition that functions as the pseudo-action in the second template is solved.

15 Anaphora and References  When does common sense inference rules apply? –Common sense inferences are only called in when TIE is unable to resolve outstanding anaphoras. A process of extraction is then done, the common sense rules subsequently apply to these extractions and the relevant templates as the procedure attempts to build up a chain of extractions and inferences.

16 The Generation System for French  How does the generation system for French work? –The system of generation patterns called stereotypes is required for translating into French. The sense-pairs and formulas are carried to the block when a word sense is selected during analysis. –Complex stereotypes are strings of French words and functions, that is the interlingual context of the sense- pair.