research-article

Agents, beliefs, and plausible behavior in a temporal setting

Authors:

Wojciech JamrogaAuthors Info & Claims

AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems

Article No.: 146, Pages 1 - 8

https://doi.org/10.1145/1329125.1329303

Published: 14 May 2007 Publication History

Abstract

Logics of knowledge and belief are often too static and inflexible to be used on real-world problems. In particular, they usually offer no concept for expressing that some course of events is more likely to happen than another. We address this problem and extend CTLK (computation tree logic with knowledge) with a notion of plausibility, which allows for practical and counterfactual reasoning. The new logic CTLKP (CTLK with plausibility) includes also a particular notion of belief. A plausibility update operator is added to this logic in order to change plausibility assumptions dynamically. Furthermore, we examine some important properties of these concepts. In particular, we show that, for a natural class of models, belief is a KD45 modality. We also show that model checking CTLKP is PTIME-complete and can be done in time linear with respect to the size of models and formulae.

References

[1]

R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672--713, 2002.

Digital Library

[2]

N. Bulling and W. Jamroga. Agents, beliefs and plausible behavior in a temporal setting. Technical Report IfI-06-05, Clausthal Univ. of Technology, 2006.

[3]

E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995--1072. Elsevier, 1990.

Digital Library

[4]

E. A. Emerson and J. Y. Halpern. "sometimes" and "not never" revisited: On branching versus linear time temporal logic. Journal of the ACM, 33(1):151--178, 1986.

Digital Library

[5]

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press: Cambridge, MA, 1995.

Digital Library

[6]

R. Fagin and J. Y. Halpern. Reasoning about knowledge and probability. Journal of ACM, 41(2):340--367, 1994.

Digital Library

[7]

N. Friedman and J. Y. Halpern. A knowledge-based framework for belief change, Part I: Foundations. In Proceedings of TARK, pages 44--64, 1994.

Digital Library

[8]

N. Friedman and J. Y. Halpern. A knowledge-based framework for belief change, Part II: Revision and update. In Proceedings of KR'94, 1994.

[9]

J. Y. Halpern. Reasoning about knowledge: a survey. In Handbook of Logic in Artificial Intelligence and Logic Programming. Vol. 4: Epistemic and Temporal Reasoning, pages 1--34. Oxford University Press, Oxford, 1995.

Digital Library

[10]

J. Y. Halpern and R. Fagin. Modelling knowledge and action in distributed systems. Distributed Computing, 3(4):159--177, 1989.

Digital Library

[11]

W. Jamroga and N. Bulling. A general framework for reasoning about rational agents. In Proceedings of AAMAS'07, 2007. Short paper.

Digital Library

[12]

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

Digital Library

[13]

W. Jamroga, W. van der Hoek, and M. Wooldridge. Intentions and strategies in game-like scenarios. In Progress in Artificial Intelligence: Proceedings of EPIA 2005, volume 3808 of LNAI, pages 512--523. Springer Verlag, 2005.

Digital Library

[14]

W. Jamroga and Thomas Agotnes. Constructive knowledge: What agents can achieve under incomplete information. Technical Report IfI-05-10, Clausthal University of Technology, 2005.

[15]

B. P. Kooi. Probabilistic dynamic epistemic logic. Journal of Logic, Language and Information, 12(4):381--408, 2003.

Digital Library

[16]

P. Lamarre and Y. Shoham. Knowledge, certainty, belief, and conditionalisation (abbreviated version). In Proceedings of KR'94, pages 415--424, 1994.

[17]

F. Laroussinie, N. Markey, and Ph. Schnoebelen. Model checking CTL+ and FCTL is hard. In Proceedings of FoSSaCS'01, volume 2030 of LNCS, pages 318--331. Springer, 2001.

Digital Library

[18]

Y. Moses and Y. Shoham. Belief as defeasible knowledge. Artificial Intelligence, 64(2):299--321, 1993.

Digital Library

[19]

W. Penczek and A. Lomuscio. Verifying epistemic properties of multiagent systems via bounded model checking. In Proceedings of AAMAS'03, pages 209--216, New York, NY, USA, 2003. ACM Press.

Digital Library

[20]

K. Su, A. Sattar, G. Governatori, and Q. Chen. A computationally grounded logic of knowledge, belief and certainty. In Proceedings of AAMAS'05, pages 149--156. ACM Press, 2005.

Digital Library

[21]

W. van der Hoek, M. Roberts, and M. Wooldridge. Social laws in alternating time: Effectiveness, feasibility and synthesis. Synthese, 2005.

Cited By

