Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Towards Modeling Morality Computationally with Logic Programming
January 2014
MMC-PADL-2014
We investigate the potential of logic programming (LP) to model morality aspects studied in philosophy and psychology, viz., dual-process model, moral justification, and intention in moral permissibility; and appropriately exploiting LP features to represent them. The research aims at developing an LP-based system with features needed in modeling these mentioned morality aspects. We have currently co-developed two essential ingredients of the LP system, i.e., abduction and logic program updates, benefiting from LP tabling features. They serve as the basis for our whole system, into which other reasoning facets will be integrated, to model the surmised morality aspects. Moreover, we touch upon the potential of our ongoing studies of LP based cognitive features for the emergence of computational morality, in populations of agents enabled with the capacity for intention recognition, commitment and apology.
In proceedings
Ari Saptawijaya, Luís Moniz Pereira
Matthew Flatt, Hai-Feng Guo
Proceedings of 16th International Symposium on Practical Aspects of Declarative Languages (PADL 2014)
LNCS
Springer
http://link.springer.com/book/10.1007/978-3-319-04132-2
8324
104-119
978-3-319-04131-5
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/padl-14.pdf
http://link.springer.com/chapter/10.1007/978-3-319-04132-2_8
Export formats
Ari Saptawijaya and Luís Moniz Pereira, Towards Modeling Morality Computationally with Logic Programming, in: Matthew Flatt and Hai-Feng Guo (eds), Proceedings of 16th International Symposium on Practical Aspects of Declarative Languages (PADL 2014), LNCS, Springer, http://link.springer.com/book/10.1007/978-3-319-04132-2, Vol. 8324, ISBN 978-3-319-04131-5, Pag. 104-119, (http://link.springer.com/chapter/10.1007/978-3-319-04132-2_8), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/padl-14.pdf, January 2014.
<a href="/people/members/view.php?code=3296a2fcb759ac3f30bc313a41f955bc" class="author">Ari Saptawijaya</a> and <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, <b>Towards Modeling Morality Computationally with Logic Programming</b>, in: Matthew Flatt and Hai-Feng Guo (eds), <u>Proceedings of 16th International Symposium on Practical Aspects of Declarative Languages (PADL 2014)</u>, LNCS, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, http://link.springer.com/book/10.1007/978-3-319-04132-2, Vol. 8324, ISBN 978-3-319-04131-5, Pag. 104-119, (<a href="http://link.springer.com/chapter/10.1007/978-3-319-04132-2_8" target="_blank">url</a>), <i>http://centria.di.fct.unl.pt/~lmp/publications/online-papers/padl-14.pdf</i>, January 2014.
@inproceedings {MMC-PADL-2014, author = {Ari Saptawijaya and Lu\'{\i}s Moniz Pereira}, editor = {Matthew Flatt and Hai-Feng Guo}, title = {Towards Modeling Morality Computationally with Logic Programming}, booktitle = {Proceedings of 16th International Symposium on Practical Aspects of Declarative Languages (PADL 2014)}, series = {LNCS}, publisher = {Springer}, address = {http://link.springer.com/book/10.1007/978-3-319-04132-2}, volume = {8324}, pages = {104-119}, isbn = {978-3-319-04131-5}, note = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/padl-14.pdf}, url = {http://link.springer.com/chapter/10.1007/978-3-319-04132-2_8}, abstract = {We investigate the potential of logic programming (LP) to model morality aspects studied in philosophy and psychology, viz., dual-process model, moral justification, and intention in moral permissibility; and appropriately exploiting LP features to represent them. The research aims at developing an LP-based system with features needed in modeling these mentioned morality aspects. We have currently co-developed two essential ingredients of the LP system, i.e., abduction and logic program updates, benefiting from LP tabling features. They serve as the basis for our whole system, into which other reasoning facets will be integrated, to model the surmised morality aspects. Moreover, we touch upon the potential of our ongoing studies of LP based cognitive features for the emergence of computational morality, in populations of agents enabled with the capacity for intention recognition, commitment and apology.}, keywords = {abduction, program updates, argumentation, reactive behavior, deliberative reasoning, morality, emergence}, month = {January}, year = {2014}, }
Publication's urls
/publications/view.php?code=d122f0b86553f285ed3f8479ddc4c6bf
/publications/view.php?code=MMC-PADL-2014
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT