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

Direct link
Cite
Citation style
  • apa
  • 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
Modeling and shadowing paraconsistent BDI agents
Univ Warsaw, Poland; QED Software, Poland.
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. Univ Warsaw, Poland.ORCID iD: 0000-0002-6000-6581
2024 (English)In: Annals of Mathematics and Artificial Intelligence, ISSN 1012-2443, E-ISSN 1573-7470, Vol. 92, p. 855-876Article in journal (Refereed) Published
Abstract [en]

The Bdi model of rational agency has been studied for over three decades. Many robust multiagent systems have been developed, and a number of Bdi logics have been studied. Following this intensive development phase, the importance of integrating Bdi models with inconsistency handling and revision theory have been emphasized. There is also a demand for a tighter connection between Bdi-based implementations and Bdi logics. In this paper, we address these postulates by introducing a novel, paraconsistent logical Bdi model close to implementation, with building blocks that can be represented as Sql/rule-based databases. Importantly, tractability is achieved by reasoning as querying. This stands in a sharp contrast to the high complexity of known Bdi logics. We also extend belief shadowing, a shallow and lightweight alternative to deep and computationally demanding belief revision, to encompass agents motivational attitudes.

Place, publisher, year, edition, pages
SPRINGER , 2024. Vol. 92, p. 855-876
Keywords [en]
Beliefs-Desires-Intentions models; Paraconsistent reasoning; Doxastic reasoning; Shadowing; Reasoning by querying
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-199541DOI: 10.1007/s10472-023-09902-wISI: 001105500600001OAI: oai:DiVA.org:liu-199541DiVA, id: diva2:1818463
Note

Funding Agencies|Narodowe Centrum Nauki [2015/19/B/ST6/02589]; National Science Centre Poland

Available from: 2023-12-11 Created: 2023-12-11 Last updated: 2024-10-03Bibliographically approved

Open Access in DiVA

fulltext(931 kB)93 downloads
File information
File name FULLTEXT01.pdfFile size 931 kBChecksum SHA-512
a6d1edf096777a556ff4b146ed2d746df70fc91dedb9b97f5b8680731f986e9891f84fe0ecd7f45ddc186c5173bc023b1a09147812645b6c312cbd8ae9355f4f
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records

Szalas, Andrzej

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & Engineering
In the same journal
Annals of Mathematics and Artificial Intelligence
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 93 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • 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