research-article

Budget-Constrained Knowledge in Multiagent Systems

Authors:

Jia TaoAuthors Info & Claims

AAMAS '15: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems

Pages 219 - 226

Published: 04 May 2015 Publication History

Abstract

The paper introduces a modal logical system for reasoning about knowledge in which information available to agents might be constrained by the available budget. Although the system lacks an equivalent of the standard Negative Introspection axiom from epistemic logic S5, it is proven to be sound and complete with respect to an S5-like Kripke semantics.

References

[1]

Sergei Artemov. The logic of justification. The Review of Symbolic Logic, 1(04):477--513, 2008.

[2]

Hawaii Criminal Justice Data Center. HCJDC-073 request for criminal history record check, 2012.

[3]

European Commission. Memo/14/186 12/03/2014, 2014.

[4]

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, MA, 1995.

Digital Library

[5]

Melvin Fitting. The logic of proofs, semantically. Annals of Pure and Applied Logic, 132(1):1--25, 2005.

[6]

Jean-Yves Girard. Linear logic. Theoretical computer science, 50:1--102, 1987.

Digital Library

[7]

John-Jules Ch. Meyer and Wiebe Van Der Hoek. Epistemic Logic for AI and Computer Science. Cambridge University Press, 2004.

Digital Library

[8]

Lawrence S. Moss and Rohit Parikh. Topological reasoning and the logic of knowledge: preliminary report. In Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge, pages 95--105. Morgan Kaufmann Publishers Inc., 1992.

Digital Library

[9]

Pavel Naumov and Jia Tao. Logic of confidence. Synthese, 2015. (to appear).

[10]

Iowa Division of Criminal Investigation. Dci-76 (08/25/10) Criminal History Record Check Billing Form, 2010.

[11]

California Department of Justice. Applicant fingerprint processing fees, 2012.

[12]

The Court of Justice of the European Union. Judgment of the Court (Grand Chamber) of 13 May 2014. Google Spain SL and Google Inc. v. Agencia Española de Protección de Datos (AEPD) and Mario Costeja González., 2014. Case: C-131/12.

[13]

Florida Department of Law Enforcement. Criminal history information request, 2014.

[14]

Maryland Department of Public Safety & Correctional Services. Background checks, 2014. www.dpscs.state.md.us/publicservs/bgchecks.shtml.

[15]

Pennsylvania State Police. SP 4-164 (2-2013) Request for criminal record check, 2012.

[16]

Virginia State Police. Sp-167: Criminal History Record Name Search Request, 2012.

[17]

Walter Rudin. Principles of mathematical analysis (international series in pure & applied mathematics). 1976.

[18]

W Van der Hoek and J-J Ch Meyer. Graded modalities in epistemic logic. Logique et Analyse, 34(133-134):251--270, 1991.

Cited By

Balbiani PFernández-Duque DHerzig ALorini E(2019)Stratified evidence logicsProceedings of the 28th International Joint Conference on Artificial Intelligence10.5555/3367243.3367250(1523-1529)Online publication date: 10-Aug-2019
https://dl.acm.org/doi/10.5555/3367243.3367250
Cao RNaumov P(2017)Budget-constrained dynamics in multiagent systemsProceedings of the 26th International Joint Conference on Artificial Intelligence10.5555/3171642.3171773(915-921)Online publication date: 19-Aug-2017
https://dl.acm.org/doi/10.5555/3171642.3171773
Naumov PTao J(2017)Information Flow under Budget ConstraintsACM Transactions on Computational Logic10.1145/315276818:4(1-26)Online publication date: 8-Dec-2017
https://dl.acm.org/doi/10.1145/3152768
Show More Cited By

Index Terms

Budget-Constrained Knowledge in Multiagent Systems
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Multi-agent systems
2. Theory of computation
  1. Logic
    1. Modal and temporal logics

Recommendations

Elementary Definability and Completeness in General and Positive Modal Logic

The paper generalises Goldblatt's completeness proof for Lemmon–Scott formulas to various modal propositional logics without classical negation and without ex falso , up to positive modal logic, where conjunction and disjunction, and where necessity and ...
Linear and affine logics with temporal, spatial and epistemic operators

A temporal spatial epistemic intuitionistic linear logic (TSEILL) is introduced, and the completeness theorem for this logic is proved with respect to Kripke semantics. TSEILL has three temporal modal operators: [F] (any time in the future), [N] (next ...
A complete proof system for propositional projection temporal logic

The paper presents a proof system for Propositional Projection Temporal Logic (PPTL) with projection-plus. The syntax, semantics, and logical laws of PPTL are introduced together with an axiom system consisting of axioms and inference rules. To ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

AAMAS '15: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems

May 2015

2072 pages

ISBN:9781450334136

General Chairs:
Gerhard Weiss
Maastricht University, The Netherlands
,
Pınar Yolum
Bogazici University, Turkey
,
Program Chairs:
Rafael H. Bordini
PUCRS, Brazil
,
Edith Elkind
University of Oxford, UK

Sponsors

IFAAMAS

In-Cooperation

SIGAI: ACM Special Interest Group on Artificial Intelligence

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 04 May 2015

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AAMAS'15

Sponsor:

AAMAS'15: International Conference on Autonomous Agents and Multiagent Systems

May 4 - 8, 2015

Istanbul, Turkey

Acceptance Rates

AAMAS '15 Paper Acceptance Rate 108 of 670 submissions, 16%;

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
53
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Balbiani PFernández-Duque DHerzig ALorini E(2019)Stratified evidence logicsProceedings of the 28th International Joint Conference on Artificial Intelligence10.5555/3367243.3367250(1523-1529)Online publication date: 10-Aug-2019
https://dl.acm.org/doi/10.5555/3367243.3367250
Cao RNaumov P(2017)Budget-constrained dynamics in multiagent systemsProceedings of the 26th International Joint Conference on Artificial Intelligence10.5555/3171642.3171773(915-921)Online publication date: 19-Aug-2017
https://dl.acm.org/doi/10.5555/3171642.3171773
Naumov PTao J(2017)Information Flow under Budget ConstraintsACM Transactions on Computational Logic10.1145/315276818:4(1-26)Online publication date: 8-Dec-2017
https://dl.acm.org/doi/10.1145/3152768
Galmiche DKimmel PPym D(2017)A Substructural Epistemic Resource LogicProceedings of the 7th Indian Conference on Logic and Its Applications - Volume 1011910.1007/978-3-662-54069-5_9(106-122)Online publication date: 5-Jan-2017
https://dl.acm.org/doi/10.1007/978-3-662-54069-5_9
Alechina NDastani MLogan B(2016)Verifying existence of resource-bounded coalition uniform strategiesProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence10.5555/3060621.3060625(24-30)Online publication date: 9-Jul-2016
https://dl.acm.org/doi/10.5555/3060621.3060625
Costantini SFormisano AJonker CMarsella SThangarajah JTuyls K(2016)Budget-Constrained Reasoning in Agent Computational EnvironmentsProceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems10.5555/2936924.2937135(1311-1312)Online publication date: 9-May-2016
https://dl.acm.org/doi/10.5555/2936924.2937135

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents