An Environment for Possibilistic Logic Programming Based on Dung Semantics

In this paper, we present a tool for possibilistic logic programming.This tool is a desktop-based, stand-alone application that assists a user in creating, editing and querying a possibly inconsistent possibilistic program. The tool computes all the arguments emerging from the program, the grounded...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Gómez, Sergio Alejandro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2021
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/140237
http://50jaiio.sadio.org.ar/pdfs/asai/ASAI-04.pdf
Aporte de:
id I19-R120-10915-140237
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Possibilistic logic programming
Argumentation semantics
Knowledge representation
Knowledge-based systems
Arti cial Intelligence
spellingShingle Ciencias Informáticas
Possibilistic logic programming
Argumentation semantics
Knowledge representation
Knowledge-based systems
Arti cial Intelligence
Gómez, Sergio Alejandro
An Environment for Possibilistic Logic Programming Based on Dung Semantics
topic_facet Ciencias Informáticas
Possibilistic logic programming
Argumentation semantics
Knowledge representation
Knowledge-based systems
Arti cial Intelligence
description In this paper, we present a tool for possibilistic logic programming.This tool is a desktop-based, stand-alone application that assists a user in creating, editing and querying a possibly inconsistent possibilistic program. The tool computes all the arguments emerging from the program, the grounded extension based on Dung-style semantics, and it is capable of showing arguments and grounded extensions graphically. The language for programs is enriched with pragmas for allowing the user to con gure labels for necessity degrees, deciding if using transposes of strict rules, performing consistency checks within arguments, and appeal to the use of accrual of rules for building arguments. We describe its usage, architectural elements and we also provide experimental evaluation of its performance.
format Objeto de conferencia
Objeto de conferencia
author Gómez, Sergio Alejandro
author_facet Gómez, Sergio Alejandro
author_sort Gómez, Sergio Alejandro
title An Environment for Possibilistic Logic Programming Based on Dung Semantics
title_short An Environment for Possibilistic Logic Programming Based on Dung Semantics
title_full An Environment for Possibilistic Logic Programming Based on Dung Semantics
title_fullStr An Environment for Possibilistic Logic Programming Based on Dung Semantics
title_full_unstemmed An Environment for Possibilistic Logic Programming Based on Dung Semantics
title_sort environment for possibilistic logic programming based on dung semantics
publishDate 2021
url http://sedici.unlp.edu.ar/handle/10915/140237
http://50jaiio.sadio.org.ar/pdfs/asai/ASAI-04.pdf
work_keys_str_mv AT gomezsergioalejandro anenvironmentforpossibilisticlogicprogrammingbasedondungsemantics
AT gomezsergioalejandro environmentforpossibilisticlogicprogrammingbasedondungsemantics
bdutipo_str Repositorios
_version_ 1764820458447831042