KI, Philosophie, Logik

Karl Schlechta

DOI: https://doi.org/10.48550/arXiv.1901.00365

2018-12-27

Abstract:This is a short (and personal) introduction in German to the connections between artificial intelligence, philosophy, and logic, and to the author's work. Dies ist eine kurze (und persoenliche) Einfuehrung in die Zusammenhaenge zwischen Kuenstlicher Intelligenz, Philosophie, und Logik, und in die Arbeiten des Autors.

Artificial Intelligence

What problem does this paper attempt to address?

On Interdisciplinary Studies of a New Generation of Artificial Intelligence and Logic

Liao Beishui

DOI: https://doi.org/10.1080/02529203.2022.2122207

2022-01-01

Social Sciences in China

Abstract:A new generation of artificial intelligence (NGAI), currently based on big data and machine learning, follows a path of connectionism. Although this path achieves huge success in data-intensive applications under closed environments, there are some bottleneck problems, including a lack of explainability, the difficulty of ethical alignment, the weakness of cognitive reasoning, etc. To address these problems inevitably involves the depiction of information from an open, dynamic and real environment and the modeling of human reasoning and explanation mechanisms. Formal argumentation is a general formalism for modeling various types of knowledge representation and reasoning in a context of disagreement, and is flexible enough to incorporate other types of knowledge for decisionmaking, such as preferences, weights, and probabilities. Meanwhile, there are various approaches for efficient computation of argumentation semantics by exploiting the locality and modularity of argumentation, and for providing explanations based on arguments and dialogues. The organic combination of formal argumentation with existing big data and machine learning techniques can be expected to break through some existing technical bottlenecks and facilitate the sustainable development of NGAI.
An Introduction to Logics of Knowledge and Belief

Hans van Ditmarsch,Joseph Y. Halpern,Wiebe van der Hoek,Barteld Kooi

DOI: https://doi.org/10.48550/arXiv.1503.00806

2015-03-03

Abstract:This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature.

Artificial Intelligence,Logic in Computer Science
An Introduction to Artificial Intelligence Discussions in Contemporary Philosophy of Mind: The Imitation Game and The Chinese Room Argument

Merve KOYUNCU

DOI: https://doi.org/10.30627/cuilah.1156366

2022-09-27

Çukurova Üniversitesi İlahiyat Fakültesi Dergisi (ÇÜİFD)

Abstract:This study aims to explain how the field of artificial intelligence came to the fore in philosophy while it was a technical discipline. The main claim of the study is that with Alan Turing's the imitation game, the field of artificial intelligence has turned into a field that aims to imitate human mental capacities through language skills. Artificial intelligence is a branch of computer science that deals with producing machines or systems that produce intelligent outputs. This area; It was born interactively with the fields of logic, mathematics and engineering. It has been associated with different disciplines with the stages it has gone through after its beginning. One of these disciplines is philosophy. This study aims to make an introduction to the subject of artificial intelligence from the perspective of contemporary philosophy of mind. The fact that the subject of artificial intelligence came to the fore in the field of philosophy in the study, "Can machines think?" It is presented through Alan Turing's imitation game, which discusses the question. In this context, the philosophical beginning of artificial intelligence discussions can be based on the comparison of machines and humans over language skills. Some criticisms have been presented to the test in question. One of them is John. R. Searle's Chinese room is the argument. It is aimed to evaluate the subject of artificial intelligence from a philosophical point of view by presenting the arguments mentioned in the study.
Advancing Logic in AI: Insights from the LNGAI 2021 Workshop

Beishui Liao,Fenrong Liu,Leendert van der Torre,Yi Zhou

DOI: https://doi.org/10.1093/logcom/exae001

2024-01-01

Journal of Logic and Computation

Abstract:Journal Article Advancing Logic in AI: insights from the LNGAI 2021 Workshop Get access Beishui Liao, Beishui Liao School of Philosophy, Zhejiang University, Hangzhou, 310058, China; The State Key Lab of Brain-Machine Intelligence, Hangzhou, 310058, China Corresponding author: baiseliao@zju.edu.cn Search for other works by this author on: Oxford Academic Google Scholar Fenrong Liu, Fenrong Liu Department of Philosophy, Tsinghua University, Beijing, 100084, China Search for other works by this author on: Oxford Academic Google Scholar Leendert van der Torre, Leendert van der Torre Department of Computer Science, University of Luxembourg, L-4365, Esch-sur-Alzette, Luxembourg Search for other works by this author on: Oxford Academic Google Scholar Yi Zhou Yi Zhou School of Information Science and Technology, University of Science and Technology of China, HeFei, 230026, China Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, exae001, https://doi.org/10.1093/logcom/exae001 Published: 24 January 2024 Article history Received: 02 January 2024 Revision received: 02 January 2024 Accepted: 02 January 2024 Published: 24 January 2024
Making AI Intelligible: Philosophical Foundations

Herman Cappelen,Josh Dever

DOI: https://doi.org/10.1093/oso/9780192894724.001.0001

2024-06-12

Abstract:Can humans and artificial intelligences share concepts and communicate? 'Making AI Intelligible' shows that philosophical work on the metaphysics of meaning can help answer these questions. Herman Cappelen and Josh Dever use the externalist tradition in philosophy to create models of how AIs and humans can understand each other. In doing so, they illustrate ways in which that philosophical tradition can be improved. The questions addressed in the book are not only theoretically interesting, but the answers have pressing practical implications. Many important decisions about human life are now influenced by AI. In giving that power to AI, we presuppose that AIs can track features of the world that we care about (for example, creditworthiness, recidivism, cancer, and combatants). If AIs can share our concepts, that will go some way towards justifying this reliance on AI. This ground-breaking study offers insight into how to take some first steps towards achieving Interpretable AI.

Artificial Intelligence
KI Made in Europe

Alicia Sommerfeld

DOI: https://doi.org/10.1515/rhet-2022-0006

2022-12-09

Rhetorik

Abstract:The way new media technologies such as Artificial Intelligence (AI) are implemented in our cultures is not only configured by technologies themselves, but also by circulating narratives, appropriations, and rhetorics. This article takes on the topic of AI rhetorics, using the example of mass media's depiction of the role Germany and Europe play regarding these new technologies. It does so by (1) discussing the current state of Critical Algorithm Studies research, (2) presenting the results of a case study of German newspaper articles, and (3) reflecting on starting points for an applied rhetoric. In public discourse, AI systems are – implicitly – framed as being uncircumventable for our cultures, and specific issues that they entail appear to be unambiguous at first glance. Based on my findings, I contend that there is a pressing need for differentiated studies on AI rhetorics, just as much as there is a need for rhetorically educated subjects to shape our collective futures and conceive of new utopias.
Fairness in KI-Systemen

Janine Strotherm,Alissa Müller,Barbara Hammer,Benjamin Paaßen

DOI: https://doi.org/10.1007/978-3-658-43816-6_9

2024-10-14

Abstract:The more AI-assisted decisions affect people's lives, the more important the fairness of such decisions becomes. In this chapter, we provide an introduction to research on fairness in machine learning. We explain the main fairness definitions and strategies for achieving fairness using concrete examples and place fairness research in the European context. Our contribution is aimed at an interdisciplinary audience and therefore avoids mathematical formulation but emphasizes visualizations and examples. -- Je mehr KI-gestützte Entscheidungen das Leben von Menschen betreffen, desto wichtiger ist die Fairness solcher Entscheidungen. In diesem Kapitel geben wir eine Einführung in die Forschung zu Fairness im maschinellen Lernen. Wir erklären die wesentlichen Fairness-Definitionen und Strategien zur Erreichung von Fairness anhand konkreter Beispiele und ordnen die Fairness-Forschung in den europäischen Kontext ein. Unser Beitrag richtet sich dabei an ein interdisziplinäres Publikum und verzichtet daher auf die mathematische Formulierung sondern betont Visualisierungen und Beispiele.

Machine Learning,Computers and Society
Generative Künstliche Intelligenz

Jürgen Buder,Marlit Lindner,Uwe Oestermeier,Markus Huff,Peter Gerjets,Sonja Utz,Ulrike Cress

DOI: https://doi.org/10.1026/0033-3042/a000699

2024-09-27

Psychologische Rundschau

