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:
Detalles Bibliográficos
Autores principales: Gómez, Sergio Alejandro, Simari, Guillermo Ricardo
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