liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Rule-Based Reasoning with Belief Structures
Univ Warsaw, Poland.
Univ Warsaw, Poland.
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten. Univ Warsaw, Poland.
2017 (engelsk)Inngår i: FOUNDATIONS OF INTELLIGENT SYSTEMS, ISMIS 2017, SPRINGER INTERNATIONAL PUBLISHING AG , 2017, Vol. 10352, s. 229-239Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
SPRINGER INTERNATIONAL PUBLISHING AG , 2017. Vol. 10352, s. 229-239
Serie
Lecture Notes in Artificial Intelligence, ISSN 0302-9743
Emneord [en]
Rule languages; Doxastic reasoning; Paraconsistency; Paracompleteness
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-149408DOI: 10.1007/978-3-319-60438-1_23ISI: 000434218600023ISBN: 978-3-319-60438-1 (digital)ISBN: 978-3-319-60437-4 (tryckt)OAI: oai:DiVA.org:liu-149408DiVA, id: diva2:1229189
Konferanse
23rd International Symposium on Methodologies for Intelligent Systems (ISMIS)
Merknad

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

Tilgjengelig fra: 2018-06-29 Laget: 2018-06-29 Sist oppdatert: 2018-06-29

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Søk i DiVA

Av forfatter/redaktør
Szalas, Andrzej
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 126 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf