SlideShare ist ein Scribd-Unternehmen logo
1 von 54
Downloaden Sie, um offline zu lesen
Presupposition projection
as anaphora resolution
Ivan Rygaev
irygaev@gmail.com
Laboratory of Computational Linguistics
Institute for Information Transmission Problems RAS, Moscow, Russia
based on
Rob A. van Der Sandt (1992). Presupposition projection as anaphora resolution
and related works
1
Presupposition projection as anaphora resolution
Ivan Rygaev | HSE 2021
Presupposition
• Presupposition is an information which the speaker
linguistically marks as taken for granted
– i. e. already known by the audience
– i. e. constituting a part of the common ground
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Presupposition triggers
• Definite descriptions
– The king of France is bald
– > There is a king of France
• Complements of factive verbs
– John knows that the Earth is flat
– > The Earth is flat
• Clefts
– It was John who killed the butcher
– > Somebody killed the butcher
• Adverbs even, too, again, etc.
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Presupposition and negation
• Negation does not affect presupposition
• If an affirmative sentence carrier a presupposition
– The king of France is bald
– > There is a king of France
• Its negative counterpart carries the same
presupposition
– The king of France is not bald
– > There is a king of France
• Some researchers define presupposition through this
property
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Presupposition projection
• Presuppositions also normally survive under other
logical operators:
– If Fred has stopped beating Zelda, then Fred no longer
resents Zelda's infidelity
– > Fred has been beating Zelda
– > Zelda has been unfaithful
• And in other complex sentences:
– Bill does not know that all of Jack's children are bald
– > All of Jack's children are bald
– > Jack has children
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Presupposition projection
• Sometimes presuppositions seem to disappear in
complex sentences:
– If Jack has children, then all of Jack's children are bald
– Jack has children and all of Jack's children are bald
– Either Jack has no children of all of Jack's children are bald
• Presupposition projection problem:
– How to determine the presuppositions of a complex
sentence out of presuppositions of its parts?
– Or at least describe a set of context in which the sentence
can be felicitously uttered
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Karttunen’s satisfaction theory
• Plugs, holes and filters
• Presuppositions of ‘if A then B’:
– Presupposition of A
– Presupposition of B except those which are entailed by A
• Presuppositions are context dependent:
– It is not possible to determine the presuppositions of a
complex sentence out of the sentence itself without taking
context into account
– If Nixon invites Angela Davis to the White House, Nixon will
regret having invited a black militant to his residence
– Angela Davis is a black militant
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Karttunen’s satisfaction theory
• Instead of deriving the presuppositions of the whole
sentence
• We define what context has to be like to admit (i. e.
satisfy presuppositions of) a sentences
• Simple rules if we take into account ‘local contexts’
• Context X admits ‘if A then B’ just in case:
– X admits A
– X∪A admits B
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Presupposition as anaphora
• In a series of papers (1988 – 1992) Rob van der Sandt
proposed that presupposition and anaphora is
essentially the same phenomenon:
– Theo has a little rabbit and his rabbit is grey
– Theo has a little rabbit and it is grey
– If Theo has a rabbit, his rabbit is grey
– If Theo has a rabbit, it is grey
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Presupposition as anaphora
• In a series of papers (1988 – 1992) Rob van der Sandt
proposed that presupposition and anaphora is
essentially the same phenomenon:
– Theo has a little rabbit and his rabbit is grey
– Theo has a little rabbit and it is grey
– If Theo has a rabbit, his rabbit is grey
– If Theo has a rabbit, it is grey
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Theories of presupposition
• Presuppositions are referring expressions
– Presupposition picks out a certain referent
– If there is none, the sentence is uninterpretable
• Semantic account
– Presupposition is a proposition which is entailed both by
sentence and its negation
• Pragmatic account
– Presupposition is an addition to a semantic content of the
sentence and derived only after the semantic content is
determined
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Referring expressions theory
• Based on Frege compositional semantics
– Reference of a complex expression is a function of the
references of its parts
– If some expressions do not refer the sentence cannot have
a truth value
• But these sentences are interpretable even if the
highlighted expressions have no reference:
– John has children and his children are bald
– If a man gets angry, his children get frightened
– Every man kissed the girl who loved him
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Semantic account
• A sentence ϕ presupposes ψ just in case:
– ϕ ⇒ ψ
– ¬ ϕ ⇒ ψ
• In classical logic this entails that ψ is a tautology
(necessary true)
• Trivalent logic is required
– If ψ is false then ϕ is undefined
– But the relation of entailment is a classical one
– This relation is monotonic
– Which means it is preserved under growing of information
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Semantic account
• A sentence ϕ presupposes ψ just in case:
– ϕ ⇒ ψ
– ¬ ϕ ⇒ ψ
• In classical logic this entails that ψ is a tautology
(necessary true)
• Trivalent logic is required
– If ψ is false then ϕ is undefined
– But the relation of entailment is a classical one
– This relation is monotonic
– Which means it is preserved under growing of information
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Semantic account
• Presuppositional inferences are not monotonic:
– It is possible that Harry's child is on holiday
– > Harry has a child
– It is not possible that Harry's child is on holiday
– > Harry has a child
– It is possible that Harry does not have a child, but it is also
possible that Harry's child is on holiday
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Pragmatic account
• Presuppositions are
– purely pragmatic
– context-dependent
– can be cancelled like Gricean implicatures
• Utterance information content consists of:
– Semantic content
– Pragmatic content which is computed on the basis of
sematic content, contextual information and pragmatic
principles
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Pragmatic account
• Consequences
– Utterance (sentence + context) is a primary information
carrying unit, not sentence
– Semantic content should be computed before pragmatic
one
– Pragmatic information should be represented separately
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Pragmatic account problems
• A notion of semantic (propositional) content is
counterintuitive and wrong in intensional contexts(?)
• We run into a binding problem with quantifiers
• Accommodation is not an incremental update:
– Processing of presupposition does not just add new
information to the context as assertion does
– It adjusts the context against which the utterance is
processed
• Computation of semantic content may depend on
presuppostional one
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Pragmatic account problems
• Quantifier problems
– Someone had a child and his child was bald
– If a man gets angry, his children get frightened
– Every boy kissed the girl who loved him
• A child beats his cat
– Semantic content: there is a child and there is a cat and
the child beats the cat
– Pragmatic presupposition: there is a child who has a cat
– Not necessarily the same child!
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Presupposition as anaphora
• Presuppositions are just anaphors
– Can be treated by the same mechanism as anaphora
resolution
• But unlike pronouns they contain descriptive content
– So unlike pronouns they can be accommodated
– They have internal structure that should be represented
• Anaphoric properties of definite descriptions were
noticed by McCawley, Lewis and Heim
– But in addition they postulated separate presuppositional
properties
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Presupposition/anaphora parallels
• Presupposition
– Jack has children and all of Jack's children are bald
– If Jack has children, then all of Jack's children are bald
– Either Jack has no children or all of Jack's children are bald
• Anaphora
– John owns a donkey. He beats it.
– If John owns a donkey, he beats it
– Either John does not own a donkey or he beats it
• Problems have been formulated in different terms
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Presupposition/anaphora parallels
• VP-anaphora:
– If someone solved the problem it was Julius who {solved
it/did}
– If Harry stopped smoking, John {stopped/did} too.
• Full propositional anaphora:
– If John is ill, Mary regrets {that/that he is ill}
– If John died, he did see his children before {that/he did/he
died}
• The difference is only in the capacity to accommodate
– Descriptive content allows for accommodation
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Binding theory of presupposition
• Presupposition as anaphora:
– Presuppositions are bound or accommodated rather then
cancelled, neutralized or suspended
– Binding and accommodation can happen either at top level
of discourse structure or at some nested one
– It is the first case where the sentence is said to presuppose
something
– Pragmatic principles constrain the possibility for
presupposition to be bound/accommodated at a specific site
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Binding vs satisfaction theory
• Satisfaction theory gives weaker presuppositions:
– If John made coffee, his wife will be happy
– Current context + ‘John made coffee’ should entail that John
has a wife
– It is enough to adjust the context with the conditional:
– If John made coffee, he has a wife
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Binding vs satisfaction theory
• Satisfaction theory does not predict ambiguity:
– Context either satisfies presupposition or not
– But an anaphor can be bound by different antecedent
resulting into distinct interpretations
• If John has grandchildren, his children must be happy
– Has two interpretations – presuppositional and not
– Satisfaction theory predicts only the second reading
– Binding theory provides both – binding in the antecedent vs
accommodation at top level
– If John murdered his wife, he will be glad that she is dead
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Discourse representation theory
• A farmer bought a car.
∃x∃y (farmer(x) ∧ car(y) ∧ buy(x, y))
• Discourse representation structure (DRS) consists of:
– Set of discourse referents / markers / variables
– Set of conditions / properties / predicates
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Anaphora resolution
• A farmer bought a car. It was pink.
=
∃x∃y (farmer(x) ∧ car(y) ∧ buy(x, y) ∧ pink(y))
• DRS is true in a model if:
– There are individuals standing in the corresponding relations
in the model
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Complex DRS: conditional
• If a farmer owns a donkey he beats it
• Every farmer who owns a donkey beats it
∀x∀y (farmer(x) ∧ donkey(y) ∧ own(x, y) → beats(x, y))
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Complex DRS: negation
• John owns no donkey
• John does not own a donkey
∃x (John(x) ∧ ¬∃y (donkey(y) ∧ own(x, y))
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Complex DRS: disjunction
• John owns a donkey or a horse
∃x∃y (John(x)) ∧ owns(x, y) ∧ (donkey(y) ∨ horse(y)))
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
DRS subordination and accessibility
• DRS B is subordinate to DRS A iff (informally):
– B is embedded into A or
– ‘A => B’ is a condition in some other DRS
• Accessibility
– Discourse referent from DRS A is accessible to an (anaphoric)
discourse referent in DRS B, just in case B is subordinate to A
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
DRS subordination and accessibility
• Every farmer owns a donkey. *It is grey.
• Neither y nor x is accessible to z because they lie in
subordinate DRSs
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
DRT summary
• Allows the scope of (top level) NPs to be extended
indefinitely
• Explains binding of anaphoric pronouns which are not
syntactically bound
• Explains impossibility of anaphoric links where the
antecedent is inaccessible
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Top-down construction procedure
• Jones owns a Porsche
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Presupposition projection in DRT
• Bottom-up construction procedure
• First a separate sentence DRS is built and only after
that it is merged into the main DRS
• Anaphoric elements are encoded separately in a DRS
– They are not resolved online
– They are processed only after the sentence DRS is merged
into the main DRS
– In addition to discourse referents and conditions there is
now an A-structure – a set of presuppositional DRSs
– Presuppositional DRS can have its own A-structure
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Binding
• John has a cat. His cat purrs
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Binding
• John has a cat. His cat purrs
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Accommodation
• John’s cat purrs
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Presupposition “neutralization”
• If John has a child, his child is happy
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Presupposition “neutralization”
• If John has a child, his child is happy
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Constraints on resolution
• Possible resolutions of a presuppositional DRS B into a
DRS A:
– A is on B’s projection line
– B’s A-structure is empty
– There is no DRS on B’s projection line which A-structure is
not empty
– A contains no free variables after the resolution
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Free variable constraint
• Every man loves his wife
– Original sentence DRS
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Free variable constraint
• Every man loves his wife
– After processing the pronoun
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Free variable constraint
• Every man loves his wife
– First interpretation
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Free variable constraint
• Every man loves his wife
– Second interpretation
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Constraints on resolution
• Admissible resolutions:
– Global consistency – the main DRS must stay consistent
– Global informativeness – new main DRS is not entailed by
the previous one
– Local consistency – no subordinate DRS contradicts a
superordinate one
– Local informativeness – no subordinate DRS is entailed by a
superordinate one
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Acceptability violation
• Globally non-informative:
– John has a dog. John has a dog. John has a dog.
– John managed to buy a dog. John has a dog.
– John has a dog. Either he has a dog or he has a cat.
• Locally non-informative or contradicting:
– John has a dog. If he has a dog, he has a cat.
– John has a dog. If he has a cat, he has no dog.
– John has no dog. Either he has a dog or he has a cat.
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Two possible procedures
• Up-down projection line
– Go up projection line looking for an admissible binding site
– If not found, go down projection line looking for an
admissible accommodation site
– If not found, a presupposition failure ensues
• Take all and filter out
– Calculate a set of all possible resolutions
– Filter out non-admissible ones
– If the resulting set is empty, a presupposition failure ensues
– Else sort the set by a preference order (relative distance,
discourse principles, non-linguistic knowledge)
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Disjunction and negation
• Either John has no donkey or his donkey is eating
quietly in the stable
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Disjunction and negation
• Either John has no donkey or his donkey is eating
quietly in the stable
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Binding vs accommodation
• If John has sons, his children are happy
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Binding
• If John has sons, his children are happy
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Accommodation
• If John has sons, his children are happy
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution
Thank you!
Ivan Rygaev |HSE 2021
Presupposition projection as anaphora resolution

Weitere ähnliche Inhalte

Kürzlich hochgeladen

Combining Asynchronous Task Parallelism and Intel SGX for Secure Deep Learning
Combining Asynchronous Task Parallelism and Intel SGX for Secure Deep LearningCombining Asynchronous Task Parallelism and Intel SGX for Secure Deep Learning
Combining Asynchronous Task Parallelism and Intel SGX for Secure Deep Learningvschiavoni
 
GenAI talk for Young at Wageningen University & Research (WUR) March 2024
GenAI talk for Young at Wageningen University & Research (WUR) March 2024GenAI talk for Young at Wageningen University & Research (WUR) March 2024
GenAI talk for Young at Wageningen University & Research (WUR) March 2024Jene van der Heide
 
Environmental Acoustics- Speech interference level, acoustics calibrator.pptx
Environmental Acoustics- Speech interference level, acoustics calibrator.pptxEnvironmental Acoustics- Speech interference level, acoustics calibrator.pptx
Environmental Acoustics- Speech interference level, acoustics calibrator.pptxpriyankatabhane
 
Science (Communication) and Wikipedia - Potentials and Pitfalls
Science (Communication) and Wikipedia - Potentials and PitfallsScience (Communication) and Wikipedia - Potentials and Pitfalls
Science (Communication) and Wikipedia - Potentials and PitfallsDobusch Leonhard
 
