Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Paraconsistent Reasoning in Autonomous Systems Situated in Informationally-Complex Environments

2015/19/B/ST6/02589

Keywords:

multiagent systems paraconsistent reasoning conliflict resolution persuasion

Descriptors:

  • ST6_7: Artificial intelligence, intelligent systems, multi-agent systems

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Barbara Dunin-Kęplicz 

Number of co-investigators in the project: 5

Call: OPUS 10 - announced on 2015-09-15

Amount awarded: 483 100 PLN

Project start date (Y-m-d): 2016-08-09

Project end date (Y-m-d): 2022-02-08

Project duration:: 66 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Equipment purchased [PL]

  1. Tablet (3 500 PLN)
  2. Skaner (1 000 PLN)
  3. Tablet graficzny 3 sztuki (4 867 PLN)
  4. Laptop.
  5. Laptop (7 000 PLN)

Information in the final report

  • Publication in academic press/journals (5)
  • Articles in post-conference publications (7)
  • Book publications / chapters in book publications (3)
  1. Paraconsistent Reasoning in Cops and Robber Game with Uncertain Information: A Simulation-Based Analysis
    Authors:
    Jacek Szklarski, Łukasz Sebastian Białek i Andrzej Szałas
    Academic press:
    International Journal Of Uncertainty Fuzziness And Knowledge-based Systems (rok: 2019, tom: 27 (3), strony: 429–455), Wydawca: World Scientific
    Status:
    Published
    DOI:
    10.1142/S021848851950020X - link to the publication
  2. A paraconsistent approach to actions in informationally complex environments
    Authors:
    Łukasz Sebastian Białek, Barbara Dunin-Kęplicz, Andrzej Szałas
    Academic press:
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE (rok: 2019, tom: 86, strony: 231–255), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s10472-019-09627-9 - link to the publication
  3. Multi-Party Persuasion: a Paraconsistent Approach
    Authors:
    Barbara Dunin-Kęplicz , Alina Powała
    Academic press:
    Fundamenta Informaticae (rok: 2018, tom: 158, no. 1-3, strony: 14246), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2018-1640 - link to the publication
  4. Paraconsistent Rule-Based Reasoning with Graded Truth Values
    Authors:
    Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Andrzej Szałas
    Academic press:
    Journal of Applied Logics — IFCoLog Journal of Logics and their Applications (rok: 2018, tom: 5 (1), strony: 185-220), Wydawca: College Publications
    Status:
    Published
  5. BASTA: BDI-based architecture of simulated traffic agents
    Authors:
    Inga Rüb, Barbara Dunin-Kȩplicz
    Academic press:
    Journal of Information and Telecommunication (rok: 2020, tom: vol. 4 nr 4, strony: 440-460), Wydawca: Taylor & Francis URL: https://doi.org/10.1080/24751839.2020.1755529
    Status:
    Published
    DOI:
    10.1080/24751839.2020.1755529 - link to the publication
  1. Heterogeneous Approximate Reasoning with Graded Truth Values
    Authors:
    Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Barbara Dunin-Kęplicz, Andrzej Szałas
    Conference:
    International Joint Conference on Rough Sets, IJCRS 2017 (rok: 2017, ), Wydawca: Springer, LNCS 10313
    Data:
    konferencja 2017-07--03-2017-07-07
    Status:
    Published
  2. Rule-Based Reasoning with Belief Structures
    Authors:
    Łukasz Białek, Barbara Dunin-Kęplicz, Andrzej Szałas
    Conference:
    23rd International Symposium on Methodologies for Intelligent Systems, ISMIS 2017 (rok: 2017, ), Wydawca: Springer, LNCS 10352
    Data:
    konferencja 2017-06-26-2017-29-06-29
    Status:
    Published
  3. A Framework for Organization-Centered Doxastic Reasoning
    Authors:
    B. Dunin-Kęplicz, A.Szałas
    Conference:
    Knowledge-Based and Intelligent Information & Engineering Systems, KES2020 (rok: 2020, ), Wydawca: Elsevier
    Data:
    konferencja 16-09-18-09-2020
    Status:
    Published
  4. BDI Model of Connected and Autonomous Vehicles
    Authors:
    Inga Rüb, Barbara Dunin-Kęplicz,
    Conference:
    11th International Conference on Computational Collective Intelligence, ICCCI 2019 (rok: 2019, ), Wydawca: Springer Nature, LNAI 11684
    Data:
    konferencja 2019-09-04-2019-09-06
    Status:
    Published
  5. Modeling and Shadowing Paraconsistent BDI Agents
    Authors:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Conference:
    10th International Workshop on Engineering Multi-Agent Systems, EMAS 2022 (rok: 2022, ), Wydawca: EMAS
    Data:
    konferencja 2022-05-09 - 2022-05-10
    Status:
    Published
  6. Shadowing in Many-Valued Nested Structures
    Authors:
    Barbara Dunin-Kęplicz, Andrzej Szałas
    Conference:
    50th IEEE International Symposium on Multiple-Valued Logic (rok: 2020, ), Wydawca: IEEE
    Data:
    konferencja 2020-11-09 -2020-11-11
    Status:
    Published
  7. Doxastic Group Reasoning via Multiple Belief Shadowing
    Authors:
    Barbara Dunin-Kęplicz, Inga Rüb, Andrzej Szałas
    Conference:
    22nd Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2019 (rok: 2019, ), Wydawca: Springer, LNAI 11873
    Data:
    konferencja 2019-10-28-2019-10-31
    Status:
    Published
  1. Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments
    Authors:
    Łukasz Białek, Barbara Dunin-Kęplicz i Andrzej Szałas
    Book:
    Intelligent Distributed Computing XI (rok: 2017, tom: SCI 737, strony: 49–60), Wydawca: Springer
    Status:
    Published
  2. Belief Shadowing
    Authors:
    Łukasz Sebastian Białek, Barbara Dunin-Kęplicz, Andrzej Szałas
    Book:
    EMAS 2018: Engineering Multi-Agent Systems (rok: 2019, tom: LNCS 11375, strony: 158-180), Wydawca: Springer
    Status:
    Published
  3. Variations on Jaśkowski's Discursive Logic
    Authors:
    Barbara Dunin-Kęplicz, Alina Powała, Andrzej Szałas
    Book:
    The Lvov-Warsaw School. Past and Present (rok: 2018, tom: Studies in U L, strony: 485-497), Wydawca: Springer
    Status:
    Published