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...
Guardado en:
| Autor principal: | |
|---|---|
| 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 |