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

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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
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 (engelsk)Inngå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-60Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Cham: Springer, 2018. Vol. 737, s. 49-60
Serie
Studies in Computational Intelligence, ISSN 1860-949X, E-ISSN 1860-9503 ; 737
Emneord [en]
Action languages; Paraconsistent reasoning; Paracomplete reasoning; Belief structures
HSV kategori
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
Konferanse
Intelligent Distributed Computing XI
Tilgjengelig fra: 2018-12-14 Laget: 2018-12-14 Sist oppdatert: 2019-01-24

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Szalas, Andrzej

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: 72 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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