An Environment for Possibilistic Logic Programming Based on Dung Semantics

Autores
Gómez, Sergio Alejandro
Año de publicación
2021
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Sociedad Argentina de Informática e Investigación Operativa
Materia
Ciencias Informáticas
Possibilistic logic programming
Argumentation semantics
Knowledge representation
Knowledge-based systems
Arti cial Intelligence
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/140237
Acceder
id SEDICI_24927e44152ae2b79a89f143a5799027
oai_identifier_str oai:sedici.unlp.edu.ar:10915/140237
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling An Environment for Possibilistic Logic Programming Based on Dung SemanticsGómez, Sergio AlejandroCiencias InformáticasPossibilistic logic programmingArgumentation semanticsKnowledge representationKnowledge-based systemsArti cial IntelligenceIn 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.Sociedad Argentina de Informática e Investigación Operativa2021-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf25-38http://sedici.unlp.edu.ar/handle/10915/140237enginfo:eu-repo/semantics/altIdentifier/url/http://50jaiio.sadio.org.ar/pdfs/asai/ASAI-04.pdfinfo:eu-repo/semantics/altIdentifier/issn/2451-7585info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:35:34Zoai:sedici.unlp.edu.ar:10915/140237Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:35:35.202SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv An Environment for Possibilistic Logic Programming Based on Dung Semantics
title An Environment for Possibilistic Logic Programming Based on Dung Semantics
spellingShingle An Environment for Possibilistic Logic Programming Based on Dung Semantics
Gómez, Sergio Alejandro
Ciencias Informáticas
Possibilistic logic programming
Argumentation semantics
Knowledge representation
Knowledge-based systems
Arti cial Intelligence
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 An Environment for Possibilistic Logic Programming Based on Dung Semantics
dc.creator.none.fl_str_mv Gómez, Sergio Alejandro
author Gómez, Sergio Alejandro
author_facet Gómez, Sergio Alejandro
author_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Possibilistic logic programming
Argumentation semantics
Knowledge representation
Knowledge-based systems
Arti cial Intelligence
topic Ciencias Informáticas
Possibilistic logic programming
Argumentation semantics
Knowledge representation
Knowledge-based systems
Arti cial Intelligence
dc.description.none.fl_txt_mv 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.
Sociedad Argentina de Informática e Investigación Operativa
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.
publishDate 2021
dc.date.none.fl_str_mv 2021-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/140237
url http://sedici.unlp.edu.ar/handle/10915/140237
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://50jaiio.sadio.org.ar/pdfs/asai/ASAI-04.pdf
info:eu-repo/semantics/altIdentifier/issn/2451-7585
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
25-38
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844616234787667968
score 13.069144

Publicaciones similares