Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important (...) issues of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management. (shrink)

Provides an integrated introduction to artificial intelligence. Develops AI representation schemes and describes their uses for diverse applications, from autonomous robots to diagnostic assistants to infobots. DLC: Artificial intelligence.

In economics there are several complex learning themes and tasks connected with them difficult for deeper understanding of the learning subject. These are the reasons originating serious learning problems for students in the form of Virtual Environment because deeper understanding requires high level mathematical skills. Actually the most important feature for discerning this part of economics is the set of qualitative shapes emerging in discrete dynamic systems when they are undergoing iterations and/or experimentation with parameters and initial coordinates of variables. (...) Among such shapes there are: - trajectories in evolving time; - trajectories in R2 of two variables; - cobweb portraits; - one control parameter bifurcation with first and/or with second variables; - two control parameters bifurcation in R2 ; - cycles; - basin of attraction of two variables; - one Lyapunov’s exponent against some of control parameters; - Lyapunov’s exponents with two control parameters in R2; - absorbing area with possibility to create critical curves and/or attractors. The hope is that products of computational intelligence may help them solve such problems. Naturally, the meant complex economic problems and tasks have discrete, qualitative and nonlinear nature resulting in increased level of difficulties. So with the term used in the head of this paper one has to understand narrowly: “qualitative nonlinear computational economics”. For better understanding the very nature of the problem we are using as appropriate example actual simulation of the model of new ICT products monopolies in virtual laboratory built in the routines setting dominantly in the software iDMC. (shrink)

Machine awareness is a disputed research topic, in some circles considered a crucial step in realising Artificial General Intelligence. Understanding what that is, under which conditions such feature could arise and how it can be controlled is still a matter of speculation. A more concrete object of theoretical analysis is algorithmic iteration for computational intelligence, intended as the theoretical and practical ability of algorithms to design other algorithms for actions aimed at solving well-specified tasks. We know this ability (...) is already shown by current AIs, and understanding its limits is an essential step in qualifying claims about machine awareness and Super-AI. We propose a formal translation of algorithmic iteration in a fragment of modal logic, formulate principles of transparency and faithfulness across human and machine intelligence, and consider the relevance to theoretical research on -AI as well as the practical import of our results. (shrink)

The unprecedented opportunities for experiments in complexity presented by the first modern computers in the late 1940's raised hopes in early computer scientists (eg. John von Neumann and Alan Turing) that the ability to think, our greatest asset in our dealings with the world, might soon be understood well enough to be duplicated. Success in such an endeavor would extend mankind's mind in the same way that the development of energy machinery extended his muscles.

The book written by top experts in CI provides such clear directions and the much-needed focus on the most important and challenging research issues, showing a ...

This is a copy of the Proceedings version of a paper presented at the Workshop on Computational Intelligence and Semiotics, organized by João Queiroz and Ricardo Gudwin, held at Itaú Cultural, São Paulo, Brazil, on 8-9 October, 2002. (This version contains material not actually delivered at the conference.) Queiroz and Gudwin will be releasing the Proceedings volume on a..

Intelligent Tutoring Systems (ITS) has a wide influence on the exchange rate, education, health, training, and educational programs. In this paper we describe an intelligent tutoring system that helps student study computer networks. The current ITS provides intelligent presentation of educational content appropriate for students, such as the degree of knowledge, the desired level of detail, assessment, student level, and familiarity with the subject. Our Intelligent tutoring system was developed using ITSB authoring tool for building ITS. A preliminary evaluation (...) of the ITS was done by a group of students and teachers. The results were acceptable. (shrink)

Intelligent tutoring system (ITS) is a computer system which aims to provide immediate and customized or reactions to learners, usually without the intervention of human teacher's instructions. Secretariats professional to have the common goal of learning a meaningful and effective manner through the use of a variety of computing technologies enabled. There are many examples of professional Secretariats used in both formal education and in professional settings that have proven their capabilities. There is a close relationship between private lessons (...) intelligent, cognitive learning and design theories; and there are ongoing to improve the effectiveness of ITS research. And it aims to find a solution to the problem of over-reliance on students' teachers for quality education. The program aims to provide access to high-quality education to every student, and therefore the reform of the education system as a whole. In this paper, we will use Intelligent Tutoring System Builder (ITSB) to build an education system on cloud computing in terms of the concept of cloud computing and components and how to take advantage of cloud computing in the field. (shrink)