Abstract:Zusammenfassung: Generative KI (Künstliche Intelligenz) hat mit der Veröffentlichung von Transformer-Modellen wie GPT enorme Entwicklungssprünge vollzogen. Dieses Positionspapier identifiziert zwei Kerneigenschaften generativer KI: die Breite der Einsatzfelder sowie die Fähigkeit, menschenähnlichen Output zu kreieren. Darauf aufbauend diskutiert dieser Beitrag mögliche Implikationen für die psychologische Forschung in drei Feldern. Erstens etabliert sich ein Forschungsfeld, welches die Eigenschaften von generativer KI aus psychologischer Sicht untersucht. Dieses Feld ist vor allem durch die Frage geprägt, inwieweit Output und Verhalten von generativer KI als „menschenähnlich“ zu betrachten sind. Zweitens kommt der Psychologie eine besondere Rolle zu, die Auswirkungen von generativer KI auf den Menschen einzuschätzen. Dies betrifft Fragen der Täuschung bei der Rezeption von Informationen, Zuschreibungen von Kompetenz und Wärme bei der menschlichen Bewertung von generativer KI, sowie die Potenziale von generativer KI, wissensbezogene Prozesse in der Interaktion mit Menschen zu fördern. Drittens schließlich wird generative KI wahrscheinlich auch den psychologischen Forschungsprozess selbst verändern. Wir diskutieren mögliche Einsatzbereiche, aber auch klare Limitationen (z. B. generative KI als vollständiges Surrogat für Versuchspersonen). In allen drei Forschungsfeldern ist der Dualismus zwischen dem Fehlen eines Verständnisses von Sprache, gekoppelt mit der verblüffenden Fähigkeit, menschenähnliche Sprache (re)‍produzieren zu können, zugleich Herausforderung und Anreiz für psychologische Forschung.

psychology, multidisciplinary
Mind and Machine: A Philosophical Examination of Matt Carter’s “Minds & Computers: An Introduction to the Philosophy of Artificial Intelligence”

Tripathi RL*

DOI: https://doi.org/10.23880/oajda-16000143

2024-01-01

Abstract:In his book “Minds and Computers: An Introduction to the Philosophy of Artificial Intelligence”, Matt Carter presents a comprehensive exploration of the philosophical questions surrounding artificial intelligence (AI). Carter argues that the development of AI is not merely a technological challenge but fundamentally a philosophical one. He delves into key issues like the nature of mental states, the limits of introspection, the implications of memory decay, and the functionalist framework that allows for the possibility of AI. Carter contrasts functionalism with reductive materialism, highlighting how the former accommodates the concept of artificial minds. He also emphasizes the significance of computationalism, which combines functionalism with computational theory to provide a robust explanation for mental processes. The book further discusses formal systems, the role of register machines in computation, and the inherent challenges in AI research, particularly in developing natural languag processing systems. Carter’s work underscores the limitations of current computational models of cognition while remaining hopeful that advances in neuroscience may lead to stronger AI systems in the future. This book provides critical insights for researchers in AI and cognitive science, motivating further inquiry into the philosophical foundations of artificial intelligence and its practical implications.
Kiel evoluas interlingvistiko? Kompara studo

haitao liu

DOI: https://doi.org/10.1075/lplp.23.1.04kie

1999-01-01

Abstract:SUMMARY A comparison of two major German-language monographs on interlinguistics sheds light on the common basis of the discipline and on its two major theoretical orientations, the sociological and the linguistic. Although interlinguistics properly includes the scientific study and systematic improvement of international linguistic communication in general, the creation and use of planned languages (international auxiliary languages) remains its chief object of research. ZUSAMMENFASSUNG Ein Vergleich von zwei großen deutschsprachigen Monographien über Interlinguistik beleuchtet die gemeinsamen Grundlagen der Disziplin und ihre zwei wichtigsten theoretischen Richtungen, die soziologische und die linguistische. Obgleich die Interlinguistik eigentlich die wissenschaftliche Untersuchung und systematische Verbesserung der internationalen sprachlichen Kommunikation im allgemeinen einschlieBt, bleibt die Schaffung und Verwendung von Plansprachen (internationale Hilfssprachen) ihr wichtigster Forschungsgegenstand.
Consciousness and Automated Reasoning

Ulrike Barthelmeß,Ulrich Furbach,Claudia Schon

DOI: https://doi.org/10.48550/arXiv.2001.09442

2020-07-22

Abstract:This paper aims at demonstrating how a first-order logic reasoning system in combination with a large knowledge base can be understood as an artificial consciousness system. For this we review some aspects from the area of philosophy of mind and in particular Tononi's Information Integration Theory (IIT) and Baars' Global Workspace Theory. These will be applied to the reasoning system Hyper with ConceptNet as a knowledge base within a scenario of commonsense and cognitive reasoning. Finally we demonstrate that such a system is very well able to do conscious mind wandering.

Artificial Intelligence
Was ist eine Professur fuer Kuenstliche Intelligenz?

Kristian Kersting,Jan Peters,Constantin Rothkopf

DOI: https://doi.org/10.48550/arXiv.1903.09516

2019-02-17

Abstract:The Federal Government of Germany aims to boost the research in the field of Artificial Intelligence (AI). For instance, 100 new professorships are said to be established. However, the white paper of the government does not answer what an AI professorship is at all. In order to give colleagues, politicians, and citizens an idea, we present a view that is often followed when appointing professors for AI at German and international universities. We hope that it will help to establish a guideline with internationally accepted measures and thus make the public debate more informed.

Other Computer Science,Artificial Intelligence
AI & Law, Logic and Argument Schemes

Henry Prakken

DOI: https://doi.org/10.1007/s10503-005-4418-7

2005-12-01

Argumentation

Abstract:This paper reviews the history of AI & Law research from the perspective of argument schemes. It starts with the observation that logic, although very well applicable to legal reasoning when there is uncertainty, vagueness and disagreement, is too abstract to give a fully satisfactory classification of legal argument types. It therefore needs to be supplemented with an argument-scheme approach, which classifies arguments not according to their logical form but according to their content, in particular, according to the roles that the various elements of an argument can play. This approach is then applied to legal reasoning, to identify some of the main legal argument schemes. It is also argued that much AI & Law research in fact employs the argument-scheme approach, although it usually is not presented as such. Finally, it is argued that the argument-scheme approach and the way it has been employed in AI & Law respects some of the main lessons to be learnt from Toulmin’s The Uses of Argument.

communication,linguistics
Problems in AI, their roots in philosophy, and implications for science and society

Max Velthoven,Eric Marcus

2024-07-22

Abstract:Artificial Intelligence (AI) is one of today's most relevant emergent technologies. In view thereof, this paper proposes that more attention should be paid to the philosophical aspects of AI technology and its use. It is argued that this deficit is generally combined with philosophical misconceptions about the growth of knowledge. To identify these misconceptions, reference is made to the ideas of the philosopher of science Karl Popper and the physicist David Deutsch. The works of both thinkers aim against mistaken theories of knowledge, such as inductivism, empiricism, and instrumentalism. This paper shows that these theories bear similarities to how current AI technology operates. It also shows that these theories are very much alive in the (public) discourse on AI, often called Bayesianism. In line with Popper and Deutsch, it is proposed that all these theories are based on mistaken philosophies of knowledge. This includes an analysis of the implications of these mistaken philosophies for the use of AI in science and society, including some of the likely problem situations that will arise. This paper finally provides a realistic outlook on Artificial General Intelligence (AGI) and three propositions on A(G)I and philosophy (i.e., epistemology).

Artificial Intelligence,Emerging Technologies,Human-Computer Interaction
Artificial Intelligence and Legal Personality: Introducing “Teilrechtsfähigkeit”: A Partial Legal Status Made in Germany

Jan-Erik Schirmer

DOI: https://doi.org/10.1007/978-3-030-32361-5_6

2019-11-30

Abstract:What exactly are intelligent agents in legal terms? Are we just looking at sophisticated objects? Or should such systems be treated as legal persons, somewhat similar to humans? In this article I will argue in favor of a ‘halfway’ or ‘in-between’ status that the German civil law has to offer: Teilrechtsfähigkeit, a status of partial legal subjectivity based on certain legal capabilities. When applied, intelligent agents would be treated as legal subjects as far as this status followed their function as sophisticated servants. This would both deflect the ‘autonomy risk’ and fill most of the ‘responsibility gaps’ without the negative side effects of full legal personhood. However, taking into consideration the example of animals, it is unlikely that courts will recognize Teilrechtsfähigkeit for intelligent agents on their own. This calls for the lawmaker to come up with a slight push, which I call the ‘reversed animal rule’: It should be made clear by statute that intelligent agents are not persons, yet that they can still bear certain legal capabilities consistent with their serving function.
Dürfen Maschinen denken (können)? Warum Künstliche Intelligenz eine Ethik braucht. (Are Machines Allowed to (be able to) Think? Why Artificial Intelligence Needs Ethics)

Karsten Wendland

DOI: https://doi.org/10.48550/arXiv.2208.07402

2022-08-15

Computers and Society

