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 application/pdf.
Filters
Modelling morality with prospective logic
2009
International Journal of Reasoning-based Intelligent Systems
Preserved Fulltext
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?
2017
Acta Academica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality - TEEM '16
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
International Journal of Interactive Multimedia and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2003
Enabling Technologies for Simulation Science VII
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2011
Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2013
Philosophical Psychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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
1999
Design Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Outstanding Contributions to Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal of experimental and theoretical artificial intelligence (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2019
Big Data and Cognitive Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2020
Humanities and Social Sciences Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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