Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
A paraconsistent approach to actions in informationally complex environments
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.
2019 (Engelska)Ingår i: Annals of Mathematics and Artificial Intelligence, ISSN 1012-2443, E-ISSN 1573-7470, Vol. 86, nr 4, s. 231-255Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Contemporary systems situated in real-world open environments frequently have to cope with incomplete and inconsistent information that typically increases complexity of reasoning and decision processes. Realistic modeling of such informationally complex environments calls for nuanced tools. In particular, incomplete and inconsistent information should neither trivialize nor stop both reasoning or planning. The paper introduces ACTLOG, a rule-based four-valued language designed to specify actions in a paraconsistent and paracomplete manner. ACTLOG is an extension of 4QL(Bel), a language for reasoning with paraconsistent belief bases. Each belief base stores multiple world representations. In this context, ACTLOGs action may be seen as a belief bases transformer. In contrast to other approaches, ACTLOG actions can be executed even when the underlying belief base contents is inconsistent and/or partial. ACTLOG provides a nuanced action specification tools, allowing for subtle interplay among various forms of nonmonotonic, paraconsistent, paracomplete and doxastic reasoning methods applicable in informationally complex environments. Despite its rich modeling possibilities, it remains tractable. ACTLOG permits for composite actions by using sequential and parallel compositions as well as conditional specifications. The framework is illustrated on a decontamination case study known from the literature.

Ort, förlag, år, upplaga, sidor
SPRINGER , 2019. Vol. 86, nr 4, s. 231-255
Nyckelord [en]
Action languages; Paraconsistent reasoning; Paracomplete reasoning; Doxastic reasoning; Belief bases
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
URN: urn:nbn:se:liu:diva-160169DOI: 10.1007/s10472-019-09627-9ISI: 000481781800001OAI: oai:DiVA.org:liu-160169DiVA, id: diva2:1349575
Anmärkning

Funding Agencies|Polish National Science Centre [2015/19/B/ST6/02589]; ELLIIT Network Organization for Information and Communication Technology; Swedish Foundation for Strategic Research FSR (SymbiKBot Project)

Tillgänglig från: 2019-09-09 Skapad: 2019-09-09 Senast uppdaterad: 2019-11-27

Open Access i DiVA

fulltext(2872 kB)12 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 2872 kBChecksumma SHA-512
916a216d96ed22c540631af4fc9e333759a2a0904c97ca46e50e6198fe9d0454bdd3ee4a2d8b45affc52e8d652ba87a21c57095f1428e6013e6dc86f59265e87
Typ fulltextMimetyp application/pdf

Ö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
I samma tidskrift
Annals of Mathematics and Artificial Intelligence
Systemvetenskap, informationssystem och informatik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 12 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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