Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A symmetry reduction technique for model checking temporal epistemic logic
Univ London Imperial Coll Sci Technol & Med.ORCID iD: 0000-0001-5432-6442
2009 (English)In: 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 2009, 721-726 p.Conference paper, Published paper (Refereed)
Abstract [en]

We introduce a symmetry reduction technique for model checking temporal-epistemic properties of multi-agent systems defined in the mainstream interpreted systems framework. The technique, based on counterpart semantics, aims to reduce the set of initial states that need to be considered in a model. We present theoretical results establishing that there are neither false positives nor false negatives in the reduced model. We evaluate the technique by presenting the results of an implementation tested against two well known applications of epistemic logic, the muddy children and the dining cryptographers. The experimental results obtained confirm that the reduction in model checking time can be dramatic, thereby allowing for the verification of hitherto intractable systems.

Place, publisher, year, edition, pages
2009. 721-726 p.
Keyword [en]
DINING CRYPTOGRAPHERS, KNOWLEDGE
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-62958DOI: 10.1007/978-3-642-04761-9ISI: 000283727900113Scopus ID: 2-s2.0-78650517677OAI: oai:DiVA.org:kth-62958DiVA: diva2:481426
Conference
21st Internation Joint Conference on Artifical Intelligence (IJCAI-09), Pasadena, CA, JUL 11-17, 2009
Note
QC 20120207Available from: 2012-01-20 Created: 2012-01-20 Last updated: 2012-02-07Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Dam, Mads

Search in DiVA

By author/editor
Dam, Mads
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 25 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf