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

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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
Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments
Institute of Informatics, University of Warsaw, Poland.
Institute of Informatics, University of Warsaw, Poland.
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten.
2018 (Engelska)Ingår i: Intelligent Distributed Computing XI / [ed] Mirjana Ivanović, Costin Bădică, Jürgen Dix, Zoran Jovanović, Michele Malgeri, Miloš Savić, Cham: Springer, 2018, Vol. 737, s. 49-60Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

The paper introduces ActLog, a rule-based language capable of specifying actions paraconsistently. ActLog is an extension of 4QL Bel " role="presentation"> Bel , a rule-based language for reasoning with paraconsistent and paracomplete belief bases and belief structures. Actions considered in the paper act on belief bases rather than states represented as sets of ground literals. Each belief base stores multiple world representations which can be though of as a representation of possible states. In this context ActLog’s action may be then seen as a method of transforming one belief base into another. In contrast to other approaches, ActLog permits to execute actions even if the underlying belief base state is partial or inconsistent. Finally, the framework introduced in this paper is tractable.

Ort, förlag, år, upplaga, sidor
Cham: Springer, 2018. Vol. 737, s. 49-60
Serie
Studies in Computational Intelligence, ISSN 1860-949X, E-ISSN 1860-9503 ; 737
Nyckelord [en]
Action languages; Paraconsistent reasoning; Paracomplete reasoning; Belief structures
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:liu:diva-153430DOI: 10.1007/978-3-319-66379-1_5ISI: 000451440400005ISBN: 9783319663784 (tryckt)ISBN: 9783319663791 (digital)OAI: oai:DiVA.org:liu-153430DiVA, id: diva2:1270895
Konferens
Intelligent Distributed Computing XI
Tillgänglig från: 2018-12-14 Skapad: 2018-12-14 Senast uppdaterad: 2019-01-24

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Szalas, Andrzej

Sök vidare i DiVA

Av författaren/redaktören
Szalas, Andrzej
Av organisationen
Artificiell intelligens och integrerade datorsystemTekniska fakulteten
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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