46,570 Hits in 4.8 sec

Computational thinking beyond STEM

Antonio M. Seoane-Pardo
2016 Proceedings of the Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality - TEEM '16  
with the ability to take decisions where there is no such thing as a "right" versus "wrong" answer, and potentially both (or more) of the possible actions will bring unwanted consequences.  ...  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  ...  (computational) way to approach, explain and try to resolve a particular instance of moral dilemmas, those applied to a specific kind of artefacts called moral machines, namely, machines programmed to  ... 
doi:10.1145/3012430.3012494 fatcat:ihcprqoi4nhlveigxk6m67vz2i

Towards Ethical Machines Via Logic Programming

Abeer Dyoub, Stefania Costantini, Francesca A. Lisi
2019 Electronic Proceedings in Theoretical Computer Science  
Thus, we need to ensure that they behave ethically. In this work we propose a hybrid logic-based approach for ethical chatbots.  ...  They contain information about us and start to perform tasks on our behalves. Chatbots are an example of such agents that need to engage in a complex conversations with humans.  ...  As a matter of fact the potential of logic programming (LP) to model moral machines was envisioned by Pereira and Saptawijaya [15] .  ... 
doi:10.4204/eptcs.306.39 fatcat:vby7ppeb7bc2dch4wcvn7tatpy

Establishing Modern Bachelor-level Studies in Computer Science based on Higher Education Standard in Ukraine

Kovaliuk Tetiana, Taras Shevchenko National University of Kyiv, Kobets Nataliya, Borys Grinchenko Kyiv University
2020 The Educational Review USA  
These competencies are a set of requirements regarding possession of a large range of modern information technology, skills of modelling, programming and support of information systems, understanding the  ...  The work considers the Computer Science standard for Bachelor's Degree Programs in Ukraine in the context of harmonizing its content with world practice.  ...  Modeling of the systems and processes Basics of Programming Object-oriented Programming Functional Programming Logical Programming Using methods, technologies and tools for projecting and  ... 
doi:10.26855/er.2020.03.003 fatcat:sfpjnqkoe5hzpg2xwczqwteyby

Quantum Computation: From a Programmer's Perspective

Benoît Valiron
2013 New generation computing  
We analyze the various existing models of quantum computation and the problem of the stability of quantum information.  ...  This paper is the second part of a series of two articles on quantum computation. If the first part was mostly concerned with the mathematical formalism, here we turn to the programmer's perspective.  ...  to interface between a hardware and a potential programming language.  ... 
doi:10.1007/s00354-012-0120-0 fatcat:bytxx2frejb33au36vvnvxorji

Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata [chapter]

Bishoksan Kafle, John P. Gallagher, José F. Morales
2016 Lecture Notes in Computer Science  
We present Rahft (Refinement of Abstraction in Horn clauses using Finite Tree automata), an abstraction refinement tool for verifying safety properties of programs expressed as Horn clauses.  ...  The paper describes the architecture, strength and weakness, implementation and usage aspects of the tool.  ...  The program in Fig. 1 (a) is a simple but challenging problem for many verification tools. l(X, Y) ≡ X ≥ Y ∧ Y ≥ 0 is a model of the program, whose solution requires the discovery of the invariants X  ... 
doi:10.1007/978-3-319-41528-4_14 fatcat:bi76twhufjct5j3l64vcncgzwi

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  ...  In areas such as medicine where quality of life and the life itself of a patient may be at stake, the ability to make the reasoning process understandable to staff and to change is of a paramount importance  ...  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

Ethics and Artificial life: From Modeling to Moral Agents

John P. Sullins
2005 Ethics and Information Technology  
But even if ALife is merely a computer modeling technique that sheds light on living systems, it still has a number of significant ethical implications such as its use in the modeling of moral and ethical  ...  systems, as well as in the creation of artificial moral agents.  ...  , so there is a great deal of potential to this model.  ... 
doi:10.1007/s10676-006-0003-5 fatcat:buv5zeboxrbe3djtx2gq7h7qpa

Toward Modeling and Automating Ethical Decision Making: Design, Implementation, Limitations, and Responsibilities

Gregory S. Reed, Nicholaos Jones
2012 Topoi  
We use this particular project as a case study for efforts that seek to frame morality in quantitative terms.  ...  We report preliminary results from this research, describing the assumptions and limitations of a program that assesses the relative evil of two courses of action.  ...  The tool, a computer model which we shall refer to as the Metric of Evil, is designed to provide commanders with a tangible ethical viewpoint when analyzing potential courses of action by simulating the  ... 
doi:10.1007/s11245-012-9127-x fatcat:sp4mhi4tibdtddduozwqtkhdc4

