A preliminary approach towards a logic for warrant
We extend Defeasible Logic Programming for it to be able to warrant complex logical formulas. We show how negation, conjunction, disjunction and implication of ground literals can be tested for warrant. We show a running scenario to test the suitability of the approach.
Guardado en:
Autores principales: | , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Inglés |
Publicado: |
2014
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/42422 |
Aporte de: |
id |
I19-R120-10915-42422 |
---|---|
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 defeasible logic programming argumentation artificial intelligence |
spellingShingle |
Ciencias Informáticas defeasible logic programming argumentation artificial intelligence Gómez, Sergio Alejandro Simari, Guillermo Ricardo A preliminary approach towards a logic for warrant |
topic_facet |
Ciencias Informáticas defeasible logic programming argumentation artificial intelligence |
description |
We extend Defeasible Logic Programming for it to be able to warrant complex logical formulas. We show how negation, conjunction, disjunction and implication of ground literals can be tested for warrant. We show a running scenario to test the suitability of the approach. |
format |
Objeto de conferencia Objeto de conferencia |
author |
Gómez, Sergio Alejandro Simari, Guillermo Ricardo |
author_facet |
Gómez, Sergio Alejandro Simari, Guillermo Ricardo |
author_sort |
Gómez, Sergio Alejandro |
title |
A preliminary approach towards a logic for warrant |
title_short |
A preliminary approach towards a logic for warrant |
title_full |
A preliminary approach towards a logic for warrant |
title_fullStr |
A preliminary approach towards a logic for warrant |
title_full_unstemmed |
A preliminary approach towards a logic for warrant |
title_sort |
preliminary approach towards a logic for warrant |
publishDate |
2014 |
url |
http://sedici.unlp.edu.ar/handle/10915/42422 |
work_keys_str_mv |
AT gomezsergioalejandro apreliminaryapproachtowardsalogicforwarrant AT simariguillermoricardo apreliminaryapproachtowardsalogicforwarrant AT gomezsergioalejandro preliminaryapproachtowardsalogicforwarrant AT simariguillermoricardo preliminaryapproachtowardsalogicforwarrant |
bdutipo_str |
Repositorios |
_version_ |
1764820473628065797 |