A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is
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. ... Each prospective logic agent is equipped with a knowledge base and a moral theory as its initial theory. ...doi:10.1504/ijris.2009.028020 fatcat:rkzvfqrelzexviutufqdsmhbte
Progress in Artificial Intelligence
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. ... Each prospective logic agent is equipped with a knowledge base and a moral theory as its initial theory. ...doi:10.1007/978-3-540-77002-2_9 dblp:conf/epia/PereiraS07 fatcat:okans22njvfvfb2cdtq4eautcm
The Monthly Repository
But Christ was morally perfect, therefore Christ is God. Such is the logical statement and legitimate conclusion of Dr. B.’s argument. ° W. T. RELIGIOUS STATE AND PROSPECTS OF FRANCE, Dr. ... Bruce has, with great correctness, pointed out the many practical advantages which we derive from having a faultless model to copy, though it be fully admitted that it is impossible for us ever to equal ...
We take on several examples of modelling prospective logic programs that illustrate the proposed concepts and briefly discuss the ACORDA system, a working implementation of the previously presented procedure ... The concept of prospective logic programs is presented as a way to address such issues. ... A prospective logic program that could deal with this scenario is encoded below. ⊥ ← consider(tornado), not deal with emergency(tornado) expect(tornado) ← weather f orecast(tornado) deal with emergency ...doi:10.1504/ijris.2009.028019 fatcat:uw3dofernrashivqavcss5hevq
Significant problems with stage conceptions in these models augur a fundamental rethinking of religious development as a construct in developmental psychology. ... Critical consideration is given the empirical evidence for psychological models of religious development, its supposed relationship to other domains of psychological development, and especially, moral ... Commons' Model of Hierarchical Complexity offers, in my view, the most promising post-Piagetian prospects for thinking about development in terms of stage. ...doi:10.1080/02604020802301584 fatcat:oc2zapql4zgztpdy5jzam5szre
The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with ethical theories exhibiting ... Harnessing the high expressive power of Church's type theory as a meta-logic to semantically embed a combination of quantified non-classical logics, our work pushes existing boundaries in knowledge representation ... In contrast to Kant, Gewirth derives such upper moral principles by starting from purely logical (i.e. non-moral) considerations alone. ...arXiv:1903.09818v2 fatcat:lhdiz576s5gilp3nrpnpajlnku
Those are Powers' prospect for a Kantian machine, Anderson and Anderson's reinterpretation of act utilitarianism and Howard and Muntean's prospect for a moral machine based on a virtue ethical approach ... what—one might call strong "moral" AI scenarios—is questioned. ... computational model), an act utilitarian model of moral machines lacks similar logical and, so to speak ethically justifiable, semidecidability. ...doi:10.1057/s41599-020-00614-8 fatcat:wdkij2ttjzfczfkrd3y5hr5vwm
We speculate that expressive behavior and moral decision making use prospective processes parallel to those used in nonmoral decisions. ... Evidence of prospective processes is increasingly common in psychological research, which suggests the fruitfulness of a theoretical framework for mind and brain built around future orientation. ... Declaration of Conflicting Interests The authors declared that they had no conflicts of interest with respect to their authorship or the publication of this article. References ...doi:10.1177/1745691613475629 pmid:26172496 fatcat:o3lqflpbozcdfekex4ymdo2wmy
The second explanation draws from O' Keefe's (1988; theory of 'Message Design Logics', which argues that the logics that managers employ to produce and receive messages likely impacts framing ability. ... The third explanation grapples with questions of whether framing is a teachable skill and the contingencies associated with effective learning. ... The Art of Framing makes the reader aware that these moral logics exist, but in no way guarantees that they enter conversations with others when discussing framing choices and strategies. ...doi:10.1177/1742715005051857 fatcat:rdowfgysebdg3dhyvykrmupyea
It was his clear-headed logic, coupled with his love of truth, and his fearlessness in stating it, that made his rhetoric. Brow n seemed to think he must ... His style, as a didactic writer, has long and justly been considered as among the best models for young preachers. ...
for moral theorizing, pp. 185 adopting coherence models on these (and other) grounds ~ . ... Sayre-McCord thinks that even the choice of a coherentist model of justification is often made on grounds that it is the one best suited for political needs.’* Hence, those concerned with what gers done ...
This paper described the interconnection model of morals-reasoning-research in the curriculum of Tarbiyatul Muallimien al-Islamiyah (known as TMI) Al-Amien Prenduan. ... The reasoning skills are taught through school subjects such as logic, Islamic jurisprudence and the science of hadith. ... 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
      ) focuses on logic programming and prospective logic to model ethical machines. In Han et al. ... Pereira and Saptawijaya  use prospective logical programming to model various moral dilemmas taken from the classic trolley problem and employ the principle of double e ect as the moral rule. ...arXiv:2001.07573v1 fatcat:h2si3pt6wvd5xkf6b2dibgwj4q
A logical answer is that such workers are less likely to exhibit group orientation and that their work morale tends to be low. ... Koike's Theory of Skill Acquisition Koike (1987) claims that the integration of on-the-job training with wide-range moves is the source of the workers' high morale. ... Appendix Means and Standard Deviations for Variables in the Analysis NOTE: Mean differences are statistically significant (p<.05) between genders within the same country, except for the scores noted with ...doi:10.5651/jaas.10.67 fatcat:sirjjxh3bfhohepqo2s3tj4f6m
Huxley-based, an underlying morality supportive of algorithm-governed economizing arising from the behaviors that are most worthy of long-term reproduction. ... and, (2) What are the moral implications of the acquisition and use of such transaction cognitions? Evolutionary biology research suggests within concepts that are more Darwin-v. ... It is appealing, therefore, to consider the logical outgrowth of this reasoning: the prospect that economic security is, in fact, compatible with entrepreneurship (a notion that-without the lens offered ...doi:10.5840/ruffinx200441 fatcat:iitfn53pvzdk5cjg32e5ookhka
« Previous Showing results 1 — 15 out of 88,110 results