Amir Pnueli and the dawn of hybrid systems

Oded Maler
2010 Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10  
He received the Turing Award in 1996 for proposing Temporal Logic as a language for specifying acceptable behaviors of concurrent systems He participated in pioneering efforts to extend verification methodology  ...  to timed and hybrid systems He wrote one of the first CS papers on hybrid automata (phase-transition systems) He was among the founders of HSCC and a member of the steering committee (1998)(1999)(2000  ...  In other words a criterion for classifying event sequences as good or bad A computational model: a formalism for describing the designed system (automata, transition systems, programs) A verification technique  ... 
doi:10.1145/1755952.1755953 dblp:conf/hybrid/Maler10 fatcat:z3r3ii3lcrbwbd6hpurf2qerae

Extending the Calculus of Constructions with Tarski's fix-point theorem [article]

Yves Bertot
2006 arXiv   pre-print
This widens the class of functions that can be modeled in type-theory based theorem proving tool to potentially non-terminating functions.  ...  We propose to use Tarski's least fixpoint theorem as a basis to define recursive functions in the calculus of inductive constructions.  ...  Acknowledgments Benjamin Werner and Hugo Herbelin played a significant role in understanding what form of the axioms of classical logic provide safe extensions of the calculus of constructions.  ... 
arXiv:cs/0610055v1 fatcat:bvuamb63wvhknndm4zgvuxk6au

Data-Driven Dialogue Models: Applying Formal and Computational Tools to the Study of Financial And Moral Dialogues

Olena Yaskorska-Shah
2020 Studies in Logic, Grammar and Rhetoric  
The research project found itself confronted by a need to analyse, structure and formally describe large volumes of textual data, where this called for the application of computational tools.  ...  It is expected that the results of the proposed research will make a contribution to formal systems modelling and the evaluation of communication from the point of view of argument soundness.  ...  The context of debates in The Moral Maze The characteristics of moral debates were investigated using the BBC4 radio program The Moral Maze as a case study.  ... 
doi:10.2478/slgr-2020-0034 fatcat:4jmkbdllqnfyhndxzk2ehj3i5m

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.  ...  to quickly articulate behavior using a UML-like representation of state charts.  ...  Had we adhered to the same FSM computational model, however, we would have seen the number of states increase exponentially according to the cross products of potential states and transitions.  ... 
doi:10.1117/12.500904 fatcat:jbtyvswjanbmxpzpizwiba34ci

Artificial intelligence: looking though the Pygmalion Lens

Karamjit S. Gill
2018 AI & Society: The Journal of Human-Centred Systems and Machine Intelligence  
In the pursuit of a new paradigm of artificial intelligence for common good, we need to reflect on the potential and limits of the dream of the exact language and the limit of digital discourse promoted  ...  Data-driven decision models, in computing predictions of complex and large databases 'may relieve the decision makers of some of the burden; but the danger is that these decision models are often so impressive  ...  This leads to potentially 'horrible' outcomes for humans if the programming is faulty.  ... 
doi:10.1007/s00146-018-0866-0 fatcat:n23vwjphbbg43dw6rfvy4nilym

A critical analysis of the use of computers in education

Michael J. Streibel
1986 ECTJ  
We can therefore understand how many of the chief advocates of the tool use of computers see computer literacy as the abil- ity to “do computing” (Luehrmann, 1981) and see computer programming as the best  ...  Computer Programming and Computer Simulations We can easily see how programming is a paradigm of thinking in the context of the tool use of computers.  ... 
doi:10.1007/bf02768422 fatcat:rgpkxts2c5gmteeifxjja2iqfa

Universal vs. particular reasoning: a study with neuroimaging techniques

V. M. Abrusci, C. Casadio, M. T. Medaglia, C. Porcaro
2013 Logic Journal of the IGPL  
In this paper we explore the question of introducing interaction inside cognition as a general framework on the basis of which to develop an explanation of human reasoning allowing applications in the  ...  The theoretical framework of the proposed research is given by recent formulations of linear logic and ludics (Abrusci 2002, 2009, Casadio 2001, in which particular attention is paid to the intrinsic positive  ...  data, such as the notions of a tool or stability.  ... 
doi:10.1093/jigpal/jzt008 fatcat:in3heigktvba3p6rt33jnbplgq
« Previous Showing results 1 — 15 out of 46,570 results