nach oben

Erschienen in:

2016 | OriginalPaper | Buchkapitel

A Subset Space Perspective on Agents Cooperating for Knowledge

verfasst von : Bernhard Heinemann

Erschienen in: Knowledge Science, Engineering and Management

Verlag: Springer International Publishing

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

In this paper, we propose an additional application area of the subset space semantics of modal logic in terms of cooperating agents. While the original conception reflects both the knowledge acquisition process and the accompanying topological effect for a single agent, we show how a slight extension of that system can be utilized for modeling agents which, in a strict sense, cooperate for knowledge. In so doing, the agents will come in by means of so-called effort functions. These functions shall represent those of the agents’ actions which are targeted at more knowledge of the whole group. Our investigations result in a particular multi-agent version of the well-known logic of subset spaces, which allows us to reason about qualitative aspects of cooperation like the dominance of a joint commitment over any individual effort. On the technical side, a soundness and completeness theorem for one of the logics arising from that will be proved.

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 Implicit and Explicit Trust in Collaborative Filtering

Nächstes Kapitel Context-Aware Tree-Based Convolutional Neural Networks for Natural Language Inference

This is in accordance with the general setting in the context of subset spaces.

The part this operator plays in the novel system will become apparent later.

If the effort functions shall depend on knowledge states alone, then topological nexttime logic, see [9], would enter the field. This would lead to a somewhat more complicated but related system.

In other words, the schema \((p \rightarrow \mathsf {C}_i p)\wedge (\mathsf {C}_i p\rightarrow p)\) is \(\mathsf {CALSS}_n\)-derivable.

This point of view is derived by analogy with sequencing from the theory of parallel programming.

One or another proof of such a kind can be found in the literature; see, as regards a fully completed version for \(\mathsf {LSS}\), [4]. Note that the special circumstances of each individual case require an appropriate adjustment, which is most often non-trivial.

Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F.A.K.: Handbook of Spatial Logics. Springer, Dordrecht (2007)CrossRefMATH

Balbiani, P., Ditmarsch, H., Kudinov, A.: Subset space logic with arbitrary announcements. In: Lodaya, K. (ed.) ICLA 2013. LNCS, vol. 7750, pp. 233–244. Springer, Heidelberg (2013). doi:10.1007/978-3-642-36039-8_21 CrossRef

Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)MATH

Dabrowski, A., Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. Ann. Pure Appl. Logic 78, 73–110 (1996)MathSciNetCrossRefMATH

Ditmarsch, H., Knight, S., Özgün, A.: Arbitrary announcements on topological subset spaces. In: Bulling, N. (ed.) EUMAS 2014. LNCS (LNAI), vol. 8953, pp. 252–266. Springer, Heidelberg (2015). doi:10.1007/978-3-319-17130-2_17

Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)MATH

Georgatos, K.: Knowledge theoretic properties of topological spaces. In: Masuch, M., Pólos, L. (eds.) Logic at Work 1992. LNCS, vol. 808, pp. 147–159. Springer, Heidelberg (1994). doi:10.1007/3-540-58095-6_11 CrossRef

Goldblatt, R.: Logics of Time and Computation. CSLI Lecture Notes, 2nd edn., vol. 7. Center for the Study of Language and Information, Stanford (1992)

Heinemann, B.: Topological nexttime logic. In: Kracht, M., de Rijke, M., Wansing, H., Zakharyaschev, M. (eds.) Advances in Modal Logic 1, vol. 87, pp. 99–113. CSLI Publications, Kluwer, Stanford, CA (1998)

10.

Heinemann, B.: A PDL-like logic of knowledge acquisition. In: Diekert, V., Volkov, M.V., Voronkov, A. (eds.) CSR 2007. LNCS, vol. 4649, pp. 146–157. Springer, Heidelberg (2007). doi:10.1007/978-3-540-74510-5_17 CrossRef

11.

Heinemann, B.: Topology and knowledge of multiple agents. In: Geffner, H., Prada, R., Machado Alexandre, I., David, N. (eds.) IBERAMIA 2008. LNCS (LNAI), vol. 5290, pp. 1–10. Springer, Heidelberg (2008). doi:10.1007/978-3-540-88309-8_1 CrossRef

12.

Heinemann, B.: Subset spaces modeling knowledge-competitive agents. In: Zhang, S., Wirsing, M., Zhang, Z. (eds.) KSEM 2015. LNCS (LNAI), vol. 9403, pp. 3–14. Springer, Heidelberg (2015). doi:10.1007/978-3-319-25159-2_1 CrossRef

13.

Heinemann, B.: Augmenting subset spaces to cope with multi-agent knowledge. In: Artemov, S., Nerode, A. (eds.) LFCS 2016. LNCS, vol. 9537, pp. 130–145. Springer, Heidelberg (2016). doi:10.1007/978-3-319-27683-0_10 CrossRef

14.

Heinemann, B.: Topological facets of the logic of subset spaces (with emphasis on canonical models). J. Logic Comput. (2016). 22 pp. doi:10.1093/logcom/exv087

15.

Krommes, G.: A new proof of decidability for the modal logic of subset spaces. In: Ten Cate, B. (ed.) Proceedings of the Eighth ESSLLI Student Session, Vienna, Austria, pp. 137–147, August 2003

16.

Meyer, J.J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science, vol. 41. Cambridge University Press, Cambridge (1995)CrossRefMATH

17.

Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. In: Moses, Y. (ed.) Theoretical Aspects of Reasoning about Knowledge (TARK 1992), pp. 95–105. Morgan Kaufmann, Los Altos (1992)

18.

Wáng, Y.N., Ågotnes, T.: Multi-agent subset space logic. In: Proceedings 23rd IJCAI, pp. 1155–1161. AAAI (2013)

19.

Wáng, Y.N., Ågotnes, T.: Subset space public announcement logic. In: Lodaya, K. (ed.) ICLA 2013. LNCS, vol. 7750, pp. 245–257. Springer, Heidelberg (2013). doi:10.1007/978-3-642-36039-8_22 CrossRef

20.

Weiss, M.A., Parikh, R.: Completeness of certain bimodal logics for subset spaces. Stud. Logica 71, 1–30 (2002)MathSciNetCrossRefMATH

Titel: A Subset Space Perspective on Agents Cooperating for Knowledge
verfasst von: Bernhard Heinemann
Verlag: Springer International Publishing
Buch: Knowledge Science, Engineering and Management
Print ISBN: 978-3-319-47649-0

Electronic ISBN: 978-3-319-47650-6

Copyright-Jahr: 2016
DOI: https://doi.org/10.1007/978-3-319-47650-6_40

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner