11 found
Order:
  1. Two-Phase Deontic Logic.Leon Van der Torre & Yao-hua Tan - 2000 - Logique Et Analyse 43 (171-172).
  2.  7
    Value-Based Argumentation for Justifying Compliance.Brigitte Burgemeestre, Joris Hulstijn & Yao-Hua Tan - 2011 - Artificial Intelligence and Law 19 (2-3):149-186.
    Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures. This system-based control requires a new approach to auditing in which companies must demonstrate to the regulator that they are ‘in control’. They must determine the relevance of a regulation for their business, justify which set of control measures they have taken to comply with it, and demonstrate that the control measures are operationally effective. In this paper we show how value-based argumentation (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  13
    Two-Phase Deontic Logic.Leendert Van der Torre & Yao-Hua Tan - 2000 - Logique Et Analyse 43 (171–172):411-456.
  4.  10
    Diagnosis and Decision Making in Normative Reasoning.Leendert W. N. Van Der Torre & Yao-Hua Tan - 1999 - Artificial Intelligence and Law 7 (1):51-67.
    Diagnosis theory reasons about incomplete knowledge and only considers the past. It distinguishes between violations and non-violations. Qualitative decision theory reasons about decision variables and considers the future. It distinguishes between fulfilled goals and unfulfilled goals. In this paper we formalize normative diagnoses and decisions in the special purpose formalism DIO(DE)2 as well as in extensions of the preference-based deontic logic PDL. The DIagnostic and DEcision-theoretic framework for DEontic reasoning DIO(DE)2 formalizes reasoning about violations and fulfillments, and is used to (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  23
    Designing for Trust: A Case of Value-Sensitive Design.E. Vermaas Pieter, Tan Yao-Hua, van den Hoven Jeroen, Burgemeestre Brigitte & Hulstijn Joris - 2010 - Knowledge, Technology and Policy 23 (3-4):491-505.
    In this paper, we consider the meaning, roles, and uses of trust in the economic and public domain, focusing on the task of designing systems for trust in information technology. We analyze this task by means of a survey of what trust means in the economic and public domain, using the model proposed by Lewicki and Bunker, and using the emerging paradigm of value-sensitive design. We explore the difficulties developers face when designing information technology for trust and show how our (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  6.  5
    Friedman's Permanent Income Hypothesis as an Example of Diagnostic Reasoning.Maarten C. W. Janssen & Yao-Hua Tan - 1992 - Economics and Philosophy 8 (1):23.
    Many recent developments in artificial intelligence research are relevant for traditional issues in the philosophy of science. One of the developments in AI research we want to focus on in this article is diagnostic reasoning, which we consider to be of interest for the theory of explanation in general and for an understanding of explanatory arguments in economic science in particular. Usually, explanation is primarily discussed in terms of deductive inferences in classical logic. However, in recent AI research it is (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  31
    Is Default Logic a Reinvention of Inductive-Statistical Reasoning?Yao-Hua Tan - 1997 - Synthese 110 (3):357-379.
    Currently there is hardly any connection between philosophy of science and Artificial Intelligence research. We argue that both fields can benefit from each other. As an example of this mutual benefit we discuss the relation between Inductive-Statistical Reasoning and Default Logic. One of the main topics in AI research is the study of common-sense reasoning with incomplete information. Default logic is especially developed to formalise this type of reasoning. We show that there is a striking resemblance between inductive-statistical reasoning and (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  8.  8
    Value-Based Argumentation for Designing and Auditing Security Measures.Brigitte Burgemeestre, Joris Hulstijn & Yao-Hua Tan - 2013 - Ethics and Information Technology 15 (3):153-171.
    Designing security measures often involves trade-offs between various types of objectives. Multiple stakeholders may have conflicting demands and may have different ideas on how to resolve the resulting design conflicts. This paper reports on an application of value-sensitive design. Based on argumentation theory and social values, the paper develops a structured approach for discussing design conflicts, called value-based argumentation. The application domain examined in the paper is concerned with physical safety and security issues that arise in cross-border shipments. We first (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9.  6
    Diagnosis and Decision Making in Normative Reasoning.Leendert W. N. Torre & Yao-Hua Tan - 1999 - Artificial Intelligence and Law 7 (1).
    Diagnosis theory reasons about incomplete knowledge and only considers the past. It distinguishes between violations and non-violations. Qualitative decision theory reasons about decision variables and considers the future. It distinguishes between fulfilled goals and unfulfilled goals. In this paper we formalize normative diagnoses and decisions in the special purpose formalism DIO2 as well as in extensions of the preference-based deontic logic PDL. The DIagnostic and DEcision-theoretic framework for DEontic reasoning DIO2 formalizes reasoning about violations and fulfillments, and is used to (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  2
    Designing for Trust: A Case of Value-Sensitive Design.Pieter E. Vermaas, Yao-Hua Tan, Jeroen Hoven, Brigitte Burgemeestre & Joris Hulstijn - 2010 - Knowledge, Technology and Policy 23 (3-4):491-505.
    In this paper, we consider the meaning, roles, and uses of trust in the economic and public domain, focusing on the task of designing systems for trust in information technology. We analyze this task by means of a survey of what trust means in the economic and public domain, using the model proposed by Lewicki and Bunker, and using the emerging paradigm of value-sensitive design. We explore the difficulties developers face when designing information technology for trust and show how our (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Two-Phase Deontic Logic.Leon Torre & Yao-hua Tan - 2000 - Logique Et Analyse 43.