Logical consequences. Theory and applications: An introduction.

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications

A logical framework for democratic decision-making: epistemic logic and liquid democracy

Since Hintikka’s epistemic logic, the logic of knowledge, has been a subject of research in philosophy, computer science, artificial intelligence and game theory. This paper presents a framework of dynamic epistemic logic capable of investigating interactive voting decisions in liquid democracy

Autonomous Visual Navigation A Biologically Inspired Approach

Inspired by the navigational behavior observed in the animal kingdom and especially the navigational behavior of the ants, we attempt to simulate it in an artificial environment by implementing different kinds of biomimetic algorithms.Comment: 57 pages, 39 figures, Computer Science & Artificial Intelligence Dissertation, University of Susse

Herbert Simon (1916-2001). The scientist of the artificial

With the disappearance of Herbert A. Simon, we have lost one of the most original thinkers of the 20th century. Highly influential in a number of scientific fields—some of which he actually helped create, such as artificial intelligence or information-processing psychology—Simon was a true polymath. His research started in management science and political science, later encompassed operations research, statistics and economics, and finally included computer science, artificial intelligence, psychology, education, philosophy of science, biology, and the sciences of design. His often controversial ideas earned him wide scientific recognition and essentially all the top awards of the fields in which he researched, including the Turing award from the Association of Computing Machinery, with Allen Newell, in 1975, the Nobel prize in economics, in 1978, and the Gold Medal Award for Psychological Science from the American Psychological Foundation, in 1988

Word Identification According to Syllabic Property

Natural Language Processing (NLP) is a field of computer science, artificial intelligence and computational linguistics that concerned with the interactions between computers and natural languages. With developing computer technologies and social networks, researching natural languages such as machine translation, content summarization and information retrieval become most studied fields of NLP. To make a general solution for a problem, it is important to classify words and find out the category of language. In this paper, according to syllabic property of Uyghur words, a simple Uyghur word identification approach has been suggested

A Review of the Management of Eye Diseases Using Artificial Intelligence, Machine Learning, and Deep Learning in Conjunction with Recent Research on Eye Health Problems: Eye Microbiome

In the field of computer science, Artificial Intelligence can be considered one of the branches that study the development of algorithms that mimic certain aspects of human intelligence. Over the past few years, there has been a rapid advancement in the technology of computer-aided diagnosis (CAD). This in turn has led to an increase in the use of deep learning methods in a variety of applications. For us to be able to understand how AI can be used in order to recognize eye diseases, it is crucial that we have a deep understanding of how AI works in its core concepts. This paper aims to describe the most recent and applicable uses of artificial intelligence in the various fields of ophthalmology disease