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
Rule-Based Reasoning with Belief Structures
Univ Warsaw, 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. Univ Warsaw, Poland.
2017 (English)In: FOUNDATIONS OF INTELLIGENT SYSTEMS, ISMIS 2017, SPRINGER INTERNATIONAL PUBLISHING AG , 2017, Vol. 10352, p. 229-239Conference paper, Published paper (Refereed)
Abstract [en]

This paper introduces 4QL(Bel), a four-valued rule language designed for reasoning with paraconsistent and paracomplete belief bases as well as belief structures. Belief bases consist of finite sets of ground literals providing (partial and possibly inconsistent) complementary or alternative views of the world. As introduced earlier, belief structures consist of constituents, epistemic profiles and consequents. Constituents and consequents are belief bases playing different roles. Agents perceive the world forming their constituents, which are further transformed into consequents via the agents or groups epistemic profile. In order to construct 4QL(Bel), we extend 4QL, a four-valued rule language permitting for many forms of reasoning, including doxastic reasoning. Despite the expressiveness of 4QL(Bel), we show that its tractability is retained.

Place, publisher, year, edition, pages
SPRINGER INTERNATIONAL PUBLISHING AG , 2017. Vol. 10352, p. 229-239
Series
Lecture Notes in Artificial Intelligence, ISSN 0302-9743
Keywords [en]
Rule languages; Doxastic reasoning; Paraconsistency; Paracompleteness
National Category
Philosophy
Identifiers
URN: urn:nbn:se:liu:diva-149408DOI: 10.1007/978-3-319-60438-1_23ISI: 000434218600023ISBN: 978-3-319-60438-1 (electronic)ISBN: 978-3-319-60437-4 (print)OAI: oai:DiVA.org:liu-149408DiVA, id: diva2:1229189
Conference
23rd International Symposium on Methodologies for Intelligent Systems (ISMIS)
Note

Funding Agencies|Polish National Science Centre grant [2015/19/B/ST6/02589]

Available from: 2018-06-29 Created: 2018-06-29 Last updated: 2018-06-29

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
Philosophy

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 85 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