research-article

Knowledge and control

Authors:

Wiebe van der Hoek,

Nicolas Troquard,

Michael WooldridgeAuthors Info & Claims

AAMAS '11: The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

Pages 719 - 726

Published: 02 May 2011 Publication History

Abstract

Logics of propositional control, such as van der Hoek and Wooldridge's CL-PC [14], were introduced in order to represent and reason about scenarios in which each agent within a system is able to exercise unique control over some set of system variables. Our aim in the present paper is to extend the study of logics of propositional control to settings in which these agents have incomplete information about the society they occupy. We consider two possible sources of incomplete information. First, we consider the possibility that an agent is only able to "read" a subset of the overall system variables, and so in any given system state, will have partial information about the state of the system. Second, we consider the possibility that an agent has incomplete information about which agent controls which variables. For both cases, we introduce a logic combining epistemic modalities with the operators of CL-PC, investigate its axiomatization, and discuss its properties.

References

[1]

T. Ågotnes. Action and knowledge in alternating-time temporal logic. Synthese, 149(2):377--409, 2006.

[2]

R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. JACM, 49(5):672--713, 2002.

Digital Library

[3]

R. Alur et al. Mocha: Modularity in model checking. In CAV, LNCS 1427, pp. 521--525, 1998.

Digital Library

[4]

P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001.

Digital Library

[5]

R. Fagin and J. Y. Halpern. Reasoning about knowledge and probability. In M. Y. Vardi, (ed.), TARK, 1988.

Digital Library

[6]

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. MIT Press, 1995.

Digital Library

[7]

J. Gerbrandy. Logics of propositional control. In AAMAS06, pp. 193--200, 2006.

Digital Library

[8]

W. Jamroga and W. van der Hoek. Agents that know how to play. Fundamenta Informaticae, 63(2--3):185--219, 2004.

Digital Library

[9]

A. Lomuscio. Knowledge Sharing among Ideal Agents. PhD thesis, University of Birmingham, UK, 1999.

[10]

R. C. Moore. Reasoning about knowledge and action. In IJCAI-77, Cambridge, MA, 1977.

Digital Library

[11]

M. Pauly. Logic for Social Software. PhD thesis, University of Amsterdam, 2001. ILLC Dissertation Series 2001-10.

[12]

W. van der Hoek, D. Walther, and M. Wooldridge. Reasoning about the transfer of control. JAIR, 37:437--477, 2010.

Digital Library

[13]

W. van der Hoek and M. Wooldridge. Time, knowledge, and cooperation. Studia Logica, 75(1):125--157, 2003.

[14]

W. van der Hoek and M. Wooldridge. On the logic of cooperation and propositional control. AI, 164:81--119, 2005.

Digital Library

[15]

Y. Venema. A modal logic of substitution and quantification. Logic Colloquium '92, CSLI Pub., pp 293--309, 1996.

[16]

M. Wooldridge and A. Lomuscio. A computationally grounded logic of visibility, perception, and knowledge. IGPL, 9(2):273--288, 2001.

Cited By

Belardinelli FHerzig A(2016)On logics of strategic ability based on propositional controlProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence10.5555/3060621.3060635(95-101)Online publication date: 9-Jul-2016
https://dl.acm.org/doi/10.5555/3060621.3060635
Schwarzentruber F(2011)Seeing, knowledge and common knowledgeProceedings of the Third international conference on Logic, rationality, and interaction10.5555/2050423.2050442(258-271)Online publication date: 10-Oct-2011
https://dl.acm.org/doi/10.5555/2050423.2050442
van der Hoek W(2011)Control and delegationProceedings of the 9th international conference on Declarative Agent Languages and Technologies10.1007/978-3-642-29113-5_1(1-2)Online publication date: 3-May-2011
https://dl.acm.org/doi/10.1007/978-3-642-29113-5_1

Index Terms

Knowledge and control
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Multi-agent systems
    2. Knowledge representation and reasoning
2. Theory of computation
  1. Logic

Recommendations

On the dynamics of delegation, cooperation, and control: a logical account
AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems

We present DCL-PC: a dynamic logic of delegation and cooperation. The logical foundation of DCL-PC is CL-PC, a logic for reasoning about cooperation in which the powers of agents and coalitions of agents stem from a distribution of atomic Boolean ...
Labelled Sequent Calculi for Inquisitive Modal Logics
Logic, Language, Information, and Computation
Abstract
We present cut-free labelled sequent calculi for various systems of inquisitive modal logic, including inquisitive epistemic logic and inquisitive doxastic logic. Inquisitive modal logic extends the framework of standard modal logic with a ...
Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic

This paper tries to reinterpret three- and four-valued logics of partial ignorance and contradiction in the light of epistemic logic. First, we try to cast Kleene three-valued logic in the setting of a simplified form of epistemic logic. It is a two-...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

AAMAS '11: The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

May 2011

478 pages

ISBN:0982657161

General Chairs:
Liz Sonenberg
The University of Melbourne, Australia
,
Peter Stone
The University of Texas at Austin
,
Program Chairs:
Kagan Tumer
Oregon State University
,
Pinar Yolum
Bogazici University, Turkey

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: 02 May 2011

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AAMAS'11

Sponsor:

AAMAS'11: The Tenth International Conference on Autonomous Agents and Multiagent Systems

May 2 - 6, 2011

Taipei, Taiwan

Acceptance Rates

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

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
79
Total Downloads

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

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Belardinelli FHerzig A(2016)On logics of strategic ability based on propositional controlProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence10.5555/3060621.3060635(95-101)Online publication date: 9-Jul-2016
https://dl.acm.org/doi/10.5555/3060621.3060635
Schwarzentruber F(2011)Seeing, knowledge and common knowledgeProceedings of the Third international conference on Logic, rationality, and interaction10.5555/2050423.2050442(258-271)Online publication date: 10-Oct-2011
https://dl.acm.org/doi/10.5555/2050423.2050442
van der Hoek W(2011)Control and delegationProceedings of the 9th international conference on Declarative Agent Languages and Technologies10.1007/978-3-642-29113-5_1(1-2)Online publication date: 3-May-2011
https://dl.acm.org/doi/10.1007/978-3-642-29113-5_1

View Options

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