Montiel, LA;
Pérez, JAN;
(2004)
Computing Preferred Safe Beliefs.
In: Osorio, M and Provetti, A, (eds.)
Latin-American Workshop on Non-Monotonic Reasoning: Proceedings of the 1st Intl. LA-NMR04 Workshop.
CEUR-WS.org
![[thumbnail of lanmr04.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
lanmr04.pdf Download (226kB) |
Abstract
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitrary propositional theories. We call this extended framework safe beliefs. We present an algorithm, based on the Davis-Putnam (DP) method, to compute safe beliefs for arbitrary propositional theories. We briefly discuss some ideas on how to extend this paradigm to incorporate preferences.
| Type: | Proceedings paper |
|---|---|
| Title: | Computing Preferred Safe Beliefs |
| Event: | Proceedings of the 1st Intl. LA-NMR04 Workshop, Antiguo Colegio de San Ildefonso, Mexico City, D.F , Mexico, April 26th 2004 |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | http://ceur-ws.org/Vol-92/computing.pdf |
| Language: | English |
| Additional information: | © 2004 The authors |
| Keywords: | Answer Sets, Davis Putnam, Safe Beliefs, Preferences, Algo- rithms. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/1361364 |
Archive Staff Only
 |
View Item |