ESSENTIAL FEATURES REQUIRED FOR ESTABLISHING FOUR TYPES OF BIOSAFETY LABORATO...
ESSENTIAL FEATURES REQUIRED FOR ESTABLISHING FOUR TYPES OF BIOSAFETY LABORATO...ESSENTIAL FEATURES REQUIRED FOR ESTABLISHING FOUR TYPES OF BIOSAFETY LABORATO...
ESSENTIAL FEATURES REQUIRED FOR ESTABLISHING FOUR TYPES OF BIOSAFETY LABORATO...Chayanika Das
 
BACTERIAL DEFENSE SYSTEM by Dr. Chayanika Das
BACTERIAL DEFENSE SYSTEM by Dr. Chayanika DasBACTERIAL DEFENSE SYSTEM by Dr. Chayanika Das
BACTERIAL DEFENSE SYSTEM by Dr. Chayanika DasChayanika Das
 
EGYPTIAN IMPRINT IN SPAIN Lecture by Dr Abeer Zahana
EGYPTIAN IMPRINT IN SPAIN Lecture by Dr Abeer ZahanaEGYPTIAN IMPRINT IN SPAIN Lecture by Dr Abeer Zahana
EGYPTIAN IMPRINT IN SPAIN Lecture by Dr Abeer ZahanaDr.Mahmoud Abbas
 
final waves properties grade 7 - third quarter
final waves properties grade 7 - third quarterfinal waves properties grade 7 - third quarter
final waves properties grade 7 - third quarterHanHyoKim
 
Loudspeaker- direct radiating type and horn type.pptx
Loudspeaker- direct radiating type and horn type.pptxLoudspeaker- direct radiating type and horn type.pptx
Loudspeaker- direct radiating type and horn type.pptxpriyankatabhane
 
WEEK 4 PHYSICAL SCIENCE QUARTER 3 FOR G11
WEEK 4 PHYSICAL SCIENCE QUARTER 3 FOR G11WEEK 4 PHYSICAL SCIENCE QUARTER 3 FOR G11
WEEK 4 PHYSICAL SCIENCE QUARTER 3 FOR G11GelineAvendao
 
6.1 Pests of Groundnut_Binomics_Identification_Dr.UPR
6.1 Pests of Groundnut_Binomics_Identification_Dr.UPR6.1 Pests of Groundnut_Binomics_Identification_Dr.UPR
6.1 Pests of Groundnut_Binomics_Identification_Dr.UPRPirithiRaju
 
Advances in AI-driven Image Recognition for Early Detection of Cancer
Advances in AI-driven Image Recognition for Early Detection of CancerAdvances in AI-driven Image Recognition for Early Detection of Cancer
Advances in AI-driven Image Recognition for Early Detection of CancerLuis Miguel Chong Chong
 
whole genome sequencing new and its types including shortgun and clone by clone
whole genome sequencing new  and its types including shortgun and clone by clonewhole genome sequencing new  and its types including shortgun and clone by clone
whole genome sequencing new and its types including shortgun and clone by clonechaudhary charan shingh university
 
Observational constraints on mergers creating magnetism in massive stars
Observational constraints on mergers creating magnetism in massive starsObservational constraints on mergers creating magnetism in massive stars
Observational constraints on mergers creating magnetism in massive starsSérgio Sacani
 
FBI Profiling - Forensic Psychology.pptx
FBI Profiling - Forensic Psychology.pptxFBI Profiling - Forensic Psychology.pptx
FBI Profiling - Forensic Psychology.pptxPayal Shrivastava
 
Environmental acoustics- noise criteria.pptx
Environmental acoustics- noise criteria.pptxEnvironmental acoustics- noise criteria.pptx
Environmental acoustics- noise criteria.pptxpriyankatabhane
 
linear Regression, multiple Regression and Annova
linear Regression, multiple Regression and Annovalinear Regression, multiple Regression and Annova
linear Regression, multiple Regression and AnnovaMansi Rastogi
 

Kürzlich hochgeladen (20)

Combining Asynchronous Task Parallelism and Intel SGX for Secure Deep Learning
Combining Asynchronous Task Parallelism and Intel SGX for Secure Deep LearningCombining Asynchronous Task Parallelism and Intel SGX for Secure Deep Learning
Combining Asynchronous Task Parallelism and Intel SGX for Secure Deep Learning
 
GenAI talk for Young at Wageningen University & Research (WUR) March 2024
GenAI talk for Young at Wageningen University & Research (WUR) March 2024GenAI talk for Young at Wageningen University & Research (WUR) March 2024
GenAI talk for Young at Wageningen University & Research (WUR) March 2024
 
Environmental Acoustics- Speech interference level, acoustics calibrator.pptx
Environmental Acoustics- Speech interference level, acoustics calibrator.pptxEnvironmental Acoustics- Speech interference level, acoustics calibrator.pptx
Environmental Acoustics- Speech interference level, acoustics calibrator.pptx
 
Science (Communication) and Wikipedia - Potentials and Pitfalls
Science (Communication) and Wikipedia - Potentials and PitfallsScience (Communication) and Wikipedia - Potentials and Pitfalls
Science (Communication) and Wikipedia - Potentials and Pitfalls
 
Ultrastructure and functions of Chloroplast.pptx
Ultrastructure and functions of Chloroplast.pptxUltrastructure and functions of Chloroplast.pptx
Ultrastructure and functions of Chloroplast.pptx
 