In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner according (...) to the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)

Linguistics. Artificial intelligence. Related fields. Computation.

Visual inspections have been typically used in condition assessment of infrastructure. However, they are based on human judgment and their interpretation of data can differ from acquired results. In psychology, this difference is called cognitive bias which directly affects Structural Health Monitoring -based decision making. Besides, the confusion between condition state and safety of a bridge is another example of cognitive bias in bridge monitoring. Therefore, integrated computer-based approaches as powerful tools can be significantly applied in SHM systems. This (...) paper explores the relationship between the use of advanced computational intelligence and the development of SHM solutions through conducting an infrastructure monitoring methodology. Artificial Intelligence -based algorithms, i.e., Artificial Neural Network, hybrid ANN-based Imperial Competitive Algorithm, and hybrid ANN-based Genetic Algorithm, are developed for damage assessment using a lab-scale composite bridge deck structure. Based on the comparison of the results, the employed evolutionary algorithms could improve the prediction error of the pre-developed network by enhancing the learning procedure of the ANN. (shrink)

Understanding students’ psychological pressure and bad emotional reaction can solve psychological problems as soon as possible and avoid affecting students’ normal study life. With the improvement of global scientific and technological strength, and the step-by-step in-depth research on deep learning and computational intelligence optimization. Now, we have enough conditions to build a psychological and emotional data set for the field of education, and build a mental health stress detection model with emotional analysis function. In addition, a variety of experimental (...) methods are used for comparison, which shows the superior performance of the model in practical application scenarios. The results show that: the data set constructed for the model is reasonable. Psychological stress test shows that the tested college students are in good health and have no positive performance. Schools need to pay special attention to obsessive–compulsive disorder and interpersonal sensitivity, and the average values of both indicators are higher than 0.9. For the optimization of ant colony algorithm computational intelligence, both the stability and the average execution time of the algorithm are obviously higher than those of other algorithms. This model has obvious performance advantages after using this algorithm. Using loss function value to measure the difference between simulated emotion analysis and real value. The difference of most emotion tests is less than 3%; the accuracy difference between sadness and fear is about 7%. Although the final results prove the feasibility of this method, there are still some shortcomings to be optimized. (shrink)

I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...) the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words. The new form of the problem can be described in terms of a game which we call the 'imitation game." It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart front the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A." The interrogator is allowed to put questions to A and B. We now ask the question, "What will happen when a machine takes the part of A in this game?" Will the interrogator decide wrongly as often when the game is played like this as he does when the game is played between a man and a woman? These questions replace our original, "Can machines think?". (shrink)

The paper describes the design of an intelligent tutoring system for teaching Introduction to Computer Science-a compulsory curriculum in Al-Azhar University of Gaza to students who attend the university. The basic idea of this system is a systematic introduction into computer science. The system presents topics with examples. The system is dynamically checks student's individual progress. An initial evaluation study was done to investigate the effect of using the intelligent tutoring system on the performance of students enrolled in (...) computer science curriculum at Al-Azhar University, Gaza. The results showed a positive impact on the evaluators. (shrink)

River water pollution by wastewater can cause significant negative impact on the aquatic sustainability. Hence, accurate modeling of this complicated system and its cost-effective treatment and reuse decision is very important because this optimization process is related to economic expenditure, societal health, and environmental deterioration. In order to optimize this complex system, we may consider three treatment or reuse options such as microscreening filtration, nitrification, and fertilization-oriented irrigation on top of two existing options such as settling and biological oxidation. The (...) objective of this environmental optimization is to minimize the economic expenditure of life cycle costs while satisfying the public health standard in terms of groundwater quality and the environmental standard in terms of river water quality. Particularly, this study improves existing optimization model by pinpointing the critical deficit location of dissolved oxygen sag curve by using analytic differentiation. Also, the proposed formulation considers more practical constraints such as maximal size of irrigation area and minimal amount of filtration treatment process. The results obtained by using an evolutionary algorithm, named a parameter-setting-free harmony search algorithm, show that the proposed model successfully finds optimal solutions while conveniently locating the critical deficit point. (shrink)

Computers can mimic human intelligence, sometimes quite impressively. This has led some to claim that, a.) computers can actually acquire intelligence, and/or, b.) the human mind may be thought of as a very sophisticated computer. In this paper I argue that neither of these inferences are sound. The human mind and computers, I argue, operate on radically different principles.

IN SEPTEMBER 1957, Herbert Simon, a pioneer in cognitive simulation, predicted that within ten years, i.e., by now, a computer would be world chess champion and would prove an important mathematical theorem. This prediction was based on Simon's early initial success in writing a program that could play legal chess and one able to prove simple theorems in logic and geometry. But the early successes turned out to be based on the solution of problems that were simple for machines, (...) and further progress turned out to be more and more difficult, until recently it has begun to be obvious to interested observers, and even to some workers in the field, that the original optimism of Simon and company was unfounded. (shrink)

According to the conventional wisdom, Turing said that computing machines can be intelligent. I don't believe it. I think that what Turing really said was that computing machines –- computers limited to computing –- can only fake intelligence. If we want computers to become genuinelyintelligent, we will have to give them enough “initiative” to do more than compute. In this paper, I want to try to develop this idea. I want to explain how giving computers more ``initiative'' can allow (...) them to do more than compute. And I want to say why I believe that they will have to go beyond computation before they can become genuinely intelligent. (shrink)

I do not wish at this time to dispute either or. I do not believe, however, that the intermediate step can be adequately justified, and hence remain unconvinced by the purported conclusion. The most recent presentation of this argument is in Professor Dreyfus' article "Why Computers must have Bodies in order to be Intelligent," a discussion of which will serve to explain my lack of confidence in any argument of this general form.

As AI Systems become increasingly autonomous, they are expected to engage in decision-making processes that have moral implications. In this research we integrate theoretical and empirical lines of thought to address the matters of moral reasoning and moral uncertainty in AI Systems. We reconceptualize the metanormative framework for decision-making under moral uncertainty and we operationalize it through a latent class choice model. The core idea being that moral heterogeneity in society can be codified in terms of a small number of (...) classes with distinct moral preferences and that this codification can be used to express moral uncertainty of an AI. Choice analysis allows for the identification of classes and their moral preferences based on observed choice data. Our reformulation of the metanormative framework is theory-rooted and practical in the sense that it avoids runtime issues in real time applications. To illustrate our approach we conceptualize a society in which AI Systems are in charge of making policy choices. While one of the systems uses a baseline morally certain model, the other uses a morally uncertain model. We highlight cases in which the AI Systems disagree about the policy to be chosen, thus illustrating the need to capture moral uncertainty in AI systems. (shrink)

Abstract: Networking is one of the most important areas currently used for data transfer and enterprise management. It also includes the security aspect that enables us to protect our network to prevent hackers from accessing the organization's data. In this paper, we would like to learn what the network is and how it works. And what are the basics of the network since its emergence and know the mechanism of action components. After reading this paper - even if you do (...) not have a general background on networking - you will be able to manage your own network and be able to distribute and control your ip. (shrink)

This volume traces the modern critical and performance history of this play, one of Shakespeare's most-loved and most-performed comedies. The essay focus on such modern concerns as feminism, deconstruction, textual theory, and queer theory.

