144,045 Hits in 2.0 sec

A Step towards Medical Ethics Modeling [chapter]

Miguel Miranda, José Machado, António Abelha, Gabriel Pontes, José Neves
2010 IFIP Advances in Information and Communication Technology  
In this paper we present some of the modeling lines of ethical reasoning applied to medicine, and defend that continuous logic programming presents potential for the development of trustworthy morally  ...  It is also presented a model of moral decision in two situations that emerge recurrently at the Intensive Care Units, a service where the moral complexity of regular decisions is a motivation for the analyze  ...  Modeling Clinical Ethics With respect to the computational paradigm, it was considered Logic Programming in the form of a Continuous Logic Programming (CLP), once the truth values are defined in the range  ... 
doi:10.1007/978-3-642-15515-4_4 fatcat:v63qfjur2nevthgdj32p7ddgla

Modelling morality with prospective logic

Luis Moniz Pereira, Ari Saptawijaya
2009 International Journal of Reasoning-based Intelligent Systems  
The whole moral reasoning is achieved via a priori constraints and a posteriori preferences on abductive stable models, two features available in prospective logic programming.  ...  This paper shows how moral decisions can be drawn computationally by using prospective logic programs.  ...  For instance, default negation is suitable for expressing exception in moral rules, abductive logic programming (Kakas et al., 1998; Kowalski, 2006) and stable model semantics (Gelfond and Lifschitz  ... 
doi:10.1504/ijris.2009.028020 fatcat:rkzvfqrelzexviutufqdsmhbte

Towards Ethical Machines Via Logic Programming

Abeer Dyoub, Stefania Costantini, Francesca A. Lisi
2019 Electronic Proceedings in Theoretical Computer Science  
In this work we propose a hybrid logic-based approach for ethical chatbots.  ...  As a matter of fact the potential of logic programming (LP) to model moral machines was envisioned by Pereira and Saptawijaya [15] .  ...  Preliminaries Answer Set Programming ASP is a logic programming paradigm under answer set (or "stable model") semantics [10] , which applies ideas of autoepistemic logic and default logic.  ... 
doi:10.4204/eptcs.306.39 fatcat:vby7ppeb7bc2dch4wcvn7tatpy

Computational thinking beyond STEM

Antonio M. Seoane-Pardo
2016 Proceedings of the Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality - TEEM '16  
making in moral dilemmas.  ...  This will be carried out through the study of so called "moral machines", using a game-based learning approach on self-driving vehicles and the need to program such cars to perform certain behaviours under  ...  There is a lot of studies regarding algorithms for navigation and models of decision-making and control systems for programming these cars [33] .  ... 
doi:10.1145/3012430.3012494 fatcat:ihcprqoi4nhlveigxk6m67vz2i

Inductive logic programming applied for knowledge representation in computer music/ Programação lógica indutiva aplicada para representação do conhecimento em música computacional

Clenio B. Gonçalves Junior, Murillo Rodrigo Petrucelli Homem
2021 Brazilian Applied Science Review  
In this sense, Inductive Logic Programming presents itself as a research field that incorporates concepts of Logic Programming and Machine Learning, its declarative character allows musical knowledge to  ...  The present work performs a systematic review based on approaches that use Inductive Logic Programming in the representation of musical knowledge.  ...  In this context, Inductive Logic Programming (ILP) presents itself as a growing field of research that combines the concepts of Logic Programming and Machine Learning (MORALES; MORALES, 1995) .  ... 
doi:10.34115/basrv5n4-009 fatcat:hzu3wcgi4jcavedh3bamouwbom

Programming Machine Ethics by Luís Moniz Pereira and Ari Saptawijaya

Robert Kowalski
2017 AI & Society: The Journal of Human-Centred Systems and Machine Intelligence  
PME shows how such intelligent and ethical behaviour can be programmed using extensions of existing logic programming techniques and implementations.  ...  Is it morally permissible for the bystander to push the heavy man onto the track, if it is guaranteed to stop the train and save the five men on the track?  ...  The computational logic of PME is a variant of abductive logic programming (ALP), which also employs, in addition to "closed" predicates defined by means of clauses, "open" predicates used for making assumptions  ... 
doi:10.1007/s00146-017-0690-y fatcat:kqaibwe5qja4rfeixcy3snodfi


Iwan Kuswandi, Tobroni Tobroni, Akhsanul In'am, Khozin Khozin, Asmoni Asmoni
2021 Ulul Albab  
supporting factors for the writing program.  ...  This paper described the interconnection model of morals-reasoning-research in the curriculum of Tarbiyatul Muallimien al-Islamiyah (known as TMI) Al-Amien Prenduan.  ...  This research described the interconnection model of morals-reasoning-research in the curriculum of TMI Al-Amien Prenduan and also examined the supporting and inhibiting factors for its implementation  ... 
doi:10.18860/ua.v22i1.11611 fatcat:2kqkgspdtrfifea6b5367murla

Page 5279 of Mathematical Reviews Vol. , Issue 93j [page]

1993 Mathematical Reviews  
He begins by putting forward three morals about logicism. (1) The success of a logicism program largely depends on the choice of the topic to be formalised. (2) When logicism programs fail, we may need  ...  These three morals are explained and clarified in succession, and serve aS a point of departure for the rest of the article, which discusses what logicism for AI should comprise. Via R.  ... 

Possible Worlds Semantics for Probabilistic Logic Programs [chapter]

Alex Dekhtyar, Michael I. Dekhtyar
2004 Lecture Notes in Computer Science  
In this paper we consider a logic programming framework for reasoning about imprecise probabilities.  ...  In particular, we propose a new semantics, for the Probabilistic Logic Programs (p-programs) of Ng and Subrahmanian. P-programs represent imprecision using probability intervals.  ...  First, we describe the possible worlds semantics for a simple logic programming language in which probability intervals are associated with each atom in a program (simple pprograms) (Section 2).  ... 
doi:10.1007/978-3-540-27775-0_10 fatcat:yh7pvd335jfyhaeytotneppyhy

Moral Education for the Gifted: a Confluent Model

Jonatha W. Vare
1979 The gifted child quarterly  
XXIII, No. 3 MORAL EDUCATION FOR THE GIFTED: A CONFLUENT MODEL Jonatha W.  ...  A CONFLUENT MODEL Ethical Underpinnings An acceptable program of moral education requires that its feet be set solidly on a bedrock of sound theoretical rationale.  ... 
doi:10.1177/001698627902300311 fatcat:dh77mi2ijbeydjkb7l4on3typy

Modelling Moral Reasoning and Ethical Responsibility with Logic Programming [chapter]

Fiona Berreby, Gauvain Bourgne, Jean-Gabriel Ganascia
2015 Lecture Notes in Computer Science  
First, we present a simplified Event Calculus formulated as a logic program under the stable model semantics in order to represent situations within Answer Set Programming.  ...  Our fundamental ambition is to displace the burden of moral reasoning from the programmer to the program itself, moving away from current computational ethics that too easily embed moral reasoning within  ...  Note that for now, this is a mostly non disjunctive stratified problem that could be programmed with logic programming tools other than ASP.  ... 
doi:10.1007/978-3-662-48899-7_37 fatcat:ktx43gkz75dslc3nmzxkqa6tym

A New Architecture for Making Moral Agents Based on C4.5 Decision Tree Algorithm

Meisam Azad-Manjiri
2014 International Journal of Information Technology and Computer Science  
One of the possible ways to get this confidence is adding a moral dimension to the robots. Therefore, we present a new architecture in order to build moral agents that learn from demonstrations.  ...  agent is based on Beauchamp and Childress's principles of biomedical ethics (a type of deontological theory) and uses decision tree algorithm to abstract relationships between ethical principles and morality  ...  Weigel [17] noted that the BDI architecture is suitable for modeling Agents and wrote that, this architecture need two sections to model Morality.  ... 
doi:10.5815/ijitcs.2014.05.07 fatcat:426mjfr4yra6lnnotyu25qmirm

Page 440 of Psychological Abstracts Vol. 60, Issue 2 [page]

1978 Psychological Abstracts  
(U Alabama) A conceptual model for the development of a parent interaction home-based child development program with regional implications.  ...  —Reviews the literature on the relationship between cognitive reasoning and emo- tions and discusses its implications for moral education.  ... 

Computational Meta-Ethics

Gert-Jan C. Lokhorst
2011 Minds and Machines  
For this reason, it might be desirable if robots were to some extent able to reason about their own reasoning-in other words, if they had some meta-ethical capacities.  ...  If the logic under examination is decidable, then given a formula A, either a theorem prover or a model generator will produce a result (if the programs work as advertised).  ...  -On the fringe of logic and beyond logic: probabilistic reasoning, moral belief revision, the moral frame problem, non-monotonic reasoning and non-inferential moral judgment, for example case-based judgment  ... 
doi:10.1007/s11023-011-9229-z fatcat:ealp2umkc5boxfmt4ttc4w3m64

Page 561 of Mathematical Reviews Vol. , Issue 2003A [page]

2003 Mathematical Reviews  
Lluis Godo, A proof procedure for possibilistic logic programming with fuzzy constants (760-771); Philippe Balbiani and Dimiter Vakarelov [Dimit”r Vakarelov], First-order characterization and modal anal  ...  , Probabilistic logic under coherence, model- theoretic probabilistic logic, and default reasoning (290-302); Ivan Kramosil, Belief functions with partially ordered values (303- 315); Paul-André Monney  ... 
« Previous Showing results 1 — 15 out of 144,045 results