3,028 Hits in 2.0 sec

Modelling morality with prospective logic

Luis Moniz Pereira, Ari Saptawijaya
2009 International Journal of Reasoning-based Intelligent Systems  
This paper shows how moral decisions can be drawn computationally by using prospective logic programs.  ...  We show that our prospective logic programs allow us to explain computationally different moral judgments that are drawn from these two slightly but distinctively different moral principles.  ...  Continuous and active research in logic programming has provided us with necessary ingredients that look promising enough to model morality.  ... 
doi:10.1504/ijris.2009.028020 fatcat:rkzvfqrelzexviutufqdsmhbte

Artificial Intelligence (AI) and being human: What is the difference?

Bert Olivier
2017 Acta Academica  
The argument of Hubert Dreyfus is examined, that the AI research community concentrate its efforts on replacing its cognitivist approach with a Heideggerian one, a recognition that AI research cannot ignore  ...  Such a notion of the human mind, he argues, is overly narrow, because the 'tides of mind' cover a larger and more variegated 'spectrum' than computationalism allows.  ...  The domain of logic coincides with that of AI and the human mind, as conceived by computationalism, which, as implied by these observations, is devoid of moral significance.  ... 
doi:10.18820/24150479/aa49i1.1 fatcat:rvc7qszhj5fylirtvdeno7cqbm

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  ...  Even though it successfully points to the expres-sive power of nonmonotonic logic for ethical reasoning, it seems that this account fails to "provide a general framework to model morality computationally  ... 
doi:10.1007/978-3-662-48899-7_37 fatcat:ktx43gkz75dslc3nmzxkqa6tym

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  ...  This is why this paper focus on computational thinking beyond the STEM model, precisely in a field, Ethics, where the problems to be faced should be logically ("computationally") analysed, but the conclusions  ... 
doi:10.1145/3012430.3012494 fatcat:ihcprqoi4nhlveigxk6m67vz2i

Emergent Models for Moral AI Spirituality

Mark Graves
2021 International Journal of Interactive Multimedia and Artificial Intelligence  
Using general systems theory to organize models of human experience yields insight into human morality and spirituality, upon which AI modeling can also draw.  ...  morality that would result in an emergent Interpreter-Spirit sufficient to influence the ongoing development of human and AI morality and spirituality.  ...  Modeling these emergent systems computationally serves as a foundational model for human spirituality and can be oriented toward developing AI morality and spirituality. A.  ... 
doi:10.9781/ijimai.2021.08.002 fatcat:llalxb2c5vb5zjy7nvv47gsyky

Creating an AI modeling application for designers and developers

Ryan Houlette, Daniel Fu, Randy Jensen, Alex F. Sisti, Dawn A. Trevisani
2003 Enabling Technologies for Simulation Science VII  
These individuals, while possessing a vast knowledge of the subject matter, might not have any programming knowledge whatsoever.  ...  Aside from the design-level benefits, the application also features a runtime engine that takes the application's data as input along with a simulation or game interface, and makes the AI operational.  ...  For example, a user may decide to model the morale and fatigue of a friendly force and have those attributes affect behavior.  ... 
doi:10.1117/12.500904 fatcat:jbtyvswjanbmxpzpizwiba34ci

Floridi's "Open Problems in Philosophy of Information", Ten Years Later

