liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Paraconsistent Reasoning in Cops and Robber Game with Uncertain Information: A Simulation-Based Analysis
Polish Acad Sci, Poland.
Univ Warsaw, Poland.
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.
2019 (English)In: International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, ISSN 0218-4885, Vol. 27, no 3, p. 429-455Article in journal (Refereed) Published
Abstract [en]

We apply a non-classical four-valued logic in the process of reasoning regarding strategies for cops in a modified game of "Cops and Robber" played on a graph. We extend the game by introducing uncertainty in a form of random failures of detecting devices. This is realized by allowing that a robber can be detected in a node only with the given probability P-A. Additionally, with the probability P-F, cops can be given a false-positive, i.e., they are informed that the robber is located at some node, whereas it is located somewhere else. Consequently, non-zero P-F introduces a measurement noise into the system. All the cops have access to information provided by the detectors and can communicate with each other, so they can coordinate the search. By adjusting the number of detectors,P-A, and P-F we can achieve a smooth transition between the two well-known variants of the game: "with fully visible robber" and "with invisible robber". We compare a simple probabilistic strategy for cops with the non-parametric strategy based on reasoning with a four-valued paraconsistent logic. It is shown that this novel approach leads to a good performance, as measured by the required mean catch-time. We conclude that this type of reasoning can be applied in real-world applications where there is no knowledge about the underlying source of errors which is particularly useful in robotics.

Place, publisher, year, edition, pages
WORLD SCIENTIFIC PUBL CO PTE LTD , 2019. Vol. 27, no 3, p. 429-455
Keywords [en]
Reasoning under uncertainty; non-classical logics; four-valued logic; paraconsistent reasoning; cops and robber game; multi-robotic systems
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-158053DOI: 10.1142/S021848851950020XISI: 000469460000005OAI: oai:DiVA.org:liu-158053DiVA, id: diva2:1329198
Note

Funding Agencies|Polish National Science Centre [2012/05/B/ST6/03094, 2015/19/B/ST6/02589]

Available from: 2019-06-24 Created: 2019-06-24 Last updated: 2019-06-24

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & Engineering
In the same journal
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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