KR2022Proceedings of the 19th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning

Haifa, Israel. July 31–August 5, 2022.

Edited by
  1. Gabriele Kern-Isberner
  2. Gerhard Lakemeyer
  3. Thomas Meyer

ISSN: 2334-1033
ISBN: 978-1-956792-01-0

Sponsored by
Published by

Copyright © 2022 International Joint Conferences on Artificial Intelligence Organization

A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation

  1. Victor Hugo Nascimento Rocha(University of São Paulo)
  2. Fabio Gagliardi Cozman(University of São Paulo)
PDF
BibTeX
https://doi.org/10.24963/kr.2022/31

Keywords

  1. Argumentation
  2. Logic programming, answer set programming
  3. Uncertainty, vagueness, many-valued and fuzzy logics
  4. Probabilistic reasoning and learning

Abstract

We present an approach to probabilistic logic programming and probabilistic argumentation that combines elements of the L-stable semantics and the credal semantics. We derive the complexity of inferences, propose an extended version of argumentation graphs with a semantics that maps to the L- stable semantics, and introduce a definition for the probability of an argument.