Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Research on Aspect: Reflections and New Frontiers Read chapter Read first chapter

2015 | OriginalPaper | Chapter

Frame Theory, Dependence Logic and Strategies

Authors : Ralf Naumann, Wiebke Petersen

Published in: Logic, Language, and Computation

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

We present a formalization of the Löbner-Barsalou frame theory (LBFT) in Dependence Logic with explicit strategies. In its present formalization, [Pet07], frames are defined as a particular kind of typed feature structures. On this approach, the semantic value of a lexical item is reduced to its contribution to the truth conditions of sentences in which it occurs. This reduction does neither account for dynamic phenomena nor for results from neuroscience which show that meaning cannot be reduced to truth conditions. In order to overcome these shortcomings, we develop a dynamic frame theory which is based both on Dependence Logic [Vää07] and Dynamic Epistemic Logic ([vB11]). The semantic phenomenon with respect to which this framework is tested are numerical expressions like ‘two’ or ‘at least two’. They are interpreted as strategies which change the input information state to which they are applied.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Unless and Until: A Compositional Analysis
next chapter Uniqueness and Possession: Typological Evidence for Type Shifts in Nominal Determination
Footnotes
1
Of course, this need in general not to be true for arbitrary observations. Here we refer to the circumstances under which the children and the adults observed the scene where three horses jumped over a fence.
 
2
Though using his knowledge that bare numerals are often used with an ‘at least’ interpretation when used distributively, this may be the preferred assumption.
 
3
This follows from the example in (12) as well as the examples from Musolino’s first two experiments.
 
4
Note that single teams can express uncertainty too. This is the case whenever the values of an attribute form a filter or an ideal. However, this uncertainty is due to the interpretation of the expression and need not arise from epistemic uncertainty.
 
5
Here, we implicitly assumed the initialization assumption which will be introduced in (25) in Sect. 4.4.
 
6
This does not mean that the observation is specific in the sense that an attribute is assigned a unique value. For example, without counting the number of horses that one sees one can say that one is seeing at most / at least n horses.
 
7
For details on the distinction between strict and lax semantics in Dependence Logic, see [Gal12].
 
8
A more fine-grained update or supplement operation can be defined if one uses a sort hierarchy on the values of an attribute. Using such a hierarchy, the value of the type attribute in the above example would be calculated as the greatest lower bound of the values in the corresponding elements of the teams.
 
9
The indices at horse are used for better readability. Actually, horse has to be used without indices because the value of the base attribute is a Link-sum object over the values of the type attribute.
 
Literature
[BGWV93]
Blackburn, P., Gardent, C., Meyer-Viol, W.: Talking about trees. In: EACL, pp. 21–29 (1993)
[Car98]
Carston, R.: Informativeness, relevance, and scalar implicature. In: Carston, R., Uchida, S. (eds.) Relevance Theory: Applications and Implications, pp. 179–236. John Benjamins Publishing Co., Amsterdam (1998)CrossRef
[Eng12]
Engström, F.: Generalized quantifiers in dependence logic. J. Logic Lang. Inform. 21, 299–324 (2012)CrossRefMATH
[Gal12]
Galliani, P.: Inclusion and exclusion dependencies in team semantics - on some logics of imperfect information. Ann. Pure Appl. Log. 163(1), 68–84 (2012)CrossRefMATHMathSciNet
[GKC+10]
Geurts, B., Katsos, N., Cummins, C., Moons, J., Noordman, L.: Scalar quantifiers: logic, acquisition, and processing. Lang. Cogn. Process. 25(1), 130–148 (2010)CrossRef
[GN07]
Geurts, B., Nouwen, R.: At least et al.: the semantics of scalar modifiers. Language 83, 533–559 (2007)CrossRef
[Hor89]
Horn, L.R.: A Natural History of Negation. Chicago UP, Chicago (1989)
[HR83]
Halpern, J.Y., Reif, J.H.: The propositional dynamic logic of deterministic, well-structured programs. Theor. Comput. Sci. 27, 127–165 (1983)CrossRefMATHMathSciNet
[Mus04]
Musolino, J.: The semantics and acquisition of number words: integrating linguistic and developmental perspectives. Cognition 93(1), 1–41 (2004)CrossRefMathSciNet
[Pet07]
Petersen, W.: Representation of concepts as frames. In: Skilters, J., Toccafondi, F., Stemberger, G. (eds.) Complex Cognition and Qualitative Science. The Baltic International Yearbook of Cognition, Logic and Communication, vol. 2, pp. 151–170. University of Latvia, Riga (2007)
[PM03]
Papafragou, A., Musolino, J.: Scalar implicatures: experiments at the semantics-pragmatics interface. Cognition 86(3), 253–282 (2003)CrossRef
[PS11]
[Sza10]
[Vää07]
[vB11]
van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2011)CrossRefMATH
Metadata
Title
Frame Theory, Dependence Logic and Strategies
Authors
Ralf Naumann
Wiebke Petersen
Copyright Year
2015
Publisher
Springer Berlin Heidelberg
Book
Logic, Language, and Computation

Print ISBN: 978-3-662-46905-7

Electronic ISBN: 978-3-662-46906-4

Copyright Year: 2015

DOI
https://doi.org/10.1007/978-3-662-46906-4_13

Premium Partner

    Image Credits