Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:v6s6brd8sb48gp1b > A paraconsistent ap...

A paraconsistent approach to actions in informationally complex environments [Elektronisk resurs]

Bialek, Lukasz (författare)
Dunin-Keplicz, Barbara (författare)
Szalas, Andrzej (författare)
Linköpings universitet Institutionen för datavetenskap (utgivare)
Linköpings universitet Tekniska fakulteten (utgivare)
Publicerad: SPRINGER, 2019
Engelska.
Ingår i: Annals of Mathematics and Artificial Intelligence. - 1012-2443. ; 86:4, 231-255
Läs hela texten
Läs hela texten
Läs hela texten
  • E-artikel/E-kapitel
Sammanfattning Ämnesord
Stäng  
  • 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. 

Ämnesord

Natural Sciences  (hsv)
Computer and Information Sciences  (hsv)
Information Systems  (hsv)
Naturvetenskap  (hsv)
Data- och informationsvetenskap  (hsv)
Systemvetenskap, informationssystem och informatik  (hsv)

Genre

government publication  (marcgt)

Indexterm och SAB-rubrik

Action languages; Paraconsistent reasoning; Paracomplete reasoning; Doxastic reasoning; Belief bases
Inställningar Hjälp

Beståndsinformation saknas

Om LIBRIS
Sekretess
Blogg
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Sondera
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy