Default Knowledge in Logic Programs with Uncertainty (Contributo in atti di convegno)

Type
Label
  • Default Knowledge in Logic Programs with Uncertainty (Contributo in atti di convegno) (literal)
Anno
  • 2003-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-540-24599-5_32 (literal)
Alternative label
  • Loyer Y., Straccia U. (2003)
    Default Knowledge in Logic Programs with Uncertainty
    in Logic Programming, 19th International Conference
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Loyer Y., Straccia U. (literal)
Pagina inizio
  • 466 (literal)
Pagina fine
  • 480 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://link.springer.com/chapter/10.1007%2F978-3-540-24599-5_32 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 2916 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: 19th Int. Conf., ICLP 2003 (Mumbai, India, 9-13 Dicember 2003). Proceedings, pp. 466 - 480. C. Palamidessi (ed.). (Lecture Notes in Computer Science, vol. 2916). Springer Verlag, 2003. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • PRISM-PARIS, ISTI-CNR (literal)
Titolo
  • Default Knowledge in Logic Programs with Uncertainty (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-540-20642-2 (literal)
Abstract
  • Many frameworks have been proposed to manage uncertain information in logic programming. Essentially, they differ in the underlying notion of uncertainty and how these uncertainty values, associated to rules and facts, are managed. The goal of this paper is to allow the reasoning with non-uniform default assumptions, i.e with any arbitrary assignment of default values to the atoms. Informally, rather than to rely on the same default certainty value for all atoms, we allow arbitrary assignments to complete information. To this end, we define both epistemologically and computationally the semantics according to any given assumption. For reasons of generality, we present our work in the framework presented in [Lakshmanan01] as a unifying umbrella for many of the proposed approaches to the management of uncertainty in logic programming. Our extension is conservative in the following sense: (i) if we restrict our attention to the usual uniform Open World Assumption, then the semantics reduces to the Kripke-Kleene semantics, and (ii) if we restrict our attention to the uniform Closed World Assumption, then our semantics reduces to the well-founded semantics. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it