ESSENTIAL FEATURES REQUIRED FOR ESTABLISHING FOUR TYPES OF BIOSAFETY LABORATO...
ESSENTIAL FEATURES REQUIRED FOR ESTABLISHING FOUR TYPES OF BIOSAFETY LABORATO...ESSENTIAL FEATURES REQUIRED FOR ESTABLISHING FOUR TYPES OF BIOSAFETY LABORATO...
ESSENTIAL FEATURES REQUIRED FOR ESTABLISHING FOUR TYPES OF BIOSAFETY LABORATO...
 
BACTERIAL DEFENSE SYSTEM by Dr. Chayanika Das
BACTERIAL DEFENSE SYSTEM by Dr. Chayanika DasBACTERIAL DEFENSE SYSTEM by Dr. Chayanika Das
BACTERIAL DEFENSE SYSTEM by Dr. Chayanika Das
 
EGYPTIAN IMPRINT IN SPAIN Lecture by Dr Abeer Zahana
EGYPTIAN IMPRINT IN SPAIN Lecture by Dr Abeer ZahanaEGYPTIAN IMPRINT IN SPAIN Lecture by Dr Abeer Zahana
EGYPTIAN IMPRINT IN SPAIN Lecture by Dr Abeer Zahana
 
Let’s Say Someone Did Drop the Bomb. Then What?
Let’s Say Someone Did Drop the Bomb. Then What?Let’s Say Someone Did Drop the Bomb. Then What?
Let’s Say Someone Did Drop the Bomb. Then What?
 
final waves properties grade 7 - third quarter
final waves properties grade 7 - third quarterfinal waves properties grade 7 - third quarter
final waves properties grade 7 - third quarter
 
Loudspeaker- direct radiating type and horn type.pptx
Loudspeaker- direct radiating type and horn type.pptxLoudspeaker- direct radiating type and horn type.pptx
Loudspeaker- direct radiating type and horn type.pptx
 
WEEK 4 PHYSICAL SCIENCE QUARTER 3 FOR G11
WEEK 4 PHYSICAL SCIENCE QUARTER 3 FOR G11WEEK 4 PHYSICAL SCIENCE QUARTER 3 FOR G11
WEEK 4 PHYSICAL SCIENCE QUARTER 3 FOR G11
 
6.1 Pests of Groundnut_Binomics_Identification_Dr.UPR
6.1 Pests of Groundnut_Binomics_Identification_Dr.UPR6.1 Pests of Groundnut_Binomics_Identification_Dr.UPR
6.1 Pests of Groundnut_Binomics_Identification_Dr.UPR
 
Advances in AI-driven Image Recognition for Early Detection of Cancer
Advances in AI-driven Image Recognition for Early Detection of CancerAdvances in AI-driven Image Recognition for Early Detection of Cancer
Advances in AI-driven Image Recognition for Early Detection of Cancer
 
whole genome sequencing new and its types including shortgun and clone by clone
whole genome sequencing new  and its types including shortgun and clone by clonewhole genome sequencing new  and its types including shortgun and clone by clone
whole genome sequencing new and its types including shortgun and clone by clone
 
Observational constraints on mergers creating magnetism in massive stars
Observational constraints on mergers creating magnetism in massive starsObservational constraints on mergers creating magnetism in massive stars
Observational constraints on mergers creating magnetism in massive stars
 
FBI Profiling - Forensic Psychology.pptx
FBI Profiling - Forensic Psychology.pptxFBI Profiling - Forensic Psychology.pptx
FBI Profiling - Forensic Psychology.pptx
 
Environmental acoustics- noise criteria.pptx
Environmental acoustics- noise criteria.pptxEnvironmental acoustics- noise criteria.pptx
Environmental acoustics- noise criteria.pptx
 
Interferons.pptx.
Interferons.pptx.Interferons.pptx.
Interferons.pptx.
 
linear Regression, multiple Regression and Annova
linear Regression, multiple Regression and Annovalinear Regression, multiple Regression and Annova
linear Regression, multiple Regression and Annova
 

Empfohlen

How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024Albert Qian
 
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsSocial Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsKurio // The Social Media Age(ncy)
 
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Search Engine Journal
 
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summarySpeakerHub
 
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd Clark Boyd
 
Getting into the tech field. what next
Getting into the tech field. what next Getting into the tech field. what next
Getting into the tech field. what next Tessa Mero
 
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentGoogle's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentLily Ray
 
Time Management & Productivity - Best Practices
Time Management & Productivity -  Best PracticesTime Management & Productivity -  Best Practices
Time Management & Productivity - Best PracticesVit Horky
 
The six step guide to practical project management
The six step guide to practical project managementThe six step guide to practical project management
The six step guide to practical project managementMindGenius
 
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...RachelPearson36
 
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Applitools
 
12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at Work12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at WorkGetSmarter
 
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...DevGAMM Conference
 
Barbie - Brand Strategy Presentation
Barbie - Brand Strategy PresentationBarbie - Brand Strategy Presentation
Barbie - Brand Strategy PresentationErica Santiago
 
