English
Related papers

Related papers: KI, Philosophie, Logik

200 papers

Despite the availability of vast amounts of data, legal data is often unstructured, making it difficult even for law practitioners to ingest and comprehend the same. It is important to organise the legal information in a way that is useful…

Artificial Intelligence · Computer Science 2024-05-24 Aniket Deroy , Naksatra Kumar Bailung , Kripabandhu Ghosh , Saptarshi Ghosh , Abhijnan Chakraborty

Artificial intelligence systems exhibit many useful capabilities, but they appear to lack understanding. This essay describes how we could go about constructing a machine capable of understanding. As John Locke (1689) pointed out words are…

Artificial Intelligence · Computer Science 2024-05-06 Herbert L. Roitblat

This research paper examines, from a multidimensional perspective (cognitive, social, ethical, and philosophical), how AI is transforming human thought. It highlights a cognitive offloading effect: the externalization of mental functions to…

Computers and Society · Computer Science 2025-08-26 Rénald Gesnot

This is a very basic introduction to some notions related to logic and complexity.

Logic · Mathematics 2007-05-23 Stephen Semmes

The application of "machine learning" and "artificial intelligence" has become popular within the last decade. Both terms are frequently used in science and media, sometimes interchangeably, sometimes with different meanings. In this work,…

Machine Learning · Computer Science 2020-04-10 Niklas Kühl , Marc Goutier , Robin Hirt , Gerhard Satzger

Relentless progress in artificial intelligence (AI) is increasingly raising concerns that machines will replace humans on the job market, and perhaps altogether. Eliezer Yudkowski and others have explored the possibility that a promising…

Computers and Society · Computer Science 2016-02-12 Max Tegmark

We attempt to define what is necessary to construct an Artificial Scientist, explore and evaluate several approaches to artificial general intelligence (AGI) which may facilitate this, conclude that a unified or hybrid approach is necessary…

Artificial Intelligence · Computer Science 2024-04-30 Michael Timothy Bennett , Yoshihiro Maruyama

Artificial Intelligence (AI) logic formalizes the reasoning of intelligent agents. In this paper, we discuss how an argumentation-based AI logic could be used also to formalize important aspects of social reasoning. Besides reasoning about…

Artificial Intelligence · Computer Science 2021-10-12 Huimin Dong , Réka Markovich , Leendert van der Torre

With the astounding progress in (generative) artificial intelligence (AI), there has been significant public discourse regarding regulation and ethics of the technology. Is it sufficient when humans discuss this with other humans? Or, given…

Computers and Society · Computer Science 2025-04-22 Maria Fay , Frederik F. Flöther

Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms…

Computers and Society · Computer Science 2018-04-11 Gaetano Geck , Artur Ljulin , Sebastian Peter , Jonas Schmidt , Fabian Vehlken , Thomas Zeume

This paper offers a phenomenological reading of contemporary machine learning through Heideggerian concepts, aimed at enriching practitioners' reflexive understanding of their own practice. We argue that this philosophical lens reveals…

Computers and Society · Computer Science 2026-02-25 Heman Shakeri

Of primary importance in formulating a response to the increasing prevalence and power of artificial intelligence (AI) applications in society are questions of ontology. Questions such as: What "are" these systems? How are they to be…

Computers and Society · Computer Science 2019-03-11 Scott H. Hawley

A multi-decade exploration into the theoretical foundations of artificial and natural general intelligence, which has been expressed in a series of books and papers and used to guide a series of practical and research-prototype software…

Artificial Intelligence · Computer Science 2021-04-06 Ben Goertzel

Artificial Intelligence began as a field probing some of the most fundamental questions of science - the nature of intelligence and the design of intelligent artifacts. But it has grown into a discipline that is deeply entwined with…

Computers and Society · Computer Science 2013-07-29 Piyush Ahuja

Logicians study and apply a multiplicity of various logical systems. Consequently, there is necessity to build foundations and common grounds for all these systems. This is done in metalogic. Like metamathematics studies formalized…

Logic · Mathematics 2007-05-23 Mark Burgin

The unification of logic and probability is a long-standing concern in AI, and more generally, in the philosophy of science. In essence, logic provides an easy way to specify properties that must hold in every possible world, and…

Artificial Intelligence · Computer Science 2020-06-18 Vaishak Belle

This is a translation into English of my Masters thesis (hovedoppgave) from 1991. The main topic of the thesis is the relation between fundamental physics and philosophy, and a discussion of several possible ontologies of quantum field…

History and Philosophy of Physics · Physics 2020-12-01 Jon-Ivar Skullerud

Recent progress in artificial intelligence provides the opportunity to ask the question of what is unique about human intelligence, but with a new comparison class. I argue that we can understand human intelligence, and the ways in which it…

Artificial Intelligence · Computer Science 2020-09-30 Thomas L. Griffiths

This paper proposes a research direction to advance AI which draws inspiration from cognitive theories of human decision making. The premise is that if we gain insights about the causes of some human capabilities that are still lacking in…

In this paper, I put forward that in many instances, thinking mechanisms are equivalent to artificial intelligence modules programmed into the human mind.

Artificial Intelligence · Computer Science 2013-11-05 Michael Swan Laufer
‹ Prev 1 3 4 5 6 7 10 Next ›