During 2018, as part of a research project funded by the Deviant Practice Grant, artist Bruno Moreschi and digital media researcher Gabriel Pereira worked with the Van Abbemuseum collection (Eindhoven, NL), reading their artworks through commercial image-recognition (computer vision) artificial intelligences from leading tech companies. The main takeaways were: somewhat as expected, AI is constructed through a capitalist and product-focused reading of the world (values that are embedded in this sociotechnical system); and that this process of using AI is (...) an innovative way for doing institutional critique, as AI offers an untrained eye that reveals the inner workings of the art system through its glitches. This paper aims to regard these glitches as potentially revealing of the art system, and even poetic at times. We also look at them as a way of revealing the inherent fallibility of the commercial use of AI and machine learning to catalogue the world: it cannot comprehend other ways of knowing about the world, outside the logic of the algorithm. But, at the same time, due to their “glitchy” capacity to level and reimagine, these faulty readings can also serve as a new way of reading art; a new way for thinking critically about the art image in a moment when visual culture has changed form to hybrids of human–machine cognition and “machine-to-machine seeing”. (shrink)

The exploration of metaphysical arguments in the symbolic AI environment provides clarification and raises unexpected questions about notions in philosophy of religion and theology. Recent attempts to apply automatic theorem prover technology to Anselm's ontological argument have led to a simplification of the argument. This computationally discovered simplification has given rise to logical observations. The article assesses one of these observations: the application of the diagonal method (in Cantor's version) to Anselm's argument. The evaluation of the applications of theorem provers (...) to metaphysical and theological arguments contributes to the following topics in philosophy of religion: the limits of natural theology, the relationship between religion and STEM, and theology's scientificity. (shrink)

We discuss, first, TUring's role in the development of the computer; second, the early history of Artificial Intelligence (to 1956); and third, TUring's fa- mous imitation game, now universally known as the TUring test, which he proposed in cameo form in 1948 and then more fully in 1950 and 1952. Various objections have been raised to Turing's test: we describe some of the most prominent and explain why, in our view, they fail.

The aims of this paper are threefold: To show that game-playing (GP), the discipline of Artificial Intelligence (AI) concerned with the development of automated game players, has a strong epistemological relevance within both AI and the vast area of cognitive sciences. In this context games can be seen as a way of securely reducing (segmenting) real-world complexity, thus creating the laboratory environment necessary for testing the diverse types and facets of intelligence produced by computer models. This paper (...) aims to promote the belief that games represent an excellent tool for the project of computational psychology (CP). To underline how, despite this, GP has mainly adopted an engineering-inspired methodology and in doing so has distorted the framework of cognitive functionalism. Many successes (i.e. chess, checkers) have been achieved refusing human-like reasoning. The AI has appeared to work well despite ignoring an intrinsic motivation, that of creating an explanatory link between machines and mind. To assert that substantial improvements in GP may be obtained in the future only by renewed interest in human-inspired models of reasoning and in other cognitive studies. In fact, if we increase the complexity of games (from NP-Completeness to AI-Completeness) in order to reproduce real-life problems, computer science techniques enter an impasse. Many of AI’s recent GP experiences can be shown to validate this. The lack of consistent philosophical foundations for cognitive AI and the minimal philosophical commitment of AI investigation are two of the major reasons that play an important role in explaining why CP has been overlooked. (shrink)

This is a draft of the written version of comments on a paper by David Cole, presented orally at the American Philosophical Association Central Division meeting in New Orleans, 27 April 1990. Following the written comments are 2 appendices: One contains a letter to Cole updating these comments. The other is the handout from the oral presentation.

Most of the IoT-based smart systems require low latency and crisp response time for their applications. Achieving the demand of this high Quality of Service becomes quite challenging when computationally intensive tasks are offloaded to the cloud for execution. Edge computing therein plays an important role by introducing low network latency, quick response, and high bandwidth. However, offloading computations at a large scale overwhelms the edge server with many requests and the scalability issue originates. To address the above issues, an (...) efficient resource management technique is required to maintain the workload over the edge and ensure the reduction of response time for IoT applications. Therefore, in this paper, we introduce a metaheuristic and nature-inspired Artificial Bee Colony optimization technique that effectively manages the workload over the edge server under the strict constraints of low network latency and quick response time. The numerical results show that the proposed ABC algorithm has outperformed Particle Swarm Optimization, Ant Colony Optimization, and Round-Robin Scheduling algorithms by producing low response time and effectively managing the workload over the edge server. Furthermore, the proposed technique scales the edge server to meet the demand of high QoS for IoT applications. (shrink)