Skip to Main content Skip to Navigation
Conference papers

Ethical System Formalization using Non-Monotonic Logics

Jean-Gabriel Ganascia 1
1 ACASA - Agents Cognitifs et Apprentissage Symbolique Automatique
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Ethics is the science of duty, i.e. the science that elucidates the rules of the right behavior. Nevertheless, it seems that the way we rule our lives is intuitive and based on common sense. For instance, it is common to say that ethical rules are default rules, which means that they tolerate exceptions. Some authors argue that moral can only be grounded on particular cases while others defend the existence of general principles related to ethical rules. Our purpose here is not to justify the first or the second position, but to try to model ethical systems using artificial intelligence formalisms. More precisely, this is an attempt to show that progress in non-monotonic logics, which simulate common sense reasoning, provides a way to formalize different ethical conceptions. From a technical point of view, the model developed here makes use of the Answer Set Programming (ASP) formalism. It is applied to compare different ethical systems with respect to their attitude towards lying and could help to extend classical philosophy and to define general conditions required by any ethical system.
Document type :
Conference papers
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Wednesday, June 22, 2016 - 5:54:47 PM
Last modification on : Friday, December 13, 2019 - 11:44:05 AM


  • HAL Id : hal-01336276, version 1


Jean-Gabriel Ganascia. Ethical System Formalization using Non-Monotonic Logics. The Cognitive Science conference (CogSci2007), Aug 2007, Nashville, United States. pp.1013-1018. ⟨hal-01336276⟩



Record views