Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety of (...) Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language. (shrink)

With a certain graphic interpretation in mind, we say that a function whose value at every point in its domain is a nonempty set of real numbers is an Abacus. It is shown that to every collection C of abaci there corresponds a logic, called an abacus logic, i.e., a certain set of propositions partially ordered by generalized implication. It is also shown that to every collection C of abaci there corresponds a theory JC in a classical propositional calculus such (...) that the abacus logic determined by C is isomorphic to the poset of JC. Two examples are given. In both examples abacus logic is a lattice in which there happens to be an operation of orthocomplementation. In the first example abacus logic turns out to be the Lindenbaum algebra of JC. In the second example abacus logic is a lattice isomorphic to the ortholattice of subspaces of a Hilbert space. Thus quantum logic can be regarded as an abacus logic. Without suggesting "hidden variables" it is finally shown that the Lindenbaum algebra of the theory in the second example is a subalgebra of the abacus logic B of the kind studied in example 1. It turns out that the "classical observables" associated with B and the "quantum observables" associated with quantum logic are not unrelated. The value of a classical observable contains, in coded form, information about the "uncertainty" of a quantum observable. This information is retrieved by decoding the value of the corresponding classical observable. (shrink)

This paper studies the relationship between Argumentation Logic, a recently defined logic based on the study of argumentation in AI, and classical Propositional Logic. In particular, it shows that AL and PL are logically equivalent in that they have the same entailment relation from any given classically consistent theory. This equivalence follows from a correspondence between the non-acceptability of sentences in AL and Natural Deduction proofs of the complement of these sentences. The proof of this equivalence uses a restricted form (...) of ND proofs, where hypotheses in the application of the Reductio of Absurdum inference rule are required to be “relevant” to the absurdity derived in the rule. The paper also discusses how the argumentative re-interpretation of PL could help control the application of ex-falso quodlibet in the presence of inconsistencies. (shrink)

Background: Arthritis is very common but is not well understood. Actually, “arthritis” is not a single disease; it is an informal way of referring to joint pain or joint disease. There are more than 100 different types of arthritis and related conditions. People of all ages, sexes and races can and do have arthritis, and it is the leading cause of disability in America. More than 50 million adults and 300,000 children have some type of arthritis. It is most common (...) among women and occurs more frequently as people get older. Common arthritis joint symptoms include swelling, pain, stiffness and decreased range of motion. Symptoms may come and go. They can be mild, moderate or severe. They may stay about the same for years, but may progress or get worse over time. Severe arthritis can result in chronic pain, inability to do daily activities and make it difficult to walk or climb stairs. Arthritis can cause permanent joint changes. These changes may be visible, such as knobby finger joints, but often the damage can only be seen on X-ray. Some types of arthritis also affect the heart, eyes, lungs, kidneys and skin as well as the joints. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment and give the appropriate method of treatment through several tips that concern the disease and how to treat it and we will see it through the application on the expert system. Methods: in this paper the design of the proposed Expert System which was produced to help Orthopedist in diagnosing Arthritis disease through its symptoms such as: pain on pressure in a joint , Inflammation indicated by joint swelling, Stiffness especially in the morning , Loss of flexibility of joint, Limited, joint movement, Deformity of the joints , Weight loss and fatigue , Non-specific fever and Crepitus. The proposed expert system presents an overview about Arthritis disease is given, the cause of diseases is outlined and the treatment of disease whenever possible is given out. SL5 Object Expert System language was used for designing and implementing the proposed expert system. Results: The proposed Arthritis disease diagnosis expert system was evaluated by Orthopedics students and they were satisfied with its performance. Conclusions: The Proposed expert system is very useful for Orthopedist, patients with arthritis and newly graduated Orthopedics students. (shrink)

This paper presents a way in which formal logic can be understood and reformulated in terms of argumentation that can help us unify formal and informal reasoning. Classical deductive reasoning will be expressed entirely in terms of notions and concepts from argumentation so that formal logical entailment is equivalently captured via the arguments that win between those supporting concluding formulae and arguments supporting contradictory formulae. This allows us to go beyond Classical Logic and smoothly connect it with human reasoning, thus (...) providing a uniform argumentation-based view of both informal and formal logic. (shrink)

What is difficult to imagine is also surprising to perceive. This indicates that active visual imagery is an integral part of active visual perception. Erroneous mental transformations provide clues to prior assumptions in visual imagery, just as visual illusions provide clues to perceptual assumptions. Visual imagery and perception share generic assumptions about invariants in images of rigid objects.

Volume 6, Issue 3, September 2015, Page 265-291.

Can argumentation form the basis for any form of reasoning, informal or formal logical reasoning? We examine this question from the particular perspective of the recent developments in logic-based Artificial Intelligence (AI). We propose that argumentation provides the wider framework encompassing uniformly all reasoning, with strict or formal logical reasoning being a special boundary case. We also attempt to link this unifying role of argumentation with Aristotle’s original investigation of methods and forrmalisms for the systematic study of human reasoning.

A personalized recommender system is broadly accepted as a helpful tool to handle the information overload issue while recommending a related piece of information. This work proposes a hybrid personalized recommender system based on affinity propagation, namely, APHPRS. Affinity propagation is a semisupervised machine learning algorithm used to cluster items based on similarities among them. In our approach, we first calculate the cluster quality and density and then combine their outputs to generate a new ranking score among clusters for the (...) personalized recommendation. In the first phase, user preferences are collected and normalized as items rating matrix. This generated matrix is then clustered offline using affinity propagation and kept in a database for future recommendations. In the second phase, online recommendations are generated by applying the offline model. Negative Euclidian similarity and the quality of clusters are used together to select the best clusters for recommendations. The proposed APHPRS system alleviates problems such as sparsity and cold-start problems. The use of affinity propagation and the hybrid recommendation technique used in the proposed approach helps in improving results against sparsity. Experiments reveal that the proposed APHPRS performs better than most of the existing recommender systems. (shrink)

