A Multimodal Dynamic Predicate Logic of Japanese Evidentials. Norihiro Ogata Osaka University
|
|
- Sabrina Snow
- 5 years ago
- Views:
Transcription
1 A Multimodal Dynamic Predicate Logic of Japanese Evidentials Norihiro Ogata Osaka University
2 Contents 1. Theories of Evidentials 2. The Evidentials of Japanese 3. A Dynamic Semantics of Evidentials 4. A Multimodal Dynamic Predicate Logic 5. The Application to the Evidentials of Japanese 6. Conclusion
3 Theories of Evidentials (1) Devices used by speakers to mark the source, the reliability of their knowledge, and the possibility of the truth if what they say. (Chafe and Nichols, 1986)
4 Theories of Evidentials (1) Lexical items which qualify the reliability of communicated information and specify the source of evidence on which statements are based, their degree of precision, their probability, and expectations concerning their probability. (Mithun 1986)
5 Theories of Evidentials (2) a type of EPISTEMIC MODALITY where PROPOSITIONS are asserted that are open to challenge by the hearer, and require justification. Evidential constructions express a speaker s strength of commitment to a proposition in terms of the available evidence (rather than in terms of possibility or necessity). Crystal (1991)
6 Theories of Evidentials (2) Epistemic and Evidential systems are the two main types of Propositional modality with epistemic modality speakers express their judgments about the factual status of the proposition, whereas with evidential modality they indicate the evidence they have for its factual status. Palmer(2001)
7 Theories of Evidentials (2) EVIDENTIALITY proper is understood as stating the existence of a source of evidence for some information; this includes also specifying what type of evidence there is. Aikhenvald (2003)
8 Theories of Evidentials (2) Individual terms in different systems tend to acquire various semantic extensions,, expressing a speaker s (relative) certainty in the veracity of their statement. However, by no means universal. Aikhenvald (2003)
9 Theories of Evidentials (2) Function of evidentials is to indicate how one has learnt about something, and how to categorize the source of knowledge. evidentiality as a cross-linguistically valid category in its own right, with information source as its core meaning. (Aikhenvald 2004)
10 Theories of Evidentials (2) Evidentiality only marginally relates to truth value, reliability of information, speaker s responsibility, and epistemic meaning such notions as `epistemic scale and certainty are tangential to evidentials. (Aikhenvald 2004)
11 Theories of Evidentials (3) The Kratzer-type possible world semantics: Indirect Evidentials are epistemic modal (Izvorski 1997) = { ( ( ) & W, f, g EVp w W u f w v v f w v < u u p f, g ( ( ) & g ( w) )) } f ( w) = {p pow( W ) speaker considers p indirect evidence in w}: modal base g( w) = {p pow( W ) speaker believes p w.r.t. the indirect evidence in w}: ordering source w < v {p g(u) v p} {p g( u) w p} g ( u)
12 Theories of Evidentials (4) Evidentials denote (the procedural meaning which constrains) the higher-level explicatures (the speaker s attitude to the proposition expressed or the speech act being performed) : Relevance-Theoretic theory (IIfantidou 2001, Itani 1996)
13 Theories of Evidentials (5) evidentiality is the grammatical encoding of the speaker s (type of) grounds for making a speech act (the speaker s source for the information) conveyed by the utterance.(faller 2002)
14 Theories of Evidentials (5) The Cuzco Quechua evidentials are illocutionary modifiers which add to or modify the sincerity conditions of the speech act they apply to. The resulting speech act is a. assertion of the proposition p for the Direct, b. assertion of p for the Conjectural, and c. the presentation (an illocutionary act) of p) for the Reportative (Faller 2002)
15 Theories of Evidentials: Summary 1. Evidentials are factored out into two aspects: source modality and certainty modality 2. The intrinsic modality of evidentials is source modality (?) 3. Evidentials denote or add the higherlevel explicatures (?). 4. Evidentials are functions which affects sincerity conditions of speech acts (?).
16 The Evidentials in Japanese (1) Two hearsay forms (soo-da and tte ),. (Aoki 1986) 1. Ame ga hutte iru soo da. rain SUBJ falling be `They say it is raining. 2. Ame ga hutte iru tte. rain SUBJ falling be `They say it is raining.
17 The Evidentials in Japanese (1) Three inferential forms: yoo-da is used when the speaker has some `visible, tangible or audible evidence collected through his own senses to make an inference (Aoki 1986) 1. omae no yoosu o mireba you GEN behavior OBJ see-cond doomo ku ni site inai yoo da at all trouble TO making be-neg `As I watch you, I get the feeling that you are not at all bothered (by )
18 The Evidentials in Japanese (1) rasi-i is used `when the evidence is circumstantial or gathered through sources other than one s own senses (Aoki 1986) 1. Kono kusuri wa yoku kiku yoo-da this medicine TOP well work `I infer from my own experience that this medicine works well. 2. Kono kusuri wa yoku kiku rasi-i this medicine TOP well work `I infer from what I heard that this medicine works well
19 The Evidentials in Japanese (1) 1. Ame ga huru yoo-da rain SUBJ fall `It seems that it is going to rain (for example, observing increasingly dark skies). 2. Ame ga huru rasi-i rain SUBJ fall `It seems that it is going to rain (for example, overhearing talking about rain)
20 The Evidentials in Japanese (1) soo-da2 is used to talk about events which are imminent and when the speaker believes in what he is making an inference about. `not express inference about what occurred in the past (Aoki 1986) 1. Ame ga huri- soo-da rain SUBJ to-fall `It looks like it is going to rain (any minute)
21 The Evidentials in Japanese (2) Indicational modalities (Moriyama et al. 2000) such as yoo-da, rasi-i, mitai-da, (infinitive)-soo-da2 are non-hearsay evidentials.
22 The Evidentials in Japanese (2) Inferential (Moriyama et al. 2000) Chika ni ita node, kare wa underground LOC was because he TOP 1. tasukatta yoo-da/mitai-da/rasi-i survived `Because he was in underground, it seems that he could survive. 2. tasukari- soo-da to survive `Because he was in underground, it seems that he will survive.
23 The Evidentials in Japanese (2) Modifiability by adverbs denoting (un)certain Inference or knowledge 1. dooyara (likely) 2. nandaka/ nanka/ yoku siran ga (I don t know why) 3. itsunomanika (before I know) 4. yappari (As I thought) tasukatta yoo-da/mitai-da/rasi-i tasukari- soo-da
24 The Evidentials in Japanese (2) Tactile-evidence-based Inferential (touching one of the speaker s own teeth) Koko ga mushiba ni natte here SUBJ decayed-tooth to to-become iru (be) yoo-da iru mitai-da iru #rasi-i i- (to-be) soo-da `It seems that here (likely) is a decayed tooth.
25 The Evidentials in Japanese (2) Visual-evidence-based Inferential (peeping through a hole) Nanika something iru (exist) yoo-da iru mitai-da iru #rasi-i i- (to exist) soo-da `It seems that something (likely) exists.
26 The Evidentials in Japanese (2) Auditory-evidence-based Inferential (hearing noise in a room) Hune ga ship SUBJ kita (came) yoo-da kita mitai-da kita rasi-i ki- (to come)soo-da `It seems that a ship has (likely) arrived.
27 The Evidentials in Japanese (2) Sensory-evidence-based Inferential (having a headache) Kaze wo cold SUBJ hiita (took) yoo-da hiita mitai-da hiita rasi-i hiki- (to take)soo-da `It seems that I have (likely) caught a cold.
28 The Evidentials in Japanese (2) Unknown-source-based Inferential Nanka yuku siran ga, kore wa yoku somehow well not-know but this TOP well ureru (sell) yoo-da ureru mitai-da ureru rasi-i ure- soo-da `I don t know why well but it seems that this sells well.
29 The Evidentials in Japanese (2) Experienced-event-based Inferential Kinoo mo daremo konakatta node yesterday also anyone not-came because kyoo mo daremo today also anyone konai (not-come) #yoo-da konai?mitai-da konai #rasi-i konasa- soo-da `Because nobody came yesterday, it seems that nobody come today, too.
30 The Evidentials in Japanese (2) Report-based Inferential Rinjin no hanashi kara-suru-to neighbor GEN story based-on koko wa daremo here TOP anybody inai (not-exist)?yoo-da inai?mitai-da inai rasi-i inasa- #soo-da `Thinking based on the neighbor s verbal evidence, it seems that nobody lives here.
31 The Evidentials in Japanese (2) Direct-Visual-Evidence-based Mirukarani kono ringo wa as-it-looks this apple TOP oisii (delicious) #yoo-da oisii #mitai-da oisii #rasi-i oisi- soo-da `This apple Iooked tempting.
32 The Evidentials in Japanese (3) Other Evidentials: toyuu (folklore) hearsay tteba, ttara, cchuunen emphatic -(ru) janai(ka) mirative -(ta) janai(ka) mutual-sharedness confirmative ntochau, ntochigau, njanai speculative
33 A Dynamic Semantics of Evidentials denotes Evidentials tests of certainty of changes of models caused by evidence-acquiring acts or tests of certainty.
34 t Multimodal Dynamic Predicate Logic MMDPL The Language of MMDPL x Var, c Con, R Rel, t TERM, ϕ L s SOURCE, α ACT :: = x c ϕ :: = R( t,..., t ) x. ϕ ϕ ϕ ϕ ϕ ϕ [ α] ϕ 1 n 1 2 s s s :: = talk( a) talked generally _ talked see( a) perceive( a) hear( a) think( a) s + s α :: = perceive( a, t) see( a, t) hear( a, t) touch( a, t) hear( a, talk( a, ϕ)) think( a, ϕ) α ; α α + α
35 Probabilistic Generalized Kripke- Moss Model (PGKMM) M = W,,( ),, ; f ( i) D Rs s SOURCE ρ I X N W f ( i) W s f ( i) f ( i) i X i X ( i, u) { i} W f ( i ) : set of possible worlds D(( i, w)) D : set of individuals R ( { i} W ) ( { i} W ) i X ρ( s,( i, w),( i, u)) 1 I( w)( c) D( w); I( w)( R) D( w) D( w) n times
36 0 w touch(b):1.0 talk(a):0.2 PGKMM u talk(a):0.8 v s 1 w touch(b):1.0 talk(a):0.3 u v
37 MMDPL: Semantics of TERM x c M, w, g M, w, g = = g( w)( x) I( w)( c)
38 Semantics of MMDPL: state σ = M, w, c, g : state M : PGKMM w :{ i} W : i N c : CONTEXT g : W ( Var D) : variable assignment c( new) = the largest index of the state N c ( old) = c( new) 1 c( spkr) D( w) : speaker
39 MMDPL: Semantics M, w, c, g R( t,..., t ) M, w, c, g 1 M, w, g M, w, g ( t1,..., tn ) I( w)( R) n M, w, c, g x. ϕ M, w, c, g a M D( w ). 1, w, c, g ( a / x) ϕ M, w, c, g
40 MMDPL: Semantics M, w, c, g ϕ ϕ M, w, c, g M, w, c, g ϕ ϕ M, w, c, g M, w, c, g ϕ M, w, c, g σ. M, w, c, g ϕ σ
41 f ( c1( new)) MMDPL: Semantics M, w, c, g M, w, c, g s ( s, w,( c ( new), u)) = 1& u W ρ ϕ 1 u W f ( c1( old )) ρ π ( s,( c ( old), w),( c ( old), u)) < 1& u W : R ( w,( c ( new), u)). f ( c1( new)) s 1 σ. M,( c ( new), u), c, g 1 ϕ σ
42 0 w hear(b):1.0 PGKMM t s talk(a):0.8 talk(a):0.2 p touch ( b) v ( ) touch(b):0.2 touch(b):0.5 q,p p touch b p q,p 1 w touch(b):0.3 u touch(b):0.5 s talk(a):0.8 talk(a):0.2 touch(b):0.2 v p q,p touch( b) p q,p talk ( a) q
43 MMDPL: Semantics M, w, c, g M, w, c, g ( s, w,( c ( new), u)) = 1& u W f ( c1( new)) ρ s ϕ u W : R ( w,( c ( new), u)). f ( c1( new)) s 1 1 σ. M,( c ( new), u), c, g 1 ϕ σ
44 0 w hear(b):1.0 PGKMM t s talk(a):0.8 talk(a):0.2 p touch ( b) v ( ) touch(b):0.2 touch(b):0.5 q,p p touch b p q,p 1 w touch(b):0.3 u touch(b):0.5 s talk(a):0.8 talk(a):0.2 touch(b):0.2 v p q,p touch( b) p q,p talk ( a) q
45 M M ' 1 MMDPL: Semantics, w, c, g [ α] ϕ M, w, c, g M, w, c, g ϕ M, w, c, g where ' ' ' = W + W, D ',( R '), ρ ', I ', i X f ( i) f ( c1( new) + 1) s s SOURCE W = ( W { u W ρ( α, w,( c ( new), u)) = 0}) f ( c1( new) + 1) f ( c1( new)) f ( c1( new)) 1 1 { u}: u W & n f ( c1( newest ) + 1) f ( c1( new)) 1 1 D w = D w t M t TERM 1, w1, g1 '( 1) ( 1) { ( )}, s s s 1 f ( c1( new) + 1) ' ' > 0. ρ '( α, w ',( c ( new) + 1, u)) = n, R ' = R ( R { f ( c ( new) + 1)} W ) u W ρ '( α,( c ( new) + 1, π ( w )),( c ( new) + 1, u)) = 1 w = ( c ( new) + 1), π ( w )) c = c ( c ( new) + 1/ new) α
46 0 w 1 w hear(b):1.0 PGKMM t s talk(a):0.8 q,p talk(a):0.2 p touch ( b) v touch ( b) touch(b):0.2 touch(b):0.3 u touch(b):0.5 s q,p talk(a):0.8 talk(a):0.2 touch(b):0.2 touch(b):0.5 v q p q,p p p [ touch( b)] p
47 The Applications of MMDPL to the Japanese Evidentials soo-da1:hearsay yoo-da:tactile-inf.+unknowninf.+sensory-inf.+auditory-inf.+visualinf. rasi-i:report-inf.+unkown-inf.+sensoryinf.+auditory-inf. soo-da2:tactile-inf.+visual+experienceinf.+unknown-inf.+sensory-inf.+visualinf.
48 The Applications of MMDPL to the Japanese Evidentials ϕsoo ϕsoo ϕsoo = 1 talk ( a) + talked + generally _ talked = 2 see( spkr ) = ϕ or 2 touch( spkr ) + hear ( spkr ) + see( spkr ) think ( spkr ) ϕ yoo= ϕrasi i touch( spkr ) + hear ( spkr ) + see( spkr ) + think ( spkr ) think ( spkr ) = ϕ talked + touch( spkr ) + hear ( spkr ) + think ( spkr ) think ( spkr ) ϕ ϕ ϕ
49 Conclusion 1. Summarized Theories of Evidentials. 2. Characterized the Evidentials in Japanese. 3. Proposed the Probabilistic Generalized Kripke-Moss Models. 4. Proposed a Dynamic Semantics of Evidentials based on MMDPL. 5. Applied it to the Evidentials in Japanese.
Kripke on Frege on Sense and Reference. David Chalmers
Kripke on Frege on Sense and Reference David Chalmers Kripke s Frege Kripke s Frege Theory of Sense and Reference: Some Exegetical Notes Focuses on Frege on the hierarchy of senses and on the senses of
More informationOutline. Causality and Evidentiality. Sentence-final Evidential Auxiliary. Outline
Outline Causality and Evidentiality Yurie ara Waseda/okkaido University Amsterdam Colloquium 2017 ara (Waseda/okudai) C&E AC2017 1 / 50 ara (Waseda/okudai) C&E AC2017 2 / 50 Sentence-final Evidential Auxiliary
More informationLing 98a: The Meaning of Negation (Week 5)
Yimei Xiang yxiang@fas.harvard.edu 15 October 2013 1 Review Negation in propositional logic, oppositions, term logic of Aristotle Presuppositions Projection and accommodation Three-valued logic External/internal
More informationCS206 Lecture 21. Modal Logic. Plan for Lecture 21. Possible World Semantics
CS206 Lecture 21 Modal Logic G. Sivakumar Computer Science Department IIT Bombay siva@iitb.ac.in http://www.cse.iitb.ac.in/ siva Page 1 of 17 Thu, Mar 13, 2003 Plan for Lecture 21 Modal Logic Possible
More informationBasics of conversational implicatures
Semantics I, Rutgers University Week 12 Yimei Xiang November 19, 2018 1. Implication relations Basics of conversational implicatures Implication relations are inferential relations between sentences. A
More informationMust... stay... strong!
Alex Goebel 620 Spring 2016 Paper Presentation of von Fintel & Gillies (2010) Synopsis Must... stay... strong! Von Fintel & Gillies (vf&g) argue against a weakened semantics of must and propose an alternative
More informationA Note on the Good Samaritan Paradox and the Disquotation Theory of Propositional Content a
A Note on the Good Samaritan Paradox and the Disquotation Theory of Propositional Content a Steven Orla Kimbrough University of Pennsylvania kimbrough@wharton.upenn.edu DEON, May 2002, London a File: deon02-good-samaritan-slides.txt.
More informationPast-as-Past in Japanese Counterfactuals
Past-as-Past in Japanese Counterfactuals Teruyuki Mizuno Stefan Kaufmann University of Connecticut CLS 54, April 2018 1 / 27 Outline 1 Introduction English: basic observations Japanese: some examples 2
More informationComments on Conditional propositions and conditional assertions
Comments on Conditional propositions and conditional assertions (An)Thony Gillies Department of Philosophy University of Michigan Context and Content Workshop LSA Institute, July 2005 The Murder Case Suspects:
More informationDeriving indirectness and questioning entailment for epistemic must 1
Lelia Glass California Universities Semantics and Pragmatics Stanford University University of California, San Diego lelia@stanford.edu October 27-28, 2012 Deriving indirectness and questioning entailment
More informationAn Alternative Semantics for English Aspectual Particles
Aspectual Particles 1 of 27 An Alternative Semantics for English Aspectual Particles Alexander Klapheke Harvard University SNEWS November 15, 2014 Aspectual Particles Overview 2 of 27 Overview Previous
More informationOutline. Darou as an entertain modal with a shiftable deictic agent. Rising Declaratives: darou. Falling Declaratives: darou. an inquisitive approach
0 Darou as an entertain modal with a shiftable deictic agent an inquisitive approach Yurie Hara Waseda/Hokkaido University The 25th Japanese/Korean Linguistics Conference Hara (W/H) Darou JK25 1 / 48 Hara
More informationModal Calculus of Illocutionary Logic
1 Andrew Schumann Belarusian State University Andrew.Schumann@gmail.com Modal Calculus of Illocutionary Logic Abstract: The aim of illocutionary logic is to explain how context can affect the meaning of
More informationPresuppositions (introductory comments)
1 Presuppositions (introductory comments) Some examples (1) a. The person who broke the typewriter was Sam. b. It was Sam who broke the typewriter. c. John screwed up again. d. John likes Mary, too. e.
More informationIntroduction to fuzzy logic
Introduction to fuzzy logic Andrea Bonarini Artificial Intelligence and Robotics Lab Department of Electronics and Information Politecnico di Milano E-mail: bonarini@elet.polimi.it URL:http://www.dei.polimi.it/people/bonarini
More informationConceivability and Modal Knowledge
1 3 Conceivability and Modal Knowledge Christopher Hill ( 2006 ) provides an account of modal knowledge that is set in a broader context of arguing against the view that conceivability provides epistemic
More information240 Metaphysics. Frege s Puzzle. Chapter 26
240 Metaphysics Frege s Puzzle Frege s Puzzle 241 Frege s Puzzle In his 1879 Begriffsschrift (or Concept-Writing ), Gottlob Frege developed a propositional calculus to determine the truth values of propositions
More informationLing 130 Notes: Syntax and Semantics of Propositional Logic
Ling 130 Notes: Syntax and Semantics of Propositional Logic Sophia A. Malamud January 21, 2011 1 Preliminaries. Goals: Motivate propositional logic syntax and inferencing. Feel comfortable manipulating
More informationCAS LX 500 Topics in Linguistics: Questions Spring 2006 March 2, b: Prosody and Japanese wh-questions
CAS LX 500 Topics in Linguistics: Questions Spring 2006 March 2, 2006 Paul Hagstrom 7b: Prosody and Japanese wh-questions Prosody by phase Prosody and syntax seem to fit quite tightly together. Ishihara,
More informationHedging Your Ifs and Vice Versa
Hedging Your Ifs and Vice Versa Kai von Fintel and Anthony S. Gillies MIT and Rutgers November 21 University of Latvia Ramsey s Test If two people are arguing If p will q? and are both in doubt as to p,
More informationModality: A Standard Analysis. Modality
Modality: A Standard Analysis 1 Ling 406/802 Read Meaning and Grammar, Ch. 5.3.2; Kratzer 1991, pp. 639-644 Modality 2 Modality has to do with necessity and possibility of situations. Grammatical means
More informationIntensional semantics: worlds, modals, conditionals
Intensional semantics: worlds, modals, conditionals 1 Limitations of the actual world Recall some assumptions we have followed in this class: Sentences are conditional truth values ( 1 iff truth condition]
More informationPropositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac.
January 22, 2013 Modal logic is, among other things, the logic of possibility and necessity. Its history goes back at least to Aristotle s discussion of modal syllogisms in the Prior Analytics. But modern
More informationBerlin, May 16 / 2003
Berlin, May 16 / 2003 1 The challenge of free choice permission The basic puzzle epistemic variants wide disjunction FC permission and quantification Conjunctive permission 2 The basic puzzle (1) a. You
More informationSeminar in Semantics: Gradation & Modality Winter 2014
1 Subject matter Seminar in Semantics: Gradation & Modality Winter 2014 Dan Lassiter 1/8/14 Handout: Basic Modal Logic and Kratzer (1977) [M]odality is the linguistic phenomenon whereby grammar allows
More informationNon-normal Worlds. Daniel Bonevac. February 5, 2012
Non-normal Worlds Daniel Bonevac February 5, 2012 Lewis and Langford (1932) devised five basic systems of modal logic, S1 - S5. S4 and S5, as we have seen, are normal systems, equivalent to K ρτ and K
More informationDynamics for Inference
Dynamics for Inference Alexei Angelides 1 Introduction Consider the following two situations: (DS) from P Q, and P, infer Q. and (WS) I order beef, Jesse orders fish, Darko orders veg. A new waiter walks
More informationEpistemic Modals and Informational Consequence
Epistemic Modals and Informational Consequence [This is a penultimate draft. Please quote only from the published version. The paper is already available through Online First at http://www.springerlink.com/content/0039-7857]
More informationInstrumental nominalism about set-theoretic structuralism
Instrumental nominalism about set-theoretic structuralism Richard Pettigrew Department of Philosophy University of Bristol 7 th August 2015 Richard Pettigrew (Bristol) INSTS 7 th August 2015 1 / 16 Interpreting
More informationCHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS
CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS 1 Language There are several propositional languages that are routinely called classical propositional logic languages. It is due to the functional dependency
More informationChiastic Lambda-Calculi
Chiastic Lambda-Calculi wren ng thornton Cognitive Science & Computational Linguistics Indiana University, Bloomington NLCS, 28 June 2013 wren ng thornton (Indiana University) Chiastic Lambda-Calculi NLCS,
More informationSpring 2018 Ling 620 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1
The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1 1. The Inadequacies of a Purely Extensional Semantics (1) Extensional Semantics a. The interpretation
More informationOn the Deeply Contingent A Priori. David J. Chalmers
On the Deeply Contingent A Priori David J. Chalmers Contingent A Priori n Julius invented the zip (if anyone did) n Stick S is one meter long (if it exists) Deep Necessity n Evans: Julius invented the
More informationIntroduction to Semantics. Pronouns and Variable Assignments. We ve seen that implicatures are crucially related to context.
Pronouns and Variable Assignments 1. Putting this Unit in Context (1) What We ve Done So Far This Unit Expanded our semantic theory so that it includes (the beginnings of) a theory of how the presuppositions
More informationPragmatic Inference with Conditionals and Concessives in Japanese
Pragmatic Inference with Conditionals and Concessives in Japanese Yasunari HARADA School of Law Waseda University 1-6-1, Nishi-Waseda, Shinjuku-ku Tokyo, Japan harada@mn.waseda.ac.jp Kumiko HONDA Center
More informationAgent Communication and Belief Change
Agent Communication and Belief Change Satoshi Tojo JAIST November 30, 2014 Satoshi Tojo (JAIST) Agent Communication and Belief Change November 30, 2014 1 / 34 .1 Introduction.2 Introspective Agent.3 I
More information(7) a. [ PP to John], Mary gave the book t [PP]. b. [ VP fix the car], I wonder whether she will t [VP].
CAS LX 522 Syntax I Fall 2000 September 18, 2000 Paul Hagstrom Week 2: Movement Movement Last time, we talked about subcategorization. (1) a. I can solve this problem. b. This problem, I can solve. (2)
More informationDescription Logics. Foundations of Propositional Logic. franconi. Enrico Franconi
(1/27) Description Logics Foundations of Propositional Logic Enrico Franconi franconi@cs.man.ac.uk http://www.cs.man.ac.uk/ franconi Department of Computer Science, University of Manchester (2/27) Knowledge
More informationScalar Implicatures: Are There Any?
Scalar Implicatures: Are There Any? Angelika Kratzer University of Massachusetts at Amherst Workshop on Polarity, Scalar Phenomena, and Implicatures. University of Milan-Bicocca June 18, 2003 1 The cast
More informationTruth, Subderivations and the Liar. Why Should I Care about the Liar Sentence? Uses of the Truth Concept - (i) Disquotation.
Outline 1 2 3 4 5 1 / 41 2 / 41 The Liar Sentence Let L be the sentence: This sentence is false This sentence causes trouble If it is true, then it is false So it can t be true Thus, it is false If it
More informationA proof theoretical account of polarity items and monotonic inference.
A proof theoretical account of polarity items and monotonic inference. Raffaella Bernardi UiL OTS, University of Utrecht e-mail: Raffaella.Bernardi@let.uu.nl Url: http://www.let.uu.nl/ Raffaella.Bernardi/personal
More informationExact Inference by Complete Enumeration
21 Exact Inference by Complete Enumeration We open our toolbox of methods for handling probabilities by discussing a brute-force inference method: complete enumeration of all hypotheses, and evaluation
More informationPropositional Logic Review
Propositional Logic Review UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula Semantics Defining
More informationIntroduction to Semantics. The Formalization of Meaning 1
The Formalization of Meaning 1 1. Obtaining a System That Derives Truth Conditions (1) The Goal of Our Enterprise To develop a system that, for every sentence S of English, derives the truth-conditions
More informationModel Theory in the Univalent Foundations
Model Theory in the Univalent Foundations Dimitris Tsementzis January 11, 2017 1 Introduction 2 Homotopy Types and -Groupoids 3 FOL = 4 Prospects Section 1 Introduction Old and new Foundations (A) (B)
More informationPart Six: Reasoning Defeasibly About the World
Part Six: Reasoning Defeasibly About the World Our in building a defeasible reasoner was to have an inference-engine for a rational agent capable of getting around in the real world. This requires it to
More informationQuantifying uncertainty & Bayesian networks
Quantifying uncertainty & Bayesian networks CE417: Introduction to Artificial Intelligence Sharif University of Technology Spring 2016 Soleymani Artificial Intelligence: A Modern Approach, 3 rd Edition,
More informationConcepts: Understand that changes in the weather affect us; name changes in the weather; describe how changes in the weather affect us.
DY 1 Concept & Vocabulary Development Grade 2 Unit 4 Question of the Week: How do changes in the weather affect us? To introduce and discuss concepts and vocabulary related to the ways changes in the weather
More informationFormal Epistemology: Lecture Notes. Horacio Arló-Costa Carnegie Mellon University
Formal Epistemology: Lecture Notes Horacio Arló-Costa Carnegie Mellon University hcosta@andrew.cmu.edu Bayesian Epistemology Radical probabilism doesn t insists that probabilities be based on certainties;
More informationDeontic Modality in Natural Language
Deontic Modality in Natural Language The Obligatory Guide Kai von Fintel Anthony S. Gillies MIT and Rutgers Association for Symbolic Logic 2011 Spring Meeting Session on Logic and Linguistics April 21,
More informationSingleton Indefinites (re. Schwarzschild 2000)
MIT Syntax-Semantics Reading Group November 15, 2000 Kai von Fintel Singleton Indefinites (re. Schwarzschild 2000) 1. If a (particular) friend of mine from Texas had died in the fire, I would have inherited
More informationTRUTH, BELIEF AND CERTAINTY IN EPISTEMIC LOGIC
IN E. MAIER ET AL (EDS.) PROCEEDINGS OF SINN UND BEDEUTUNG 9, WWW.RU.NL/NCS/SUB9 TRUTH, BELIEF AND CERTAINTY IN EPISTEMIC LOGIC Daniel Vanderveken (Université du Québec, Trois-Rivières) daniel@vanderveken.org
More informationKaplan s Paradox and Epistemically Possible Worlds
Kaplan s Paradox and Epistemically Possible Worlds 1. Epistemically possible worlds David Chalmers Metaphysically possible worlds: S is metaphysically possible iff S is true in some metaphysically possible
More informationAn axiomatic approach to speaker preferences
1 An axiomatic approach to speaker preferences In this paper, we propose a set of axioms that can be used to model the choices made by speakers and hearers when pairing speech signals with meanings in
More informationIndicative conditionals
Indicative conditionals PHIL 43916 November 14, 2012 1. Three types of conditionals... 1 2. Material conditionals... 1 3. Indicatives and possible worlds... 4 4. Conditionals and adverbs of quantification...
More informationIntroduction: What Is Modal Logic?
Introduction: What Is Modal Logic? Strictly speaking, modal logic studies reasoning that involves the use of the expressions necessarily and possibly. The main idea is to introduce the symbols (necessarily)
More informationPei Wang( 王培 ) Temple University, Philadelphia, USA
Pei Wang( 王培 ) Temple University, Philadelphia, USA Artificial General Intelligence (AGI): a small research community in AI that believes Intelligence is a general-purpose capability Intelligence should
More informationParasitic Scope (Barker 2007) Semantics Seminar 11/10/08
Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08 1. Overview Attempts to provide a compositional, fully semantic account of same. Elements other than NPs in particular, adjectives can be scope-taking
More informationUncertainty and Rules
Uncertainty and Rules We have already seen that expert systems can operate within the realm of uncertainty. There are several sources of uncertainty in rules: Uncertainty related to individual rules Uncertainty
More informationToday. Next week. Today (cont d) Motivation - Why Modal Logic? Introduction. Ariel Jarovsky and Eyal Altshuler 8/11/07, 15/11/07
Today Introduction Motivation- Why Modal logic? Modal logic- Syntax riel Jarovsky and Eyal ltshuler 8/11/07, 15/11/07 Modal logic- Semantics (Possible Worlds Semantics): Theory Examples Today (cont d)
More informationDiodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona
Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona In my Remarks on Stoic Logic that I wrote for you last year, I mentioned Diodorus Cronus s trilemma,
More informationModal subordination is neither modal nor subordinate...discuss
Modal subordination is neither modal nor subordinate...discuss Scott AnderBois November 23, 2008 1 Introduction We have seen in numerous other works that indefinites introduce discourse referents that
More informationShapiro s and Hellman s Structuralism
Shapiro s and Hellman s Structuralism Christopher von Bülow Trends in the Philosophy of Mathematics Frankfurt/Main, September 4, 2009 Abstract I give brief descriptions of and motivations for Stewart Shapiro
More informationContinuations in Type Logical Grammar. Grafting Trees: (with Chris Barker, UCSD) NJPLS, 27 February Harvard University
Grafting Trees: Continuations in Type Logical Grammar Chung-chieh Shan Harvard University ccshan@post.harvard.edu (with Chris Barker, UCSD) NJPLS, 27 February 2004 Computational Linguistics 1 What a linguist
More informationIntroduction to Pragmatics
Introduction to Pragmatics Summer 2016 Tuesdays 2:30--4:00pm @ 2321.HS 3H INSTRUCTOR Todor Koev (Todor.Koev@uni-duesseldorf.de) Presupposition projection Presupposition is a prevalent type of inference
More informationReviewed by Martin Smith, University of Glasgow
1 Titelbaum, M. Quitting Certainties: A Bayesian Framework Modelling Degrees of Belief, Oxford University Press, 2013, 345pp., 40 (hbk), ISBN 978-0-19-965830-5 Reviewed by Martin Smith, University of Glasgow
More informationPhilosophy 148 Announcements & Such
Branden Fitelson Philosophy 148 Lecture 1 Philosophy 148 Announcements & Such Overall, people did very well on the mid-term (µ = 90, σ = 16). HW #2 graded will be posted very soon. Raul won t be able to
More informationProbability Calculus. Chapter From Propositional to Graded Beliefs
Chapter 2 Probability Calculus Our purpose in this chapter is to introduce probability calculus and then show how it can be used to represent uncertain beliefs, and then change them in the face of new
More informationInterpreting quotations
There s treasure everywhere: a Calvin and Hobbes collection by Bill Watterson Interpreting quotations Chung-chieh Shan, Rutgers University Semantics Research Group, 21 March 2008 2 Mixing mention and use
More informationLecture 10: Introduction to reasoning under uncertainty. Uncertainty
Lecture 10: Introduction to reasoning under uncertainty Introduction to reasoning under uncertainty Review of probability Axioms and inference Conditional probability Probability distributions COMP-424,
More informationUncertain Knowledge and Bayes Rule. George Konidaris
Uncertain Knowledge and Bayes Rule George Konidaris gdk@cs.brown.edu Fall 2018 Knowledge Logic Logical representations are based on: Facts about the world. Either true or false. We may not know which.
More informationLast Lecture. Distinguish Populations from Samples. Knowing different Sampling Techniques. Distinguish Parameters from Statistics
Last Lecture Distinguish Populations from Samples Importance of identifying a population and well chosen sample Knowing different Sampling Techniques Distinguish Parameters from Statistics Knowing different
More informationWhat Does Quantum Mechanics Suggest About Our Perceptions of Reality?
What Does Quantum Mechanics Suggest About Our Perceptions of Reality? Quantum mechanics suggests that we perceive at most a tiny sliver of reality. Of course we already knew that! We knew that the visible
More informationTEMPORAL AND CIRCUMSTANTIAL DEPENDENCE IN COUNTERFACTUAL MODALS. DORIT ABUSCH Department of Lingusitics Cornell University
TEMPORAL AND CIRCUMSTANTIAL DEPENDENCE IN COUNTERFACTUAL MODALS DORIT ABUSCH Department of Lingusitics Cornell University da45@cornell.edu This paper analyzes counterfactual readings of might/could have
More informationMarch 2, 2007 Menéndez-Benito. Quick Introduction to the Semantics of Modals 1
Quick Introduction to the Semantics of Modals 1 Syntactic assumptions (following von Fintel & Heim 2005): modals are raising predicates (see Wurmbrand 1999, Bhatt 1998) 1) John must go home. 2) [John [λ
More information1 Classical scalar implicature
Linguistics 661, Issues in Semantics Alexander Williams, 3 April 2007 Chierchia on Scalar implicature 1 Classical scalar implicature When a speaker says that w, we often take him to mean that he believes
More informationParagraph Proof, Two-Column Proof, Construction Proof, and Flow Chart Proof
.3 Forms of Proof Paragraph Proof, Two-Column Proof, Construction Proof, and Flow Chart Proof Learning Goals Key Terms In this lesson, you will: Use the addition and subtraction properties of equality.
More informationSemantics and Generative Grammar. Pronouns and Variable Assignments 1. We ve seen that implicatures are crucially related to context.
Pronouns and Variable Assignments 1 1. Putting this Unit in Context (1) What We ve Done So Far This Unit Expanded our semantic theory so that it includes (the beginnings of) a theory of how the presuppositions
More informationQuantifying Uncertainty & Probabilistic Reasoning. Abdulla AlKhenji Khaled AlEmadi Mohammed AlAnsari
Quantifying Uncertainty & Probabilistic Reasoning Abdulla AlKhenji Khaled AlEmadi Mohammed AlAnsari Outline Previous Implementations What is Uncertainty? Acting Under Uncertainty Rational Decisions Basic
More informationReversed Squares of Opposition in PAL and DEL
Center for Logic and Analytical Philosophy, University of Leuven lorenz.demey@hiw.kuleuven.be SQUARE 2010, Corsica Goal of the talk public announcement logic (PAL), and dynamic epistemic logic (DEL) in
More informationComputational Cognitive Science
Computational Cognitive Science Lecture 9: A Bayesian model of concept learning Chris Lucas School of Informatics University of Edinburgh October 16, 218 Reading Rules and Similarity in Concept Learning
More informationProseminar on Semantic Theory Fall 2010 Ling 720. Remko Scha (1981/1984): Distributive, Collective and Cumulative Quantification
1. Introduction Remko Scha (1981/1984): Distributive, Collective and Cumulative Quantification (1) The Importance of Scha (1981/1984) The first modern work on plurals (Landman 2000) There are many ideas
More informationMr. Al Simmons acquired the mine in the 1950 s and eventually sold the mine to Mr. Alvin Mosch in 1972 for $
The Phoenix Mine The mine was discovered in 1871 by a man named Miner, who after making enough money with the mine to return to his home in England as a wealthy man. When he left the country he sold his
More informationSearle: Proper Names and Intentionality
Searle: Proper Names and Intentionality Searle s Account Of The Problem In this essay, Searle emphasizes the notion of Intentional content, rather than the cluster of descriptions that Kripke uses to characterize
More informationPropositions and Proofs
Chapter 2 Propositions and Proofs The goal of this chapter is to develop the two principal notions of logic, namely propositions and proofs There is no universal agreement about the proper foundations
More informationEXERCISE 10 SOLUTIONS
CSE541 EXERCISE 10 SOLUTIONS Covers Chapters 10, 11, 12 Read and learn all examples and exercises in the chapters as well! QUESTION 1 Let GL be the Gentzen style proof system for classical logic defined
More informationComputational Cognitive Science
Computational Cognitive Science Lecture 9: Bayesian Estimation Chris Lucas (Slides adapted from Frank Keller s) School of Informatics University of Edinburgh clucas2@inf.ed.ac.uk 17 October, 2017 1 / 28
More informationWhat is DEL good for? Alexandru Baltag. Oxford University
Copenhagen 2010 ESSLLI 1 What is DEL good for? Alexandru Baltag Oxford University Copenhagen 2010 ESSLLI 2 DEL is a Method, Not a Logic! I take Dynamic Epistemic Logic () to refer to a general type of
More information-1- THE PROBABILITY THAT TWEETY IS ABLE TO FLY Giangiacomo Gerla Dipartimento di Matematica e Fisica, Università di Camerino ITALY.
-1- THE PROBABILITY THAT TWEETY IS ABLE TO FLY Giangiacomo Gerla Dipartimento di Matematica e Fisica, Università di Camerino ITALY. Abstract. Consider the question of assigning a probabilistic valuation
More informationMULTI-AGENT ONLY-KNOWING
MULTI-AGENT ONLY-KNOWING Gerhard Lakemeyer Computer Science, RWTH Aachen University Germany AI, Logic, and Epistemic Planning, Copenhagen October 3, 2013 Joint work with Vaishak Belle Contents of this
More informationLogic. Propositional Logic: Syntax. Wffs
Logic Propositional Logic: Syntax Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about
More informationThe Ontology of Counter Factual Causality and Conditional
Philosophy Study, ISSN 2159-5313 July 2014, Vol. 4, No. 7, 492-496. doi: 10.17265/2159-5313/2014.07.005 D DAVID PUBLISHING The Ontology of Counter Factual Causality and Conditional Maduabuchi Dukor Nnamdi
More informationKB Agents and Propositional Logic
Plan Knowledge-Based Agents Logics Propositional Logic KB Agents and Propositional Logic Announcements Assignment2 mailed out last week. Questions? Knowledge-Based Agents So far, what we ve done is look
More informationModal logics: an introduction
Modal logics: an introduction Valentin Goranko DTU Informatics October 2010 Outline Non-classical logics in AI. Variety of modal logics. Brief historical remarks. Basic generic modal logic: syntax and
More informationReasoning Under Uncertainty: Introduction to Probability
Reasoning Under Uncertainty: Introduction to Probability CPSC 322 Lecture 23 March 12, 2007 Textbook 9 Reasoning Under Uncertainty: Introduction to Probability CPSC 322 Lecture 23, Slide 1 Lecture Overview
More information09 Modal Logic II. CS 3234: Logic and Formal Systems. October 14, Martin Henz and Aquinas Hobor
Martin Henz and Aquinas Hobor October 14, 2010 Generated on Thursday 14 th October, 2010, 11:40 1 Review of Modal Logic 2 3 4 Motivation Syntax and Semantics Valid Formulas wrt Modalities Correspondence
More informationNon-veridical Uses of Japanese Expressions of Temporal Precedence
Non-veridical Uses of Japanese Expressions of Temporal Precedence Stefan Kaufmann and Yukinori Takubo Northwestern University, Kyoto University 1. Introduction 1 The English temporal sentential connective
More informationCritical Thinking Review
Critical Thinking Review (wk3) Cognitive Skill of the Week: Analysis Analysis is the examination of a system (or complex), its components (or ingredients), and the linkages among these components. One
More informationArticle title: A modal type theory for formalizing trusted communications Reference: JAL252 Journal title: Journal of Applied Logic Corresponding
Article title: A modal type theory for formalizing trusted communications Reference: JAL252 Journal title: Journal of Applied Logic Corresponding author: Dr. Giuseppe Primiero First author: Dr. Giuseppe
More informationBar-Hillel and the Division of Labor in Language
Bar-Hillel and the Division of Labor in Language On the interaction of grammar, logic, and pragmatics Luka Crnič November 2, 2015 Language, Logic and Cognition Center http://scholars.huji.ac.il/llcc Luka
More information