Umeå universitets logga

umu.sePublikationer
Ä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
Possibilistic Nested Logic Programs
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
2012 (Engelska)Ingår i: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), 2012, s. 267-276Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

We introduce the class of possibilistic nested logic programs. These possibilistic logic programsallow us to use nested expressions in the bodies and the heads of their rules. By considering apossibilistic nested logic program as a possibilistic theory, a construction of a possibilistic logicprograming semantics based on answer sets for nested logic programs and the proof theory ofpossibilistic logic is defined. We show that this new semantics for possibilistic logic programsis computable by means of transforming possibilistic nested logic programs into possibilistic disjunctivelogic programs. The expressiveness of the possibilistic nested logic programs is illustratedby scenarios from the medical domain. In particular, we exemplify how possibilistic nested logicprograms are expressive enough for capturing medical guidelines which are pervaded of vaguenessand qualitative information.

Ort, förlag, år, upplaga, sidor
2012. s. 267-276
Nyckelord [en]
Answer Set Programming, Uncertain Information, Possibilistic Reasoning
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
datalogi
Identifikatorer
URN: urn:nbn:se:umu:diva-66498DOI: 10.4230/LIPIcs.ICLP.2012.267Scopus ID: 2-s2.0-84880248356ISBN: 978-3-939897-43-9 (tryckt)OAI: oai:DiVA.org:umu-66498DiVA, id: diva2:607144
Konferens
28th International Conference on Logic Programming (ICLP'12)
Tillgänglig från: 2013-02-21 Skapad: 2013-02-21 Senast uppdaterad: 2023-03-23Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Nieves, Juan CarlosLindgren, Helena

Sök vidare i DiVA

Av författaren/redaktören
Nieves, Juan CarlosLindgren, Helena
Av organisationen
Institutionen för datavetenskap
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 274 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