liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: FOUNDATIONS OF INTELLIGENT SYSTEMS, ISMIS 2017, SPRINGER INTERNATIONAL PUBLISHING AG , 2017, Vol. 10352, s. 229-239Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
SPRINGER INTERNATIONAL PUBLISHING AG , 2017. Vol. 10352, s. 229-239
Serie
Lecture Notes in Artificial Intelligence, ISSN 0302-9743
Nyckelord [en]
Rule languages; Doxastic reasoning; Paraconsistency; Paracompleteness
Nationell ämneskategori
Filosofi
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
Konferens
23rd International Symposium on Methodologies for Intelligent Systems (ISMIS)
Anmärkning

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

Tillgänglig från: 2018-06-29 Skapad: 2018-06-29 Senast uppdaterad: 2018-06-29

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Sök vidare i DiVA

Av författaren/redaktören
Szalas, Andrzej
Av organisationen
Artificiell intelligens och integrerade datorsystemTekniska fakulteten
Filosofi

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 154 träffar
RefereraExporteraLänk till posten
Permanent länk

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