Felli PMiller TMuise CPearce ASonenberg L(2015)Computing social behaviours using agent modelsProceedings of the 24th International Conference on Artificial Intelligence10.5555/2832581.2832665(2978-2984)Online publication date: 25-Jul-2015
https://dl.acm.org/doi/10.5555/2832581.2832665
Bulling NJamroga W(2010)Verifying agents with memory is harder than it seemedAI Communications10.5555/1898063.189807023:4(389-403)Online publication date: 1-Dec-2010
https://dl.acm.org/doi/10.5555/1898063.1898070
Bulling NJamroga WLuck MSen S(2010)Verifying agents with memory is harder than it seemedProceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 110.5555/1838206.1838298(699-706)Online publication date: 10-May-2010
https://dl.acm.org/doi/10.5555/1838206.1838298
Show More Cited By

Index Terms

Agents, beliefs, and plausible behavior in a temporal setting
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

Monodic temporal resolution

Until recently, First-Order Temporal Logic (FOTL) has been only partially understood. While it is well known that the full logic has no finite axiomatisation, a more detailed analysis of fragments of the logic was not previously available. However, a ...
Agents that Know How to Play
Multiagent Systems (FAMAS'03)

We look at ways to enrich Alternating-time Temporal Logic (ATL) - a logic for specification and verification of multi-agent systems - with a notion of knowledge. Starting point of our study is a recent proposal for a system called Alternating-time ...
Arity hierarchy for temporal logics

A major result concerning temporal logics is Kamp's Theorem which states that the pair of modalities ''until'' and ''since'' is expressively complete for the first-order fragment of the monadic logic over the linear-time canonical model of naturals. The ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems

May 2007

1585 pages

ISBN:9788190426275

DOI:10.1145/1329125

Conference Chairs:
Edmund Durfee
University of Michigan
,
Makoto Yokoo
Kyushu University
,
Program Chairs:
Michael Huhns
University of South Carolina
,
Onn Shehory
IBM Haifa Research Lab, Israel

Copyright © 2007 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

IFAAMAS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 May 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AAMAS07

Sponsor:

AAMAS07: International Conference on Autonomous Agents and Mulitagent Systems

May 14 - 18, 2007

Hawaii, Honolulu

Acceptance Rates

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

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
167
Total Downloads

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

Reflects downloads up to 30 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Felli PMiller TMuise CPearce ASonenberg L(2015)Computing social behaviours using agent modelsProceedings of the 24th International Conference on Artificial Intelligence10.5555/2832581.2832665(2978-2984)Online publication date: 25-Jul-2015
https://dl.acm.org/doi/10.5555/2832581.2832665
Bulling NJamroga W(2010)Verifying agents with memory is harder than it seemedAI Communications10.5555/1898063.189807023:4(389-403)Online publication date: 1-Dec-2010
https://dl.acm.org/doi/10.5555/1898063.1898070
Bulling NJamroga WLuck MSen S(2010)Verifying agents with memory is harder than it seemedProceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 110.5555/1838206.1838298(699-706)Online publication date: 10-May-2010
https://dl.acm.org/doi/10.5555/1838206.1838298
Bulling NJamroga WSierra CCastelfranchi CDecker KSichman J(2009)Rational play and rational beliefs under uncertaintyProceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 110.5555/1558013.1558048(257-264)Online publication date: 10-May-2009
https://dl.acm.org/doi/10.5555/1558013.1558048
Zhengyuan Ning Xianwei Lai Shanli Hu Xiuli Wang (2008)Alternating-time temporal belief and knowledge logic in multi-agent systems2008 3rd International Conference on Intelligent System and Knowledge Engineering10.1109/ISKE.2008.4731143(1357-1362)Online publication date: Nov-2008
https://doi.org/10.1109/ISKE.2008.4731143
Zheng-Yuan Ning Xian-Wei Lai Shan-Li Hu Lin-Xiang Jian (2008)Multi-agent belief and normative ability reasoning2008 International Conference on Machine Learning and Cybernetics10.1109/ICMLC.2008.4620542(953-956)Online publication date: Jul-2008
https://doi.org/10.1109/ICMLC.2008.4620542
Lai XHu SNing ZWang XJian L(2008)Modeling Fuzzy Belief with Plausibility Degree in Intelligent SystemsProceedings of the 2008 3rd International Conference on Innovative Computing Information and Control10.1109/ICICIC.2008.368Online publication date: 18-Jun-2008
https://dl.acm.org/doi/10.1109/ICICIC.2008.368
Bulling NJamroga WDix J(2008)Reasoning about temporal properties of rational playAnnals of Mathematics and Artificial Intelligence10.1007/s10472-009-9110-453:1-4(51-114)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.1007/s10472-009-9110-4
Jamroga WBulling N(2008)A Logic for Reasoning about Rational AgentsComputational Logic in Multi-Agent Systems10.1007/978-3-540-88833-8_3(42-61)Online publication date: 15-Oct-2008
https://dl.acm.org/doi/10.1007/978-3-540-88833-8_3
Jamroga WBulling NDurfee EYokoo MHuhns MShehory O(2007)A framework for reasoning about rational agentsProceedings of the 6th international joint conference on Autonomous agents and multiagent systems10.1145/1329125.1329232(1-3)Online publication date: 14-May-2007
https://dl.acm.org/doi/10.1145/1329125.1329232

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