Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Metabolic Pathways as Temporal Logic Programs Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

Information Flow Under Budget Constraints

verfasst von : Pavel Naumov, Jia Tao

Erschienen in: Logics in Artificial Intelligence

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Although first proposed in the database theory as properties of functional dependencies between attributes, Armstrong’s axioms capture general principles of information flow by describing properties of dependencies between sets of pieces of information. This paper generalizes Armstrong’s axioms to a setting in which there is a cost associated with information. The proposed logical system captures general principles of dependencies between pieces of information constrained by a given budget.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Efficient Reasoning for Inconsistent Horn Formulae
Nächstes Kapitel A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics
Fußnoten
1
The one-time encryption pad is not the only way to construct a counterexample for formula \(a\rhd _4 b\rightarrow \varnothing \rhd _4 b\). We introduce one-time pads to prepare readers for the general proof of the completeness presented later in this paper.
 
2
In public-key cryptography, an encryption key is known as the public key and a decryption key as the private key. We do not use these terms here because in our setting neither of the keys is public in the sense that both of them have associated costs.
 
Literatur
1.
Alechina, N., Logan, B.: Ascribing beliefs to resource bounded agents. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), vol. 2, pp. 881–888. ACM Press, Bologna, July 2002
2.
Alechina, N., Logan, B., Nga, N.H., Rakib, A.: Logic for coalitions with bounded resources. J. Logic Comput. 21(6), 907–937 (2011)MathSciNetCrossRefMATH
3.
Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resource-bounded agents. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 606–613. ACM Press, New York (2004)
4.
Armstrong, W.W.: Dependency structures of data base relationships. In: Information Processing, Proceedings of IFIP Congress, Stockholm, 1974, vol. 74, pp. 580–583. North-Holland, Amsterdam (1974)
5.
Beeri, C., Fagin, R., Howard, J.H.: A complete axiomatization for functional and multivalued dependencies in database relations. In: Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data, SIGMOD 1977, pp. 47–61. ACM, New York (1977)
6.
Bělohlávek, R., Vychodil, V.: Data tables with similarity relations: functional dependencies, complete rules and non-redundant bases. In: Lee, M., Tan, K.-L., Wuwongse, V. (eds.) DASFAA 2006. LNCS, vol. 3882, pp. 644–658. Springer, Heidelberg (2006). doi:10.​1007/​11733836_​45 CrossRef
7.
Bulling, N., Farwer, B.: Expressing properties of resource-bounded systems: the logics RTL * and RTL. In: Dix, J., Fisher, M., Novák, P. (eds.) CLIMA 2009. LNCS (LNAI), vol. 6214, pp. 22–45. Springer, Heidelberg (2010). doi:10.​1007/​978-3-642-16867-3_​2 CrossRef
8.
Garcia-Molina, H., Ullman, J., Widom, J.: Database Systems: The Complete Book, 2nd edn. Prentice-Hall, Upper Saddle River (2009)
9.
10.
Hartmann, S., Link, S., Schewe, K.-D.: Weak functional dependencies in higher-order datamodels. In: Seipel, D., Turull-Torres, J.M. (eds.) FoIKS 2004. LNCS, vol. 2942, pp. 116–133. Springer, Heidelberg (2004). doi:10.​1007/​978-3-540-24627-5_​9 CrossRef
11.
Heckle, Z., Naumov, P.: Common knowledge semantics of Armstrong’s axioms. In: Kohlenbach, U., Barceló, P., Queiroz, R. (eds.) WoLLIC 2014. LNCS, vol. 8652, pp. 181–194. Springer, Heidelberg (2014). doi:10.​1007/​978-3-662-44145-9_​13
12.
Jamroga, W., Tabatabaei, M.: Accumulative knowledge under bounded resources. In: Leite, J., Son, T.C., Torroni, P., Torre, L., Woltran, S. (eds.) CLIMA 2013. LNCS (LNAI), vol. 8143, pp. 206–222. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-40624-9_​13 CrossRef
13.
14.
15.
16.
Naumov, P., Tao, J.: Budget-constrained knowledge in multiagent systems. In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, pp. 219–226. International Foundation for Autonomous Agents and Multiagent Systems (2015)
17.
Naumov, P., Tao, J.: Price of privacy. In: 12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Maastricht, the Netherlands (2016)
18.
Väänänen, J.: Dependence Logic: A New Approach To Independence Friendly Logic, vol. 70. Cambridge University Press, New York (2007)CrossRefMATH
19.
Metadaten
Titel
Information Flow Under Budget Constraints
verfasst von
Pavel Naumov
Jia Tao
Copyright-Jahr
2016
Buch
Logics in Artificial Intelligence

Print ISBN: 978-3-319-48757-1

Electronic ISBN: 978-3-319-48758-8

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-48758-8_23

Premium Partner

    Bildnachweise