Good Stuff Happens in 1:1 Meetings: Why you need them and how to do them well
Good Stuff Happens in 1:1 Meetings: Why you need them and how to do them wellGood Stuff Happens in 1:1 Meetings: Why you need them and how to do them well
Good Stuff Happens in 1:1 Meetings: Why you need them and how to do them wellSaba Software
 
Introduction to C Programming Language
Introduction to C Programming LanguageIntroduction to C Programming Language
Introduction to C Programming LanguageSimplilearn
 

Empfohlen (20)

How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024
 
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie InsightsSocial Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie Insights
 
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024
 
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary
 
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd
 
Getting into the tech field. what next
Getting into the tech field. what next Getting into the tech field. what next
Getting into the tech field. what next
 
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search IntentGoogle's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search Intent
 
How to have difficult conversations
How to have difficult conversations How to have difficult conversations
How to have difficult conversations
 
Introduction to Data Science
Introduction to Data ScienceIntroduction to Data Science
Introduction to Data Science
 
Time Management & Productivity - Best Practices
Time Management & Productivity -  Best PracticesTime Management & Productivity -  Best Practices
Time Management & Productivity - Best Practices
 
The six step guide to practical project management
The six step guide to practical project managementThe six step guide to practical project management
The six step guide to practical project management
 
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
 
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
 
12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at Work12 Ways to Increase Your Influence at Work
12 Ways to Increase Your Influence at Work
 
ChatGPT webinar slides
ChatGPT webinar slidesChatGPT webinar slides
ChatGPT webinar slides
 
More than Just Lines on a Map: Best Practices for U.S Bike Routes
More than Just Lines on a Map: Best Practices for U.S Bike RoutesMore than Just Lines on a Map: Best Practices for U.S Bike Routes
More than Just Lines on a Map: Best Practices for U.S Bike Routes
 
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
 
Barbie - Brand Strategy Presentation
Barbie - Brand Strategy PresentationBarbie - Brand Strategy Presentation
Barbie - Brand Strategy Presentation
 
Good Stuff Happens in 1:1 Meetings: Why you need them and how to do them well
Good Stuff Happens in 1:1 Meetings: Why you need them and how to do them wellGood Stuff Happens in 1:1 Meetings: Why you need them and how to do them well
Good Stuff Happens in 1:1 Meetings: Why you need them and how to do them well
 
Introduction to C Programming Language
Introduction to C Programming LanguageIntroduction to C Programming Language
Introduction to C Programming Language
 