Data mining’s primary clustering method has several uses, including gene analysis. A set of unlabeled data is divided into clusters using data features in a clustering study, which is an unsupervised learning problem. Data in a cluster are more comparable to one another than to those in other groups. However, the number of clusters has a direct impact on how well the K-means algorithm performs. In order to find the best solutions for these real-world optimization issues, it is necessary to (...) use techniques that properly explore the search spaces. In this research, an enhancement of K-means clustering is proposed by applying an equilibrium optimization approach. The suggested approach adjusts the number of clusters while simultaneously choosing the best attributes to find the optimal answer. The findings establish the usefulness of the suggested method in comparison to existing algorithms in terms of intra-cluster distances and Rand index based on five datasets. Through the results shown and a comparison of the proposed method with the rest of the traditional methods, it was found that the proposal is better in terms of the internal dimension of the elements within the same cluster, as well as the Rand index. In conclusion, the suggested technique can be successfully employed for data clustering and can offer significant support. (shrink)

This article shows how Arab students at an Arab college in Israel, majoring in teaching of mathematics, English, and science, rely on metaphor as an important rhetorical tool for the advancement of their ideological positions and for criticism of the policies of the Israeli government, which discriminates against and disenfranchises Arab Israelis. The underlying hypothesis of the article is that the way Arab students in Israel use metaphor in their writing has unique rhetorical aspects that help to sharpen their message (...) in pursuit of the broader goal of emphasizing Arab Israelis’ suffering and changing for the better the Israeli government’s discriminatory patterns of action against them. (shrink)

In the Indian context; contributed articles.

Inmunhak iran muŏt in'ga (T'onghap ŭi inmunhak, 2009) -- Tungji ŭi ch'ŏrhak (2010) -- Chonjae wa p'yohyŏn (2010) -- Mallarŭme ka mal hanŭn 'idea' ŭi kaenyŏm (Sorŭbon Taehakkyo paksa nonmun) -- P'ol Palleri e issŏsŏ chisŏng kwa hyŏnsil kwaŭi pyŏnjŭngpŏp ŭrosŏŭi si (Sŏul Taehakkyo sŏksa nonmun).

Ch'ŏrhak iran muŏt in'ga (1976) -- Hyŏnsanghak kwa punsŏk ch'ŏrhak (1977) -- Inyŏm kwa chilli, kŭrigo todŏk.

In much the same way that it is possible to construct a model of hyperbolic geometry in the Euclidean plane, it is possible to model quantum logic within the classical propositional calculus.

Background: Depression (major depressive disorder) is a common and serious medical illness that negatively affects how you feel, the way you think and how you act. Fortunately, it is also treatable. Depression causes feelings of sadness and/or a loss of interest in activities once enjoyed. It can lead to a variety of emotional and physical problems and can decrease a person’s ability to function at work and at home. Depression affects an estimated one in 15 adults (6.7%) in any given (...) year. And one in six people (16.6%) will experience depression at some time in their life. Depression can strike at any time, but on average, first appears during the late teens to mid-20s. Women are more likely than men to experience depression. Some studies show that one-third of women will experience a major depressive episode in their lifetime. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment and give the appropriate method of treatment through several tips that concern the disease and how to treat it and we will see it through the application on the expert system. Methods: in this paper the design of the proposed Expert System which was produced to help Psychologist in diagnosing depression disease through its symptoms such as: a loss of energy, a change in appetite, sleeping more or less, anxiety, reduced concentration, indecisiveness, restlessness, feelings of worthlessness, guilt or hopelessness and thoughts of self-harm or suicide. The proposed expert system presents an overview about depression disease is given, the cause of diseases is outlined and the treatment of disease whenever possible is given out. SL5 Object Expert System language was used for designing and implementing the proposed expert system. Results: The proposed depression disease diagnosis expert system was evaluated by psychologist students and they were satisfied with its performance. Conclusions: The Proposed expert system is very useful for psychologist, patients with depression and newly graduated psychologist. (shrink)

In'gan kwa sin, kŭrigo chonggyo -- Chonggyo ran muŏt in'ga (1985) -- Chabi ŭi yullihak (1990) -- Silchonjŏk sont'aek kwa sahoejŏk kyubŏm -- In'gan kwa insaeng e kwanhan sŏngch'al.

This book offers a critical survey of the origins of liberalism. It challenges the widely-held belief among philosophers that liberalism developed in opposition to religion. Beginning with the Protestant Reformation, it illustrates how Christian thinkers reinterpreted Christianity and used a set of biblical presuppositions from their reinterpretations to develop the first liberal ideas, starting a process that culminates in the birth of the first systematic liberal political philosophy in the writings of a Christian philosopher, John Locke. -/- Foreworded by Michael (...) A. Gillespie, the author of The Theological Origins of Modernity, this book explains how the Protestant Reformation, covenant theology, anti-trinitarianism, and medieval Christian natural law theories formed the foundations of liberalism. Thus, the main argument of this book is that liberalism is better understood as a socio-political project of theistic rationalism, a radical reinterpretation of Christianity that emerged in the post-Reformation and early modern period. (shrink)

Arkoun, Mohammed; authors, Arab; Algeria; views on modernism and Islamic philosophy.

Islamic ethics - Early works to 20th century.

Intended for high school and college students studying ancient Greece and Rome as part of a larger world history curriculum, this book's coverage of key wars and battles; important leaders, armies, organizations, and weapons; and other aspects of conflict will enable readers to better understand the complex role warfare played in ancient Western civilization.