Abstract:Speech manuscript (German + English) of the impulse lecture for the panel discussion "May machines (be able to) think?" at the 102nd Katholikentag on May 28, 2022 in Stuttgart. Panel: Winfried Kretschmann (MdL, Prime Minister Baden-W\"urttemberg, Stuttgart), Ursula Nothelle-Wildfeuer (Freiburg), Michael Resch (Stuttgart),Karsten Wendland (Aalen). Moderation: Stefanie Rentsch (Fulda). Advocate of the audience: Verena Neuhausen (Stuttgart).
Real Sparks of Artificial Intelligence and the Importance of Inner Interpretability

Alex Grzankowski

2024-02-01

Abstract:The present paper looks at one of the most thorough articles on the intelligence of GPT, research conducted by engineers at Microsoft. Although there is a great deal of value in their work, I will argue that, for familiar philosophical reasons, their methodology, !Blackbox Interpretability"#is wrongheaded. But there is a better way. There is an exciting and emerging discipline of !Inner Interpretability"#(and specifically Mechanistic Interpretability) that aims to uncover the internal activations and weights of models in order to understand what they represent and the algorithms they implement. In my view, a crucial mistake in Black-box Interpretability is the failure to appreciate that how processes are carried out matters when it comes to intelligence and understanding. I can#t pretend to have a full story that provides both necessary and sufficient conditions for being intelligent, but I do think that Inner Interpretability dovetails nicely with plausible philosophical views of what intelligence requires. So the conclusion is modest, but the important point in my view is seeing how to get the research on the right track. Towards the end of the paper, I will show how some of the philosophical concepts can be used to further refine how Inner Interpretability is approached, so the paper helps draw out a profitable, future two-way exchange between Philosophers and Computer Scientists.

Artificial Intelligence
On logic and generative AI

Yuri Gurevich,Andreas Blass

2024-09-22

Abstract:A hundred years ago, logic was almost synonymous with foundational studies. The ongoing AI revolution raises many deep foundational problems involving neuroscience, philosophy, computer science, and logic. The goal of the following dialog is to provoke young logicians with a taste for foundations to notice the foundational problems raised by the AI revolution.

Artificial Intelligence,Logic in Computer Science
Multi-Valued Logics as an Advanced Basis for Artificial Intelligence (As an Example of Applied Philosophy)

Oleg GABRIELYAN,Elizaveta VITULYOVA,Ibragim SULEIMENOV

DOI: https://doi.org/10.24234/wisdom.v21i1.721

2022-03-28

wisdom

Abstract:It is shown that the creation of artificial intelligence systems, gradually approaching human intelligence, cannot be limited by binary logic and the classical interpretation of the category of truth. The nature of human thinking is variable, which requires the use of flexible algorithmic platforms that operate with multivalued logic. It is shown that the existing approaches to the interpretation of the essence of intelligence, going back to the Turing test, are not consistent. More adequate is a criterion built on the ability of the intellect to lie, including creative particulars. It is shown that using multi-valued logic is a promising tool for constructing the algorithmic basis of artificial intelligence. It is shown that the use of just such logic is of interest from the point of view of studying self-organization processes in a telecommunication environment, resulting in the appearance of “spontaneous intelligence”, too. An analogue of such intelligence, for example, is the phenomenon of bureaucracy. It is shown that the question of the essence of the intellect is a prerequisite for the further development of non-trivial logical systems since the functioning of the intellect cannot be reduced to the operations of classical formal logic.

KI, Philosophie, Logik

On Interdisciplinary Studies of a New Generation of Artificial Intelligence and Logic

An Introduction to Logics of Knowledge and Belief

An Introduction to Artificial Intelligence Discussions in Contemporary Philosophy of Mind: The Imitation Game and The Chinese Room Argument

Advancing Logic in AI: Insights from the LNGAI 2021 Workshop

Making AI Intelligible: Philosophical Foundations

KI Made in Europe

Fairness in KI-Systemen

Generative Künstliche Intelligenz

Mind and Machine: A Philosophical Examination of Matt Carter’s “Minds & Computers: An Introduction to the Philosophy of Artificial Intelligence”

Kiel evoluas interlingvistiko? Kompara studo

Consciousness and Automated Reasoning

Was ist eine Professur fuer Kuenstliche Intelligenz?

AI & Law, Logic and Argument Schemes

Problems in AI, their roots in philosophy, and implications for science and society

Artificial Intelligence and Legal Personality: Introducing “Teilrechtsfähigkeit”: A Partial Legal Status Made in Germany

Dürfen Maschinen denken (können)? Warum Künstliche Intelligenz eine Ethik braucht. (Are Machines Allowed to (be able to) Think? Why Artificial Intelligence Needs Ethics)

Real Sparks of Artificial Intelligence and the Importance of Inner Interpretability

On logic and generative AI

Multi-Valued Logics as an Advanced Basis for Artificial Intelligence (As an Example of Applied Philosophy)