294 results on '"normative reasoning"'
Search Results
2. Children consider "who" and "what" when reasoning about rule changes: A comparative study of children from two cultures.
- Author
-
Guo, Rui, Li, Dandan, and Zhao, Xin
- Subjects
- *
CHINESE people , *COLLECTIVE labor agreements , *RULES of games , *SOCIOCULTURAL factors , *ADULTS - Abstract
Children's normative knowledge develops early. While prior studies focus on rule compliance and violation, only limited research explores children's views on rule changes, especially in non-Western cultures. This study investigates how Chinese children aged 4–7 (N = 154) reason about rule changes, and compares their responses with US counterparts in the work of Zhao and Kushnir. Chinese children considered both "who" created the rules and "what" consequences the rule changes may bring about when judging changeability. For game rules, like US children, Chinese children considered both individual authority (including adult and peer authority) and collective agreement when judging who can change game rules. Compared to US children, Chinese children more often believe that the adult rule-maker's child could also change the rule. Furthermore, although both Chinese and US children thought one could not change moral rules, Chinese children were less likely than US children to think one could change conventional rules. Exploratory analyses of children's justifications suggest that Chinese children emphasize consequences more than US children when judging whether rules can be changed. This study offers valuable insights into the development of normative reasoning and cultural influences on children's views on rule malleability. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
3. Towards a Distributed Platform for Normative Reasoning and Value Alignment in Multi-agent Systems
- Author
-
Garcia-Bohigues, Miguel, Cordova, Carmengelys, Taverner, Joaquin, Palanca, Javier, del Val, Elena, Argente, Estefania, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Osman, Nardine, editor, and Steels, Luc, editor
- Published
- 2024
- Full Text
- View/download PDF
4. Constrained Derivation in Assumption-Based Argumentation
- Author
-
Buraglio, Giovanni, Dvořák, Wolfgang, Rapberger, Anna, Woltran, Stefan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Meier, Arne, editor, and Ortiz, Magdalena, editor
- Published
- 2024
- Full Text
- View/download PDF
5. Agents Dealing with Norms and Regulations
- Author
-
Kammler, Christian, Mellema, René, Dignum, Frank, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lorig, Fabian, editor, and Norling, Emma, editor
- Published
- 2023
- Full Text
- View/download PDF
6. SoliNomic: A Self-modifying Smart Contract Game Exploring Reflexivity in Law
- Author
-
Ellul, Joshua, Pace, Gordon J., Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, Dingli, Alexiei, editor, Pfeiffer, Alexander, editor, Serada, Alesha, editor, Bugeja, Mark, editor, and Bezzina, Stephen, editor
- Published
- 2022
- Full Text
- View/download PDF
7. Principles and Semantics: Modelling Violations for Normative Reasoning
- Author
-
Colombo Tosatto, Silvano, Governatori, Guido, Rotolo, Antonino, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Rodríguez-Doncel, Víctor, editor, Palmirani, Monica, editor, Araszkiewicz, Michał, editor, Casanovas, Pompeu, editor, Pagallo, Ugo, editor, and Sartor, Giovanni, editor
- Published
- 2021
- Full Text
- View/download PDF
8. A Probabilistic Deontic Logic
- Author
-
de Wit, Vincent, Doder, Dragan, Meyer, John Jules, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Vejnarová, Jiřina, editor, and Wilson, Nic, editor
- Published
- 2021
- Full Text
- View/download PDF
9. Enforcing ethical goals over reinforcement-learning policies.
- Author
-
Neufeld, Emery A., Bartocci, Ezio, Ciabattoni, Agata, and Governatori, Guido
- Abstract
Recent years have yielded many discussions on how to endow autonomous agents with the ability to make ethical decisions, and the need for explicit ethical reasoning and transparency is a persistent theme in this literature. We present a modular and transparent approach to equip autonomous agents with the ability to comply with ethical prescriptions, while still enacting pre-learned optimal behaviour. Our approach relies on a normative supervisor module, that integrates a theorem prover for defeasible deontic logic within the control loop of a reinforcement learning agent. The supervisor operates as both an event recorder and an on-the-fly compliance checker w.r.t. an external norm base. We successfully evaluated our approach with several tests using variations of the game Pac-Man, subject to a variety of “ethical” constraints. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
10. Children’s Awareness of Authority to Change Rules in Various Social Contexts
- Author
-
Zhao, Xin and Kushnir, Tamar
- Subjects
Cognitive Development ,social cognition ,normative reasoning ,authority ,moral development - Abstract
To investigate children’s awareness of authority to changerules, we showed children (ages 4-7) videos of one childplaying a game alone or three children playing a gametogether. In the group video, the game rule was initiated either:by one of the children, by three children collaboratively or byan adult. They then were asked whether the characters in thevideos could change the rules. Children believed that thecharacter could change the rule when playing alone. Theirresponses to the group video depended on how the rule wasinitiated. They attributed authority to change rules only to thechild who initiated the rule, unless the rule was createdcollaboratively. We also asked children whether they couldchange norms (school/moral/artifact norms) in daily life; andfound moral/artifact distinction in children’s endorsement ofnorm changing. These results suggest that children recognizeflexibility in changing rules even in preschool years.
- Published
- 2016
11. Between facts and principles: jurisdiction in international human rights law.
- Author
-
Raible, Lea
- Subjects
- *
HUMAN rights , *JURISPRUDENCE , *EXTERRITORIALITY , *PHILOSOPHY - Abstract
In international human rights law 'jurisdiction' is the centre of the debate on extraterritorial obligations. The purpose of the present paper is to a) analyse how facts and principles contribute to the explanation of jurisdiction in international human rights law and b) to show how this analysis could help sharpen the debate in this area by making the grounds of disagreement between different accounts explicit. It first describes international practice regarding jurisdiction and shows that it is committed to jurisdiction being a principle that responds to facts on the ground. Second, the paper describes two academic views on jurisdiction in detail. Next, it introduces the framework on facts and principles developed by Jerry Cohen. The idea is that facts only support principles if their relevance is explained by another principle that does not depend on facts. Finally, section 4 combines the framework with our insights into jurisdiction. If jurisdiction is best understood as a principle that responds to facts, this implies that jurisdiction cannot be explained by facts alone. It must instead reflect principles that are themselves not fact-dependent. Adhering to this framework allows for better explanation of jurisdiction and a clearer understanding of the different views on jurisdiction. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
12. Individual differences in strategy use and performance during fault diagnosis
- Author
-
Michael Shreeves, Leo Gugerty, and DeWayne Moore
- Subjects
Individual differences ,Normative reasoning ,Fault diagnosis ,Diagnostic reasoning ,Thinking dispositions ,Consciousness. Cognition ,BF309-499 - Abstract
Abstract Background Research on causal reasoning often uses group-level data analyses that downplay individual differences and simple reasoning problems that are unrepresentative of everyday reasoning. In three empirical studies, we used an individual differences approach to investigate the cognitive processes people used in fault diagnosis, which is a complex diagnostic reasoning task. After first showing how high-level fault diagnosis strategies can be composed of simpler causal inferences, we discussed how two of these strategies—elimination and inference to the best explanation (IBE)—allow normative performance, which minimizes the number of diagnostic tests, whereas backtracking strategies are less efficient. We then investigated whether the use of normative strategies was infrequent and associated with greater fluid intelligence and positive thinking dispositions and whether normative strategies used slow, analytic processing while non-normative strategies used fast, heuristic processing. Results Across three studies and 279 participants, uses of elimination and IBE were infrequent, and most participants used inefficient backtracking strategies. Fluid intelligence positively predicted elimination and IBE use but not backtracking use. Positive thinking dispositions predicted avoidance of backtracking. After classifying participants into groups that consistently used elimination, IBE, and backtracking, we found that participants who used elimination and IBE made fewer, but slower, diagnostic tests compared to backtracking users. Conclusions Participants’ fault diagnosis performance showed wide individual differences. Use of normative strategies was predicted by greater fluid intelligence and more open-minded and engaged thinking dispositions. Elimination and IBE users made the slow, efficient responses typical of analytic processing. Backtracking users made the fast, inefficient responses suggestive of heuristic processing.
- Published
- 2020
- Full Text
- View/download PDF
13. Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility.
- Author
-
Glavaničová, Daniela and Pascucci, Matteo
- Subjects
MATHEMATICAL logic ,SEMANTICS ,RESPONSIBILITY ,DEONTIC logic - Abstract
We provide a fine-grained analysis of notions of regret and responsibility (such as agent-regret and individual responsibility) in terms of a language of multimodal logic. This language undergoes a detailed semantic analysis via two sorts of models: (i) relating models, which are equipped with a relation of propositional pertinence, and (ii) synonymy models, which are equipped with a relation of propositional synonymy. We specify a class of strictly relating models and show that each synonymy model can be transformed into an equivalent strictly relating model. Moreover, we define an axiomatic system that captures the notion of validity in the class of all strictly relating models. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
14. How to criticize? On Honneth's method.
- Author
-
Carleheden, Mikael
- Subjects
SOCIAL criticism ,SOCIAL sciences ,NEUTRALITY ,SUBJECTIVITY ,NORMATIVITY (Ethics) ,REASONING - Abstract
This article investigates the meaning and role of social critique in the social sciences. This form of theorizing has always been a significant part of the social sciences. Due to the scientific ideal of value neutrality, however, the manner in which social criticism is conducted is seldom discussed. I claim that the value-neutrality ideal rests on a conception of normative subjectivism that can be challenged by turning to some notion of practical reason. However, there is no need to turn to any strong notion of reason; instead, I use the term 'normative reasoning'. The main question posed in the article then becomes: What is it that we do when we reason in a normative manner in the social sciences? The first part of the article addresses Axel Honneth's 'Grand Social Theory of Modernity' in Freedom's Right. His procedure in the book is treated as a significant case of normative reasoning. I investigate his method of 'reconstruction' by comparing it primarily to the methods of 'construction' and 'genealogy'. The second part of the article is a critical discussion of Honneth's method of normative reasoning. My main criticism is that, despite his intentions, his procedure is overly constructivist in the sense that it prevents a disclosure of ongoing transformations of ethical life. In the conclusion, I argue for a pluralistic methodology; different ways of normative reasoning should be used to solve different kinds of normative problems. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
15. Law's function, descriptive conceptual analysis, and legal positivism: Some methodological qualms.
- Author
-
Rapetti, Pablo A.
- Subjects
DURESS (Law) ,JUDGE-made law ,LEGAL positivism ,NATURAL law - Abstract
Copyright of Revus: Journal for Constitutional Theory & Philosophy of Law is the property of Revus - European Constitutionality Review and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2021
16. Combining Input/Output Logic and Reification for Representing Real-World Obligations
- Author
-
Robaldo, Livio, Humphreys, Llio, Sun, Xin, Cupi, Loredana, Santos, Cristiana, Muthuri, Robert, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Otake, Mihoko, editor, Kurahashi, Setsuya, editor, Ota, Yuiko, editor, Satoh, Ken, editor, and Bekki, Daisuke, editor
- Published
- 2017
- Full Text
- View/download PDF
17. Abductive Logic Programming for Normative Reasoning and Ontologies
- Author
-
Gavanelli, Marco, Lamma, Evelina, Riguzzi, Fabrizio, Bellodi, Elena, Riccardo, Zese, Cota, Giuseppe, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Otake, Mihoko, editor, Kurahashi, Setsuya, editor, Ota, Yuiko, editor, Satoh, Ken, editor, and Bekki, Daisuke, editor
- Published
- 2017
- Full Text
- View/download PDF
18. Revisions of the global multidimensional poverty index: indicator options and their empirical assessment.
- Author
-
Alkire, Sabina and Kanagaratnam, Usha
- Subjects
- *
POVERTY , *CHILD mortality , *POVERTY rate , *HOUSEHOLD surveys - Abstract
This paper examines how normative reasoning was applied to empirical applications of different indicator options in order to revise the global Multidimensional Poverty Index (MPI) indicators in 2018, to better align with the SDGs. Given the emphasis in the SDGs on leaving no one behind, the household surveys used to estimate the global MPI were explored to see which could create individual-level MPIs, however this sharply reduced country coverage by half. Consistent criteria is applied to assess whether 33 potential additional indicators could be added to strengthen the global MPI. A certain set of criteria applied rules out new indicators. Finally, the paper both illustrates and describes the iterative interplay of normative and technical considerations underlying adjustments in three original indicators – child mortality, nutrition, and housing – which involves considering the joint distribution of alternative indicators across twenty trial measures for all countries. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
19. Populating legal ontologies using semantic role labeling.
- Author
-
Humphreys, Llio, Boella, Guido, van der Torre, Leendert, Robaldo, Livio, Di Caro, Luigi, Ghanavati, Sepideh, and Muthuri, Robert
- Subjects
ARTIFICIAL intelligence ,MANAGEMENT of legal documents ,DATA mining ,ONTOLOGIES (Information retrieval) ,SEMANTICS - Abstract
This article seeks to address the problem of the 'resource consumption bottleneck' of creating legal semantic technologies manually. It describes a semantic role labeling based information extraction system to extract definitions and norms from legislation and represent them as structured norms in legal ontologies. The output is intended to help make laws more accessible, understandable, and searchable in a legal document management system. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
20. Question framing effects and the processing of the moral–conventional distinction.
- Author
-
Margoni, Francesco and Surian, Luca
- Subjects
- *
SOCIAL action , *MORAL judgment - Abstract
Prominent theories in moral psychology maintain that a core aspect of moral competence is the ability to distinguish moral norms, which derive from universal principles of justice and fairness, from conventional norms, which are contingent on a specific group consensus. The present study investigated the psychological bases of the moral-conventional distinction by manipulating the framing of the test question, the authority's license, and the historical context. Participants evaluated moral and conventional transgressions by answering an 'okay for you' test question (i.e., judging according to their opinion) or an 'okay in context' test question (i.e., judging by imagining being a contemporary of the story protagonist). In evaluating moral transgressions that happened in a distant context or with the authority's license, most of the participants condemned the violations when responding to the 'okay for you' test question, but did not do so when responding to the 'okay in context' test question. A similar effect of the question framing was found also on scenarios presenting conventional violations suggesting that subtle changes in the framing of the test question can influence people's evaluations of both moral and conventional prototypical transgressions. We propose that these effects indicate the presence of moral and conventional construals of social actions that are highly flexible and context-sensitive. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
21. LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)
- Author
-
Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, and Valeria Zahoransky
- Subjects
Trustworthy and responsible AI ,Knowledge representation and reasoning ,Automated theorem proving ,Model finding ,Normative reasoning ,Normative systems ,Computer applications to medicine. Medical informatics ,R858-859.7 ,Science (General) ,Q1-390 - Abstract
The LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical and legal theories at different conceptual layers. More concretely, it comprises, in form of a dataset (Isabelle/HOL theory files), formal encodings of multiple deontic logics, logic combinations, deontic paradoxes and normative theories in the higher-order proof assistant system Isabelle/HOL. The data were acquired through application of the LogiKEy methodology, which supports experimentation with different normative theories, in different application scenarios, and which is not tied to specific logics or logic combinations. Our workbench consolidates related research contributions of the authors and it may serve as a starting point for further studies and experiments in flexible and expressive ethical and legal reasoning. It may also support hands-on teaching of non-trivial logic formalisms in lecture courses and tutorials.The LogiKEy methodology and framework is discussed in more detail in the companion research article titled “Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support” [5].
- Published
- 2020
- Full Text
- View/download PDF
22. Dischargeable Obligations in the CIFF Framework.
- Author
-
Alberti, Marco, Gavanelli, Marco, Lamma, Evelina, Riguzzi, Fabrizio, Satoh, Ken, Zese, Riccardo, Della Monica, Dario, Murano, Aniello, and Sauro, Luigi
- Subjects
- *
LOGIC programming , *EXPECTATION (Psychology) , *DEONTIC logic , *RESPONSIBILITY , *CONSTRAINT programming - Abstract
Abductive Logic Programming (ALP) has been proven very effective for formalizing societies of agents, commitments and norms, in particular by mapping the most common deontic operators (obligation, prohibition, permission) to abductive expectations. In our previous works, we have shown that ALP is a suitable framework for representing norms. Normative reasoning and query answering were accommodated by the same abductive proof procedure, named CIFF. In this work, we introduce a defeasible flavour in this framework, in order to possibly discharge obligations in some scenarios. Abductive expectations can also be qualified as dischargeable, in the new, extended syntax. Both declarative and operational semantics are improved accordingly, and proof of soundness is given under syntax allowedness conditions Moreover, the dischargement itself might be proved invalid, or incoherent with the rules, due to new knowledge provided later on. In such a case, a discharged expectation might be reinstated and hold again after some evidence is given. We extend the notion of dischargement to take into consideration also the reinstatement of expectations. The expressiveness and power of the extended framework, named CIFF, is shown by modeling and reasoning upon a fragment of the Japanese Civil Code. In particular, we consider a case study concerning manifestations of intention and their rescission (Section II of the Japanese Civil Code). [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
23. Defeasible normative reasoning.
- Author
-
Spohn, Wolfgang
- Subjects
DECISION theory ,DEONTIC logic ,REASONING ,ACCOUNTING ,SYLLOGISM - Abstract
The paper is motivated by the need of accounting for the practical syllogism as a piece of defeasible reasoning. To meet the need, the paper first refers to ranking theory as an account of defeasible descriptive reasoning. It then argues that two kinds of ought need to be distinguished, purely normative and fact-regarding obligations (in analogy to intrinsic and extrinsic utilities). It continues arguing that both kinds of ought can be iteratively revised and should hence be represented by ranking functions, too, just as iteratively revisable beliefs. Its central proposal will then be that the fact-regarding normative ranking function must be conceived as the sum of a purely normative ranking function and an epistemic ranking function (as suggested in qualitative decision theory). The distinctions defends this proposal with a comparative discussion of some critical examples and some other distinctions made in the literature. It gives a more rigorous justification of this proposal. Finally, it starts developing the logic of purely normative and of fact-regarding normative defeasible reasoning, points to the difficulties of completing the logic of the fact-regarding side, but reaches the initial aim of accounting for the defeasible nature of the practical syllogism. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
24. A Proposal for Modelling Agrifood Chains as Multi Agent Systems
- Author
-
Croitoru, Madalina, Buche, Patrice, Charnomordic, Brigitte, Fortin, Jerome, Jones, Hazael, Neveu, Pascal, Symeonidou, Danai, Thomopoulos, Rallou, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Liu, Ting, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Carvalho, Joao Paulo, editor, Lesot, Marie-Jeanne, editor, Kaymak, Uzay, editor, Vieira, Susana, editor, Bouchon-Meunier, Bernadette, editor, and Yager, Ronald R., editor
- Published
- 2016
- Full Text
- View/download PDF
25. A Simulation Model of Intra-organisational Conflict Regulation in the Crime World
- Author
-
Lotzmann, Ulf, Neumann, Martin, Bertino, Elisa, Series editor, Cioffi-Revilla, Claudio, Series editor, Foster, Jacob, Series editor, Gilbert, Nigel, Series editor, Golbeck, Jennifer, Series editor, Gonçalves, Bruno, Series editor, Kitts, James A., Series editor, Liebovitch, Larry, Series editor, Matei, Sorin A., Series editor, Nijholt, Anton, Series editor, Nowak, Andrzej, Series editor, Savit, Robert, Series editor, Squazzoni, Flaminio, Series editor, Vinciarelli, Alessandro, Series editor, Elsenbroich, Corinna, editor, and Anzola, David, editor
- Published
- 2016
- Full Text
- View/download PDF
26. Dialectical Proof Procedures for Probabilistic Abstract Argumentation
- Author
-
Thang, Phan Minh, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Baldoni, Matteo, editor, Chopra, Amit K., editor, Son, Tran Cao, editor, Hirayama, Katsutoshi, editor, and Torroni, Paolo, editor
- Published
- 2016
- Full Text
- View/download PDF
27. Chapter 27 Recent Developments in Legal Logic
- Author
-
Grossi, Davide, Rotolo, Antonino, Pattaro, Enrico, editor, and Roversi, Corrado, editor
- Published
- 2016
- Full Text
- View/download PDF
28. Probabilistic Deontic Logics for Reasoning about Uncertain Norms
- Author
-
de Wit, Vincent, Doder, Dragan, Meyer, John-Jules, de Wit, Vincent, Doder, Dragan, and Meyer, John-Jules
- Abstract
In this article, we present a proof-theoretical and model-theoretical approach to probabilistic logic for reasoning about uncertainty about normative state- ments. We introduce two logics with languages that extend both the language of monadic deontic logic and the language of probabilistic logic. The first logic allows statements like “the probability that one is obliged to be quiet is at least 0.9”. The second logic allows iteration of probabilities in the language. We axiomatize both logics, provide the corresponding semantics and prove that the axiomatizations are sound and complete. We also prove that both logics are decidable. In addition, we show that the problem of deciding satisfiability for the simpler of our two logics is in PSPACE, no worse than that of deontic logic.
- Published
- 2023
29. Utilizing Permission Norms in BDI Practical Normative Reasoning
- Author
-
Alrawagfeh, Wagdi, Meneguzzi, Felipe, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ghose, Aditya, editor, Oren, Nir, editor, Telang, Pankaj, editor, and Thangarajah, John, editor
- Published
- 2015
- Full Text
- View/download PDF
30. Introduction: Philosophy and Child Poverty
- Author
-
Schweiger, Gottfried, Graf, Gunter, Schweiger, Gottfried, and Graf, Gunter
- Published
- 2015
- Full Text
- View/download PDF
31. Philosophical Constructivism and Critical Constructivism Combined: Kratochwil’s Account of the Conditions of Practical Reasoning and the Rawlsian Conception of Public Reason
- Author
-
O’Loughlin, Antony and O’Loughlin, Antony
- Published
- 2014
- Full Text
- View/download PDF
32. Introduction: The ‘Enormous Creative Potential of Practical Reason’
- Author
-
O’Loughlin, Antony and O’Loughlin, Antony
- Published
- 2014
- Full Text
- View/download PDF
33. Neglected Functions of Normative Political Theory in Empirical Research
- Author
-
von Beyme, Klaus, AFES-PRESS, Dr. Dr. D. AFES-PRESS AFES-PRESS, Series editor, and von Beyme, Klaus
- Published
- 2014
- Full Text
- View/download PDF
34. Detecting Deontic Conflicts in Dynamic Settings
- Author
-
Colombo Tosatto, Silvano, Governatori, Guido, Kelsen, Pierre, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Tanaka, Yuzuru, editor, Wahlster, Wolfgang, editor, Siekmann, Jörg, editor, Cariani, Fabrizio, editor, Grossi, Davide, editor, Meheus, Joke, editor, and Parent, Xavier, editor
- Published
- 2014
- Full Text
- View/download PDF
35. Sequent-Based Argumentation for Normative Reasoning
- Author
-
Straßer, Christian, Arieli, Ofer, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Tanaka, Yuzuru, editor, Wahlster, Wolfgang, editor, Siekmann, Jörg, editor, Cariani, Fabrizio, editor, Grossi, Davide, editor, Meheus, Joke, editor, and Parent, Xavier, editor
- Published
- 2014
- Full Text
- View/download PDF
36. 'Sing and Dance!' : Input/Output Logics without Weakening
- Author
-
Parent, Xavier, van der Torre, Leendert, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Tanaka, Yuzuru, editor, Wahlster, Wolfgang, editor, Siekmann, Jörg, editor, Cariani, Fabrizio, editor, Grossi, Davide, editor, Meheus, Joke, editor, and Parent, Xavier, editor
- Published
- 2014
- Full Text
- View/download PDF
37. Norm Compliance for Reinforcement Learning Agents
- Author
-
Neufeld, Emeric Alexander
- Subjects
Ethical AI ,Normative Reasoning ,Deontic Logic ,Reinforcement Learning - Abstract
With the impending advent of AI technologies that are deeply embedded in daily life -- such as autonomous vehicles, elder care robots, and robot nannies -- comes a natural apprehension over whether they can integrate smoothly with human society. From these concerns arises a question: can we impose norms -- be they ethical, legal, or social -- on these technologies while preserving the effectiveness of their performance? This proves a difficult question to answer in the presence of machine learning technologies, which are notoriously opaque and unpredictable. Reinforcement learning (RL) is a powerful machine learning technique geared toward teaching autonomous agents goal-directed behaviour in stochastic environments through a utility function. RL agents have proven capable of exhibiting complex behaviours on par with or beyond the abilities of expert human agents, and have also been a subject of interest for machine ethicists; it has been conjectured by many that RL might prove capable of delivering a positive answer to the above question. Indeed, there are already many attempts to implement an ``ethical agent'' with RL. However, these attempts largely ignore the complexities and idiosyncrasies of normative reasoning. Normative reasoning is the purview of the diverse field of Deontic Logic -- the logic of obligations and related notions -- which has yet to receive a meaningful place in the literature on ``ethical'' RL agents. In the following work, we will explore how RL can fall short of the goal of producing an ethical (or rather, normatively compliant) agent; this includes even more powerful developments like safe RL under linear temporal logic (LTL) constraints, due to the limits of LTL as a logic for normative reasoning. Even so, we provide a method for synthesizing LTL specifications that reflect the constraints deducible from certain normative systems. We will then present an alternative framework for imposing normative constraints from the perspective of altering the internal processes of an RL agent to ensure behaviour that complies (as much as possible) with a normative system. To actuate this process, we propose a module called the Normative Supervisor, which facilitates the translation of data from the agent and a normative system into a defeasible deontic logic, leveraging a theorem prover to provide recommendations and judgements to the agent. This allows us to present Online Compliance Checking (OCC) and Norm-Guided Reinforcement Learning (NGRL) for eliciting normatively compliant behaviour from an RL agent. OCC involves, in each state, filtering out from the agent's arsenal actions that do not comply with a normative system in that state, preventing the agent from taking actions that violate the normative system. When no compliant actions exist, a ``lesser evil'' solution is presented. In NGRL, the agent is trained with two objectives; its original task and a normative objective borne out in a utility function that punishes the agent when it transgresses the normative system. We show through a thorough series of experiments on RL agents playing simple computer games -- constrained by the wide variety of normative systems that we present-- that these techniques are effective, albeit flawed, and best utilized in tandem.
- Published
- 2023
- Full Text
- View/download PDF
38. A Logical Analysis of Normative Reasoning: Agency, Action, and Argumentation
- Author
-
Van Berkel, Cornelis Lambertus Johannes
- Subjects
Normative reasoning ,Deontic logic ,Logical argumentation ,Knowledge representation ,Modal logic ,Action logic ,Nonmonotonic logic ,Explainable AI ,Proof theory ,Logical formalization - Abstract
In this thesis, employ logic to increase our understanding of normative reasoning. We do this by including agents in our formal analysis. Norms are inextricably linked to agents: they provide reasons to act and influence how we shape our world. Nevertheless, agentive aspects are often abstracted away, yielding oversimplified formalisms and understudied themes. Recent developments in Artificial Intelligence (AI) have created novel challenges for the logical study of normative reasoning. This thesis addresses several of these topics by assigning a pivotal position to agents. The conducted research is interdisciplinary, drawing from methods in philosophy, logic, and AI. The thesis comprises three parts: (I) agency, (II) action, and (III) argumentation. In Part I, we investigate how obligations impact the choices of agents. To do so, we adopt and extend the agency logic of ‘Seeing To It That’ (STIT). We formally investigate the limits of contrary-to-duty reasoning when reasoning about choices and obligations over time. Furthermore, we conduct a comprehensive logical study of the principle of Ought implies Can and its relation to other normative reasoning principles. In Part II, we study ways in which obligations and prohibitions promote the actions performed by agents. We formally analyze instrumentality statements, which express actions as instruments for attaining ends. Furthermore, we apply our formalism to an ancient theory in Sanskrit philosophy that reduces obligations to instrumentality statements. In Part III, we investigate explanations in the context of defeasible normative reasoning. We develop a sequent-style proof-theoretic approach tailored to generating explanatory arguments and show how these arguments can be used in formal argumentation to create explanations. Furthermore, we develop a general, nonmonotonic proof-theoretic formalism that incorporates argumentative concepts like attack and defense, and extend it to defeasible normative reasoning.
- Published
- 2023
- Full Text
- View/download PDF
39. Normative Agents
- Author
-
Luck, Michael, Mahmoud, Samhar, Meneguzzi, Felipe, Kollingbaum, Martin, Norman, Timothy J., Criado, Natalia, Fagundes, Moser Silva, and Ossowski, Sascha, editor
- Published
- 2013
- Full Text
- View/download PDF
40. Deontic Logic
- Author
-
Broersen, Jan, Gabbay, Dov, Herzig, Andreas, Lorini, Emiliano, Meyer, John-Jules, Parent, Xavier, van der Torre, Leendert, and Ossowski, Sascha, editor
- Published
- 2013
- Full Text
- View/download PDF
41. Social Constraint
- Author
-
Neumann, Martin, Edmonds, Bruce, editor, and Meyer, Ruth, editor
- Published
- 2013
- Full Text
- View/download PDF
42. A Deontic Action Logic for Complex Actions
- Author
-
Dong, Huimin, Li, Xiaowu, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Grossi, Davide, editor, Roy, Olivier, editor, and Huang, Huaxin, editor
- Published
- 2013
- Full Text
- View/download PDF
43. Computing Temporal Defeasible Logic
- Author
-
Governatori, Guido, Rotolo, Antonino, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Morgenstern, Leora, editor, Stefaneas, Petros, editor, Lévy, François, editor, Wyner, Adam, editor, and Paschke, Adrian, editor
- Published
- 2013
- Full Text
- View/download PDF
44. Simulating Social Behaviour Implementing Agents Endowed with Values and Drives
- Author
-
Di Tosto, Gennaro, Dignum, Frank, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Giardini, Francesca, editor, and Amblard, Frédéric, editor
- Published
- 2013
- Full Text
- View/download PDF
45. Soft Deontic Logic
- Author
-
Ausín, Txetxu, Peña, Lorenzo, Seising, Rudolf, editor, and Sanz González, Veronica, editor
- Published
- 2012
- Full Text
- View/download PDF
46. Towards Practical Normative Agents: A Framework and an Implementation for Norm-Aware Planning
- Author
-
Panagiotidi, Sofia, Vázquez-Salceda, Javier, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Cranefield, Stephen, editor, van Riemsdijk, M. Birna, editor, Vázquez-Salceda, Javier, editor, and Noriega, Pablo, editor
- Published
- 2012
- Full Text
- View/download PDF
47. An Architectural Model for Autonomous Normative Agents
- Author
-
dos Santos Neto, Baldoino F., da Silva, Viviane Torres, de Lucena, Carlos J. P., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, Series editor, Siekmann, Jörg, Series editor, Wahlster, Wolfgang, Series editor, Barros, Leliane N., editor, Finger, Marcelo, editor, Pozo, Aurora T., editor, Gimenénez-Lugo, Gustavo A., editor, and Castilho, Marcos, editor
- Published
- 2012
- Full Text
- View/download PDF
48. Logics for Security and Privacy
- Author
-
van der Torre, Leendert, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Cuppens-Boulahia, Nora, editor, Cuppens, Frédéric, editor, and Garcia-Alfaro, Joaquin, editor
- Published
- 2012
- Full Text
- View/download PDF
49. Deon + : Abduction and Constraints for Normative Reasoning
- Author
-
Alberti, Marco, Gavanelli, Marco, Lamma, Evelina, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Artikis, Alexander, editor, Craven, Robert, editor, Kesim Çiçekli, Nihan, editor, Sadighi, Babak, editor, and Stathis, Kostas, editor
- Published
- 2012
- Full Text
- View/download PDF
50. Between facts and principles: jurisdiction in international human rights law
- Author
-
Lea Raible
- Subjects
Extraterritoriality ,International human rights law ,Human rights ,Jurisdiction ,Normative reasoning ,media_common.quotation_subject ,Political science ,Law ,media_common - Abstract
In international human rights law ‘jurisdiction’ is the centre of the debate on extraterritorial obligations. The purpose of the present paper is to a) analyse how facts and principles contribute to the explanation of jurisdiction in international human rights law and b) to show how this analysis could help sharpen the debate in this area by making the grounds of disagreement between different accounts explicit. It first describes international practice regarding jurisdiction and shows that it is committed to jurisdiction being a principle that responds to facts on the ground. Second, the paper describes two academic views on jurisdiction in detail. Next, it introduces the framework on facts and principles developed by Jerry Cohen. The idea is that facts only support principles if their relevance is explained by another principle that does not depend on facts. Finally, section 4 combines the framework with our insights into jurisdiction. If jurisdiction is best understood as a principle that responds to facts, this implies that jurisdiction cannot be explained by facts alone. It must instead reflect principles that are themselves not fact-dependent. Adhering to this framework allows for better explanation of jurisdiction and a clearer understanding of the different views on jurisdiction.
- Published
- 2021
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.