Presupposition projection as anaphora resolution

  • 1. Presupposition projection as anaphora resolution Ivan Rygaev irygaev@gmail.com Laboratory of Computational Linguistics Institute for Information Transmission Problems RAS, Moscow, Russia based on Rob A. van Der Sandt (1992). Presupposition projection as anaphora resolution and related works 1 Presupposition projection as anaphora resolution Ivan Rygaev | HSE 2021
  • 2. Presupposition • Presupposition is an information which the speaker linguistically marks as taken for granted – i. e. already known by the audience – i. e. constituting a part of the common ground Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 3. Presupposition triggers • Definite descriptions – The king of France is bald – > There is a king of France • Complements of factive verbs – John knows that the Earth is flat – > The Earth is flat • Clefts – It was John who killed the butcher – > Somebody killed the butcher • Adverbs even, too, again, etc. Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 4. Presupposition and negation • Negation does not affect presupposition • If an affirmative sentence carrier a presupposition – The king of France is bald – > There is a king of France • Its negative counterpart carries the same presupposition – The king of France is not bald – > There is a king of France • Some researchers define presupposition through this property Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 5. Presupposition projection • Presuppositions also normally survive under other logical operators: – If Fred has stopped beating Zelda, then Fred no longer resents Zelda's infidelity – > Fred has been beating Zelda – > Zelda has been unfaithful • And in other complex sentences: – Bill does not know that all of Jack's children are bald – > All of Jack's children are bald – > Jack has children Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 6. Presupposition projection • Sometimes presuppositions seem to disappear in complex sentences: – If Jack has children, then all of Jack's children are bald – Jack has children and all of Jack's children are bald – Either Jack has no children of all of Jack's children are bald • Presupposition projection problem: – How to determine the presuppositions of a complex sentence out of presuppositions of its parts? – Or at least describe a set of context in which the sentence can be felicitously uttered Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 7. Karttunen’s satisfaction theory • Plugs, holes and filters • Presuppositions of ‘if A then B’: – Presupposition of A – Presupposition of B except those which are entailed by A • Presuppositions are context dependent: – It is not possible to determine the presuppositions of a complex sentence out of the sentence itself without taking context into account – If Nixon invites Angela Davis to the White House, Nixon will regret having invited a black militant to his residence – Angela Davis is a black militant Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 8. Karttunen’s satisfaction theory • Instead of deriving the presuppositions of the whole sentence • We define what context has to be like to admit (i. e. satisfy presuppositions of) a sentences • Simple rules if we take into account ‘local contexts’ • Context X admits ‘if A then B’ just in case: – X admits A – X∪A admits B Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 9. Presupposition as anaphora • In a series of papers (1988 – 1992) Rob van der Sandt proposed that presupposition and anaphora is essentially the same phenomenon: – Theo has a little rabbit and his rabbit is grey – Theo has a little rabbit and it is grey – If Theo has a rabbit, his rabbit is grey – If Theo has a rabbit, it is grey Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 10. Presupposition as anaphora • In a series of papers (1988 – 1992) Rob van der Sandt proposed that presupposition and anaphora is essentially the same phenomenon: – Theo has a little rabbit and his rabbit is grey – Theo has a little rabbit and it is grey – If Theo has a rabbit, his rabbit is grey – If Theo has a rabbit, it is grey Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 11. Theories of presupposition • Presuppositions are referring expressions – Presupposition picks out a certain referent – If there is none, the sentence is uninterpretable • Semantic account – Presupposition is a proposition which is entailed both by sentence and its negation • Pragmatic account – Presupposition is an addition to a semantic content of the sentence and derived only after the semantic content is determined Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 12. Referring expressions theory • Based on Frege compositional semantics – Reference of a complex expression is a function of the references of its parts – If some expressions do not refer the sentence cannot have a truth value • But these sentences are interpretable even if the highlighted expressions have no reference: – John has children and his children are bald – If a man gets angry, his children get frightened – Every man kissed the girl who loved him Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 13. Semantic account • A sentence ϕ presupposes ψ just in case: – ϕ ⇒ ψ – ¬ ϕ ⇒ ψ • In classical logic this entails that ψ is a tautology (necessary true) • Trivalent logic is required – If ψ is false then ϕ is undefined – But the relation of entailment is a classical one – This relation is monotonic – Which means it is preserved under growing of information Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 14. Semantic account • A sentence ϕ presupposes ψ just in case: – ϕ ⇒ ψ – ¬ ϕ ⇒ ψ • In classical logic this entails that ψ is a tautology (necessary true) • Trivalent logic is required – If ψ is false then ϕ is undefined – But the relation of entailment is a classical one – This relation is monotonic – Which means it is preserved under growing of information Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 15. Semantic account • Presuppositional inferences are not monotonic: – It is possible that Harry's child is on holiday – > Harry has a child – It is not possible that Harry's child is on holiday – > Harry has a child – It is possible that Harry does not have a child, but it is also possible that Harry's child is on holiday Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 16. Pragmatic account • Presuppositions are – purely pragmatic – context-dependent – can be cancelled like Gricean implicatures • Utterance information content consists of: – Semantic content – Pragmatic content which is computed on the basis of sematic content, contextual information and pragmatic principles Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 17. Pragmatic account • Consequences – Utterance (sentence + context) is a primary information carrying unit, not sentence – Semantic content should be computed before pragmatic one – Pragmatic information should be represented separately Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 18. Pragmatic account problems • A notion of semantic (propositional) content is counterintuitive and wrong in intensional contexts(?) • We run into a binding problem with quantifiers • Accommodation is not an incremental update: – Processing of presupposition does not just add new information to the context as assertion does – It adjusts the context against which the utterance is processed • Computation of semantic content may depend on presuppostional one Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 19. Pragmatic account problems • Quantifier problems – Someone had a child and his child was bald – If a man gets angry, his children get frightened – Every boy kissed the girl who loved him • A child beats his cat – Semantic content: there is a child and there is a cat and the child beats the cat – Pragmatic presupposition: there is a child who has a cat – Not necessarily the same child! Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 20. Presupposition as anaphora • Presuppositions are just anaphors – Can be treated by the same mechanism as anaphora resolution • But unlike pronouns they contain descriptive content – So unlike pronouns they can be accommodated – They have internal structure that should be represented • Anaphoric properties of definite descriptions were noticed by McCawley, Lewis and Heim – But in addition they postulated separate presuppositional properties Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 21. Presupposition/anaphora parallels • Presupposition – Jack has children and all of Jack's children are bald – If Jack has children, then all of Jack's children are bald – Either Jack has no children or all of Jack's children are bald • Anaphora – John owns a donkey. He beats it. – If John owns a donkey, he beats it – Either John does not own a donkey or he beats it • Problems have been formulated in different terms Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 22. Presupposition/anaphora parallels • VP-anaphora: – If someone solved the problem it was Julius who {solved it/did} – If Harry stopped smoking, John {stopped/did} too. • Full propositional anaphora: – If John is ill, Mary regrets {that/that he is ill} – If John died, he did see his children before {that/he did/he died} • The difference is only in the capacity to accommodate – Descriptive content allows for accommodation Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 23. Binding theory of presupposition • Presupposition as anaphora: – Presuppositions are bound or accommodated rather then cancelled, neutralized or suspended – Binding and accommodation can happen either at top level of discourse structure or at some nested one – It is the first case where the sentence is said to presuppose something – Pragmatic principles constrain the possibility for presupposition to be bound/accommodated at a specific site Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 24. Binding vs satisfaction theory • Satisfaction theory gives weaker presuppositions: – If John made coffee, his wife will be happy – Current context + ‘John made coffee’ should entail that John has a wife – It is enough to adjust the context with the conditional: – If John made coffee, he has a wife Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 25. Binding vs satisfaction theory • Satisfaction theory does not predict ambiguity: – Context either satisfies presupposition or not – But an anaphor can be bound by different antecedent resulting into distinct interpretations • If John has grandchildren, his children must be happy – Has two interpretations – presuppositional and not – Satisfaction theory predicts only the second reading – Binding theory provides both – binding in the antecedent vs accommodation at top level – If John murdered his wife, he will be glad that she is dead Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 26. Discourse representation theory • A farmer bought a car. ∃x∃y (farmer(x) ∧ car(y) ∧ buy(x, y)) • Discourse representation structure (DRS) consists of: – Set of discourse referents / markers / variables – Set of conditions / properties / predicates Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 27. Anaphora resolution • A farmer bought a car. It was pink. = ∃x∃y (farmer(x) ∧ car(y) ∧ buy(x, y) ∧ pink(y)) • DRS is true in a model if: – There are individuals standing in the corresponding relations in the model Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 28. Complex DRS: conditional • If a farmer owns a donkey he beats it • Every farmer who owns a donkey beats it ∀x∀y (farmer(x) ∧ donkey(y) ∧ own(x, y) → beats(x, y)) Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 29. Complex DRS: negation • John owns no donkey • John does not own a donkey ∃x (John(x) ∧ ¬∃y (donkey(y) ∧ own(x, y)) Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 30. Complex DRS: disjunction • John owns a donkey or a horse ∃x∃y (John(x)) ∧ owns(x, y) ∧ (donkey(y) ∨ horse(y))) Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 31. DRS subordination and accessibility • DRS B is subordinate to DRS A iff (informally): – B is embedded into A or – ‘A => B’ is a condition in some other DRS • Accessibility – Discourse referent from DRS A is accessible to an (anaphoric) discourse referent in DRS B, just in case B is subordinate to A Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 32. DRS subordination and accessibility • Every farmer owns a donkey. *It is grey. • Neither y nor x is accessible to z because they lie in subordinate DRSs Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 33. DRT summary • Allows the scope of (top level) NPs to be extended indefinitely • Explains binding of anaphoric pronouns which are not syntactically bound • Explains impossibility of anaphoric links where the antecedent is inaccessible Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 34. Top-down construction procedure • Jones owns a Porsche Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 35. Presupposition projection in DRT • Bottom-up construction procedure • First a separate sentence DRS is built and only after that it is merged into the main DRS • Anaphoric elements are encoded separately in a DRS – They are not resolved online – They are processed only after the sentence DRS is merged into the main DRS – In addition to discourse referents and conditions there is now an A-structure – a set of presuppositional DRSs – Presuppositional DRS can have its own A-structure Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 36. Binding • John has a cat. His cat purrs Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 37. Binding • John has a cat. His cat purrs Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 38. Accommodation • John’s cat purrs Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 39. Presupposition “neutralization” • If John has a child, his child is happy Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 40. Presupposition “neutralization” • If John has a child, his child is happy Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 41. Constraints on resolution • Possible resolutions of a presuppositional DRS B into a DRS A: – A is on B’s projection line – B’s A-structure is empty – There is no DRS on B’s projection line which A-structure is not empty – A contains no free variables after the resolution Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 42. Free variable constraint • Every man loves his wife – Original sentence DRS Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 43. Free variable constraint • Every man loves his wife – After processing the pronoun Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 44. Free variable constraint • Every man loves his wife – First interpretation Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 45. Free variable constraint • Every man loves his wife – Second interpretation Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 46. Constraints on resolution • Admissible resolutions: – Global consistency – the main DRS must stay consistent – Global informativeness – new main DRS is not entailed by the previous one – Local consistency – no subordinate DRS contradicts a superordinate one – Local informativeness – no subordinate DRS is entailed by a superordinate one Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 47. Acceptability violation • Globally non-informative: – John has a dog. John has a dog. John has a dog. – John managed to buy a dog. John has a dog. – John has a dog. Either he has a dog or he has a cat. • Locally non-informative or contradicting: – John has a dog. If he has a dog, he has a cat. – John has a dog. If he has a cat, he has no dog. – John has no dog. Either he has a dog or he has a cat. Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 48. Two possible procedures • Up-down projection line – Go up projection line looking for an admissible binding site – If not found, go down projection line looking for an admissible accommodation site – If not found, a presupposition failure ensues • Take all and filter out – Calculate a set of all possible resolutions – Filter out non-admissible ones – If the resulting set is empty, a presupposition failure ensues – Else sort the set by a preference order (relative distance, discourse principles, non-linguistic knowledge) Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 49. Disjunction and negation • Either John has no donkey or his donkey is eating quietly in the stable Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 50. Disjunction and negation • Either John has no donkey or his donkey is eating quietly in the stable Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 51. Binding vs accommodation • If John has sons, his children are happy Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 52. Binding • If John has sons, his children are happy Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 53. Accommodation • If John has sons, his children are happy Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution
  • 54. Thank you! Ivan Rygaev |HSE 2021 Presupposition projection as anaphora resolution