Gordana Dodig Crnkovic, Wolfgang Hofkirchner
2011 Information  
While info-computationalism regards any natural process that can be described by a definable model as computation, which is equal to information processing, (so that e.g., the emission of a radioactive  ...  The difference to info-computationalism lies in the dynamics that is assumed as background.  ...  In fact, many of the deep results in logic are about the latter, rather than the former aspect: linked with Model Theory, not Proof Theory.  ... 
doi:10.3390/info2020327 fatcat:jr6zawvv4vdjjkbdjlqwnjgrnu

Feedback from moral philosophy to cognitive science

Regina A. Rini
2013 Philosophical Psychology  
If theories of cognitive architecture generate predictions for moral cognition, then tests of moral thinking provide feedback to cognitive science.  ...  A popular argument form uses general theories of cognitive architecture to motivate conclusions about the nature of moral cognition.  ...  Wolf argues that we do not and should not want to be moral saints; moral saintliness "does not constitute a model of personal well-being toward which it would be particularly rational or good or desirable  ... 
doi:10.1080/09515089.2013.864454 fatcat:rzfdgsjcrbecvdxbm6v6oxdudi

The computationalist paradigm in design research

T Liddament
1999 Design Studies  
In this discussion I want to bring out some of the features of computationalism together with its relationship to the field of design.  ...  So, how are we to understand computationalism, and what is its significance for design activity?  ...  This is significant since it makes a logical distinction between programs and the machines on which such programs can be run, which we will consider below.  ... 
doi:10.1016/s0142-694x(98)00027-1 fatcat:hlnn7i6mgje5nostitzmhpc2e4

A Non-classical Logical Approach to Social Software [chapter]

Can Başkent
2017 Outstanding Contributions to Logic  
Social software can be viewed as a research program which studies the construction and verification of social procedures by using tools in logic and computer science.  ...  However, to the best of my knowledge, social software has not been considered from a non-classical logical perspective.  ...  Additionally, I will claim that incorporating non-classical elements to the program of social software aligns very well with its initial motivation.  ... 
doi:10.1007/978-3-319-47843-2_6 fatcat:xq2lxracknc6xjevcscozrkdza

Limitations and risks of machine ethics

Miles Brundage
2014 Journal of experimental and theoretical artificial intelligence (Print)  
One could respond that with a computational account of folk psychology, we could then seek to address these deficiencies by tweaking the program.  ...  In contrast, others argue based on the principles of deontic logic and other considerations that moral dilemmas are not logically possible within a rational theory of ethics.  ... 
doi:10.1080/0952813x.2014.895108 fatcat:cdpljxevgzerpjj7o7qtgboom4

Building Ethics into Artificial Intelligence [article]

Han Yu, Zhiqi Shen, Chunyan Miao, Cyril Leung, Victor R. Lesser and Qiang Yang
2018 arXiv   pre-print
We highlight the intuitions and key techniques used in each approach, and discuss promising future research directions towards successful integration of ethical AI systems into human societies.  ...  In this paper, we complement existing surveys, which largely focused on the psychological, social and legal discussions of the topic, with an analysis of recent advances in technical solutions for AI governance  ...  This is made computationally efficient with the swap-dominance property.  ... 
arXiv:1812.02953v1 fatcat:qkrvws7psbc47kgqhupuqdausy

Safe Artificial General Intelligence via Distributed Ledger Technology

Kristen W. Carlson
2019 Big Data and Cognitive Computing  
The proposed axioms: (1) Access to technology by market license. (2) Transparent ethics embodied in DLT. (3) Morality encrypted via DLT. (4) Behavior control structure with values at roots. (5) Individual  ...  A set of logically distinct conceptual components is proposed that are necessary and sufficient to (1) ensure various AGI scenarios will not harm humanity, and (2) robustly align AGI and human values and  ...  Ingredients for Formalization of AGI Safety Theory Towards formalization, the various methods to ensure safe AGI are stated as logically distinct axioms and at a high level intended to capture concisely  ... 
doi:10.3390/bdcc3030040 fatcat:jgexq3tvfvhizpsfahckgwsbfy

Two New Philosophical Problems for Robo-Ethics

Jeff Buechner
2018 Information  
and (ii) should human moral reasoning be computationally modeled in robo-agents?  ...  Introduction There are many difficult problems for robo-ethics, especially from the perspective of computational modeling, such as (i) how to computationally model human moral reasoning in robo-agents,  ... 
doi:10.3390/info9100256 fatcat:kyso4pvwvrfrbcgby7yqpduknu

Whose morality? Which rationality? Challenging artificial intelligence as a remedy for the lack of moral enhancement

Silviya Serafimova
2020 Humanities and Social Sciences Communications  
what—one might call strong "moral" AI scenarios—is questioned.  ...  The possibility of weak "moral" AI scenarios is likewise discussed critically.  ...  Such a deliberate programming in moral terms breaks not only with the principle of moral impartiality, but also with the idea of machines' moral autonomy.  ... 
doi:10.1057/s41599-020-00614-8 fatcat:wdkij2ttjzfczfkrd3y5hr5vwm
« Previous Showing results 1 — 15 out of 3,028 results