Results 1 to 10 of about 692,148 (292)
Automated argument adjudication to solve ethical problems in multi-agent environments
Paladyn, 2021 Suppose an artificial agent aadj{a}_{\text{adj}}, as time unfolds, (i) receives from multiple artificial agents (which may, in turn, themselves have received from yet other such agents…) propositional content, and (ii) must solve an ethical problem on ...
Bringsjord Selmer +2 more
doaj +1 more source
On Quantified Modal Theorem Proving for Modeling Ethics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In the last decade, formal logics have been used to model a wide range of ethical theories and principles with the goal of using these models within autonomous systems.
Naveen Sundar Govindarajulu +2 more
doaj +1 more source
Entanglement—A Higher Order Symmetry
Physical Sciences Forum, 2023 Can we accurately model the spin state of a quantum particle? If so, we should be able to make identical copies of such a state and also obtain its mirror image.
Paul O’Hara
doaj +1 more source
Utterer Meaning, Misunderstanding, and Cultural Knowledge
Languages, 2022 All versions of Grice’s theory of utterer meaning couch success in terms of stressing the hearer’s ability to recognize what is intended. This ties naturally to the cooperative principle and the maxims of conversation.
Christopher W. Tindale
doaj +1 more source
Pragmatics in the False-Belief Task: Let the Robot Ask the Question!
Frontiers in Psychology, 2020 The poor performances of typically developing children younger than 4 in the first-order false-belief task “Maxi and the chocolate” is analyzed from the perspective of conversational pragmatics.
Jean Baratgin +11 more
doaj +1 more source
Explainable online health information truthfulness in Consumer Health Search
Frontiers in Artificial Intelligence, 2023 IntroductionPeople are today increasingly relying on health information they find online to make decisions that may impact both their physical and mental wellbeing.
Rishabh Upadhyay +3 more
doaj +1 more source
Termination Analysis of Single Path Loop Programs Based on Iterative Trajectory Division [PDF]
Jisuanji kexue, 2023 The ranking function has been extensively studied as an important method of program termination analysis.In this paper,we focus on the termination of single-path loops.Firstly,the concept of two-way iterative loops is proposed,and the single-path loops ...
WANG Yao, LI Yi
doaj +1 more source
seIMC: A GSW-Based Secure and Efficient Integer Matrix Computation Scheme With Implementation
IEEE Access, 2020 As atomic operations, secure matrix-based computations using homomorphic encryption (HE) have attracted much attention in cloud-based machine learning. However, most existing secure matrix computation solutions that focus on HE schemes suffer efficiency ...
Yanan Bai +4 more
doaj +1 more source
Frontiers in Computational Neuroscience, 2021 The emerging topic of privacy-preserving deep learning as a service has attracted increasing attention in recent years, which focuses on building an efficient and practical neural network prediction framework to secure client and model-holder data ...
Yanan Bai +5 more
doaj +1 more source
Reasoning about others' reasoning
Journal of Economic Theory, 2020 The authors acknowledge financial support from the Spanish Ministerio de Economía y Competitividad, through the Severo Ochoa Programme for Centres of Excellence in R&D (CEX2019-000915-S). Larbi Alaoui acknowledges financial support from the Ministerio de Economía y Competitividad (grant number PGC2018-098949-B-I00) and the Ministerio de Ciencia e ...
Alaoui, Larbi +2 more
openaire +2 more sources