Le Nozze di Giustizia. Interactions between Artificial Intelligence, Law, Logic, Language and Computation with some case studies in Traffic Regulations and Health Care

• URL: http://arxiv.org/abs/2402.06487v1
• Date: Fri, 9 Feb 2024 15:43:31 GMT
• Title: Le Nozze di Giustizia. Interactions between Artificial Intelligence, Law, Logic, Language and Computation with some case studies in Traffic Regulations and Health Care
• Authors: Joost J. Joosten and Manuela Montoya Garc\'ia
• Abstract summary: An important aim of this paper is to convey some basics of mathematical logic to the legal community working with Artificial Intelligence. After analysing what AI is, we decide to delimit ourselves to rule-based AI leaving Neural Networks and Machine Learning aside. We will see how mathematical logic interacts with legal rule-based AI practice.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: An important aim of this paper is to convey some basics of mathematical logic to the legal community working with Artificial Intelligence. After analysing what AI is, we decide to delimit ourselves to rule-based AI leaving Neural Networks and Machine Learning aside. Rule based AI allows for Formal methods which are described in a rudimentary form. We will then see how mathematical logic interacts with legal rule-based AI practice. We shall see how mathematical logic imposes limitations and complications to AI applications. We classify the limitations and interactions between mathematical logic and legal AI in three categories: logical, computational and mathematical. The examples to showcase the interactions will largely come from European traffic regulations. The paper closes off with some reflections on how and where AI could be used and on basic mechanisms that shape society.

Related papers

• AI for Mathematics: A Cognitive Science Perspective [86.02346372284292]
  Mathematics is one of the most powerful conceptual systems developed and used by the human species. Rapid progress in AI, particularly propelled by advances in large language models (LLMs), has sparked renewed, widespread interest in building such systems.
  arXiv  Detail & Related papers  (2023-10-19T02:00:31Z)
• Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc [0.0]
  Generative AI, the most popular current approach to AI, consists of large language models (LLMs) that are trained to produce outputs that are plausible, but not necessarily correct. We discuss an alternative approach to AI which could theoretically address many of the limitations associated with current approaches.
  arXiv  Detail & Related papers  (2023-07-31T16:29:28Z)
• Mathematics, word problems, common sense, and artificial intelligence [0.0]
  We discuss the capacities and limitations of current artificial intelligence (AI) technology to solve word problems that combine elementary knowledge with commonsense reasoning. We review three approaches that have been developed, using AI natural language technology. We argue that it is not clear whether these kinds of limitations will be important in developing AI technology for pure mathematical research.
  arXiv  Detail & Related papers  (2023-01-23T21:21:39Z)
• Fairness in Agreement With European Values: An Interdisciplinary Perspective on AI Regulation [61.77881142275982]
  This interdisciplinary position paper considers various concerns surrounding fairness and discrimination in AI, and discusses how AI regulations address them. We first look at AI and fairness through the lenses of law, (AI) industry, sociotechnology, and (moral) philosophy, and present various perspectives. We identify and propose the roles AI Regulation should take to make the endeavor of the AI Act a success in terms of AI fairness concerns.
  arXiv  Detail & Related papers  (2022-06-08T12:32:08Z)
• Cybertrust: From Explainable to Actionable and Interpretable AI (AI2) [58.981120701284816]
  Actionable and Interpretable AI (AI2) will incorporate explicit quantifications and visualizations of user confidence in AI recommendations. It will allow examining and testing of AI system predictions to establish a basis for trust in the systems' decision making.
  arXiv  Detail & Related papers  (2022-01-26T18:53:09Z)
• A User-Centred Framework for Explainable Artificial Intelligence in Human-Robot Interaction [70.11080854486953]
  We propose a user-centred framework for XAI that focuses on its social-interactive aspect. The framework aims to provide a structure for interactive XAI solutions thought for non-expert users.
  arXiv  Detail & Related papers  (2021-09-27T09:56:23Z)
• Automation: An Essential Component Of Ethical AI? [0.6445605125467572]
  Ethics is sometimes considered to be too abstract to be meaningfully implemented in artificial intelligence (AI) In this paper, we reflect on other aspects of computing that were previously considered to be very abstract. We wonder if ethical AI might be similarly achieved and advocate the process of automation as key step in making AI take ethical decisions.
  arXiv  Detail & Related papers  (2021-03-29T16:25:58Z)
• Mediating Community-AI Interaction through Situated Explanation: The Case of AI-Led Moderation [32.50902508512016]
  We theorize how explanation is situated in a community's shared values, norms, knowledge, and practices. We then present a case study of AI-led moderation, where community members collectively develop explanations of AI-led decisions.
  arXiv  Detail & Related papers  (2020-08-19T00:13:12Z)
• Machine Common Sense [77.34726150561087]
  Machine common sense remains a broad, potentially unbounded problem in artificial intelligence (AI) This article deals with the aspects of modeling commonsense reasoning focusing on such domain as interpersonal interactions.
  arXiv  Detail & Related papers  (2020-06-15T13:59:47Z)
• Towards AI Forensics: Did the Artificial Intelligence System Do It? [2.5991265608180396]
  We focus on AI that is potentially malicious by design'' and grey box analysis. Our evaluation using convolutional neural networks illustrates challenges and ideas for identifying malicious AI.
  arXiv  Detail & Related papers  (2020-05-27T20:28:19Z)
• Learning from Learning Machines: Optimisation, Rules, and Social Norms [91.3755431537592]
  It appears that the area of AI that is most analogous to the behaviour of economic entities is that of morally good decision-making. Recent successes of deep learning for AI suggest that more implicit specifications work better than explicit ones for solving such problems.
  arXiv  Detail & Related papers  (2019-12-29T17:42:06Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.