Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science, and as a means of reasoning about the knowledge and belief of agents. This book provides a broad introduction to the subject, along with many exercises and their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the context of distributed (...) systems and artificial intelligence. These include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The authors also discuss extensively the problem of logical omniscience. They cover Halpern & Moses' theory of honest formulas, and they make a digression into the realm of nonmonotonic reasoning and preferential entailment. They discuss Moore's autoepistemic logic, together with Levesque's related logic of "all I know". Furthermore, they show how one can base default and counterfactual reasoning on epistemic logic. Graduate students in philosophy or in computer science, especially those with an interest in AI, will find this book useful. (shrink)

This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. (...) Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation. (shrink)

In this work we present NERVOUS, an intelligent recommender system exploiting a probabilistic extension of a Description Logic of typicality to dynamically generate novel contents in AllMusic, a comprehensive and in-depth resource about music, providing data about albums, bands, musicians and songs. The tool can be used for both the generation of novel music genres and styles, described by a set of typical properties characterizing them, and the reclassification of the available songs within such new genres.

The dynamic nature and increasing complexity of the construction industry have led to increased conflicts in construction projects. An accurate prediction of the outcome of a dispute resolution in courts could effectively reduce the number of disputes that would otherwise conclude by spending more money through litigation. This study aims to introduce a two-layered fuzzy logic model for predicting court decisions in construction contract disputes. 100 cases of construction contract disputes are selected from the courts of Iran. A questionnaire (...) survey is then conducted to extract a set of fuzzy rules for identifying important decision parameters and expert knowledge. Accordingly, a two-layered fuzzy logic-based decision-making architecture is proposed for the prediction model. Furthermore, the fuzzy system is trained based on 10-fold cross-validation. Analysis of results indicates that 51 out of the 100 cases are filed after the dissolution and termination of the contract show a significant impact of these clauses as the root cause in construction contract disputes. Our results present a proposed hierarchical fuzzy system that can correctly predict nearly 60% of the test data. Also, we demonstrate a methodology of using argument before ML to establish interpretable AI models. Based on our findings, a fuzzy model with a hierarchical structure may be used as a simple and efficient method for predicting court decisions in construction contract disputes. (shrink)

In some languages every statement must contain a specification of the type of evidence on which it is based: for example, whether the speaker saw it, or heard it, or inferred it from indirect evidence, or learnt it from someone else. This grammatical reference to information source is called 'evidentiality', and is one of the least described grammatical categories. Evidentiality systems differ in how complex they are: some distinguish just two terms (eyewitness and noneyewitness, or reported and everything else), (...) while others have six or even more terms. Evidentiality is a category in its own right, and not a subcategory of epistemic or some other modality, nor of tense-aspect. Every language has some way of referring to the source of information, but not every language has grammatical evidentiality. In English expressions such as I guess, they say, I hear that, the alleged are not obligatory and do not constitute a grammatical system. Similar expressions in other languages may provide historical sources for evidentials. True evidentials, by contrast, form a grammatical system. In the North Arawak language Tariana an expression such as "the dog bit the man" must be augmented by a grammatical suffix indicating whether the event was seen, or heard, or assumed, or reported. This book provides the first exhaustive cross-linguistic typological study of how languages deal with the marking of information source. Examples are drawn from over 500 languages from all over the world, several of them based on the author's original fieldwork. Professor Aikhenvald also considers the role evidentiality plays in human cognition, and the ways in which evidentiality influences human perception of the world.. This is an important book on an intriguing subject. It will interest anthropologists, cognitive psychologists and philosophers, as well as linguists. (shrink)

The Salivaomics Knowledge Base (SKB) is designed to serve as a computational infrastructure that can permit global exploration and utilization of data and information relevant to salivaomics. SKB is created by aligning (1) the saliva biomarker discovery and validation resources at UCLA with (2) the ontology resources developed by the OBO (Open Biomedical Ontologies) Foundry, including a new Saliva Ontology (SALO). We define the Saliva Ontology (SALO; http://www.skb.ucla.edu/SALO/) as a consensus-based controlled vocabulary of terms and relations dedicated to the (...) salivaomics domain and to saliva-related diagnostics following the principles of the OBO (Open Biomedical Ontologies) Foundry. The Saliva Ontology is an ongoing exploratory initiative. The ontology will be used to facilitate salivaomics data retrieval and integration across multiple fields of research together with data analysis and data mining. The ontology will be tested through its ability to serve the annotation ('tagging') of a representative corpus of salivaomics research literature that is to be incorporated into the SKB. Background Saliva (oral fluid) is an emerging biofluid for non-invasive diagnostics used in the detection of human diseases. The need to advance saliva research is strongly emphasized by the National Institute of Dental and Craniofacial Research (NIDCR), and is included in the NIDCR's 2004- 2009 expert panel long-term research agenda [1]. The ability to monitor health status, disease onset, progression, recurrence and treatment outcome through noninvasive means is highly important to advancing health care management. Saliva is a perfect medium to be explored for personalized individual medicine including diagnostics, offering a non-invasive, easy to obtain means for detecting and monitoring diseases. Saliva testing potentially allows the patient to collect their own saliva samples at home, yielding convenience for the patient and savings in health costs, and facilitating multiple sampling. Specimen collection is less objectionable to patients and easier in children and elderly individuals. Due to these advantages. (shrink)

There is a need recognized by the National Institute of Dental & Craniofacial Research and the National Cancer Institute to advance basic, translational and clinical saliva research. The goal of the Salivaomics Knowledge Base (SKB) is to create a data management system and web resource constructed to support human salivaomics research. To maximize the utility of the SKB for retrieval, integration and analysis of data, we have developed the Saliva Ontology and SDxMart. This article reviews the informatics advances in saliva (...) diagnostics made possible by the Saliva Ontology and SDxMart. (shrink)

Ultrasonic excitation has been widely used in the detection of microcracks on metal surfaces, but there are problems such as poor excitation effect of ultrasonic pulse, long time to reach the best excitation, and difficult to find microcracks. In this paper, an adaptive ultrasonic pulse excitation device and infrared thermal imaging technology have been combined, as well as their control method, to solve the problem. The adaptive ultrasonic pulse excitation device adds intelligent modules to realize automatic adjustment of detection parameters, (...) which can quickly obtain reliable excitation; the multidegree-of-freedom base realizes the three-dimensional direction change of the ultrasonic gun to adapt to different excitation occasions. When the appropriate ultrasonic excitation makes microcracks in the resonance state, the microcracks can be frictionated, which produce heat rise with the temperature. Then, the microcrack defect can be detected by the infrared thermal instrument through the different surface temperatures with imaging recognition method. Our detection experiments of the titanium alloy plates and the aluminum alloy profiles of marine engineering show that the method can get reliable detection parameters in a short time and measure the crack length effectively. It can be used in many aspects such as crack detection in mechanical structures or complex equipment operating conditions and industrial production processes. (shrink)

This paper establishes several algebraic embedding theorems, each of which asserts that a certain kind of residuated structure can be embedded into a richer one. In almost all cases, the original structure has a compatible involution, which must be preserved by the embedding. The results, in conjunction with previous findings, yield separative axiomatizations of the deducibility relations of various substructural formal systems having double negation and contraposition axioms. The separation theorems go somewhat further than earlier ones in the literature, which (...) either treated fewer subsignatures or focussed on the conservation of theorems only. (shrink)

Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded agents and show that the resulting models have a number of interesting properties.

The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential epistemic (...) logics, as opposed to traditional possible worlds approaches, do not suffer from the problems of logical omniscience but are often thought to lack interesting epistemic properties. In this paper, I focus on the case of rule-based agents, which play a key role in contemporary AI research but have been neglected in the logical literature. I develop a framework for modelling monotonic, nonmonotonic and introspective rule-based reasoners which have limited cognitive resources and prove that the resulting models have a number of interesting properties. An axiomatization of the resulting logic is given, together with completeness, decidability and complexity results. (shrink)

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMImin has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMImin is decidable.

In lieu of an abstract, here is a brief excerpt of the content:Toleration and Justice in the Laozi:Engaging with Tao Jiang's Origins of Moral-Political Philosophy in Early ChinaAi Yuan (bio)IntroductionThis review article engages with Tao Jiang's ground-breaking monograph on the Origins of Moral-Political Philosophy in Early China with particular focus on the articulation of toleration and justice in the Laozi (otherwise called the Daodejing).1 Jiang discusses a naturalistic turn and the re-alignment of values in the Laozi, resulting in a naturalization (...) of justice (impartiality) by rejecting artificial humaneness and rigid hierarchical moral-political structures. In this Laozian just world, there is no room for human intervention and rigid top-down enforcement of values, thus leaving justice to naturalized Heaven or Dao as the ultimate source of the cosmos.Based on Jiang's interpretative context, I show that there is a twofold justification for the "paradoxical" and "elusive"2 value of political toleration.3 A negative expression of toleration focuses on non-interference with choices, and non-enforcement of values toward those whom one reasonably disagrees with and regards as morally wrong. Such an attitude of toleration results in practical advantages such as avoiding entrenchment in bloodshed, abandonment, and deprivation.A positive expression of toleration operating in the Laozian ideal world requires equal protection of people as capable knowers, including those to whom we object. Such protection includes their ways of expression and an unbiased recognition of them as equally capable knowers so that they are heard without bias and prejudice. Such a kind of toleration is revealed as a constituent component of justice since it enables equal contribution toward the shaping of society without discrimination. In other words, toleration is seen as naturalized justice in a Laozian world within which no one is "being wronged with the capacity as a knower"—a kind of epistemic justice articulated by Miranda Fricker (Fricker 2007).4 [End Page 466]This article discusses how Jiang's political reconstruction of Laozian philosophy contains the seeds for a discussion of toleration, a value associated with distributive justice and against epistemic injustice. First, it introduces Jiang's arguments on a naturalization of justice and impartiality as Heavenly attributes in the Laozi. Second, it articulates the value of tolerance in the Laozi. Finally, I compare Laozian toleration with Confucian toleration using youwei- wuwei metaethical criticism.Moral-Political Philosophy in the LaoziJiang's interpretative framework about the origins of distributive justice in the Laozi starts with a discussion of the cosmogonic-mystical worldviews that signal "a new understanding of the nature of the cosmos, as well as a broad reorientation in the Heaven-human relationship in the mid-Warring States period" (p. 192). Differing from the interests in the origins of human culture or civilization in the Ru and Mo traditions, Jiang agrees with Franklin Perkins and identifies a "cosmogonic turn" in the late fourth century b.c. that reveals a demotion of anthropomorphic Heaven. By paring Heaven with earth and accordingly decentering human beings in the intellectual discourse, the Laozi directs equal values to the ten thousand things, with humans as just one among them (Perkins 2016, quoted in Jiang 2021, p. 196).5 Laozi's philosophy thus stands out by rejecting Heaven as caring for human affairs while taking Dao as the ultimate origin of the cosmos, as claimed in chapter 5 of the received text: "Heaven and earth are not humane; they treat ten-thousand things in the world as straw dogs; the sage is not humane; he treats people as straw dogs" (p. 199).With Jiang's reading of a naturalistic heaven, we see a re-alignment between cosmos and the human since sage-rulers follow the Heaven-Dao. The Laozian Dao is "self-so-ing" (ziran 自然), "accommodating" (rong 容), and "impartial" (gong 公), and thus marks a sharp contrast to Confucian familial bias resulting in "actively intervening in human affairs on behalf of the (certain) humans by appointing them to carry out its mission" (p. 200). With the sage emulating the ultimate Dao, the Laozi replaces the Confucian anthropocentric Heaven, which focuses on partiality (qin 親) and humaneness (ren 仁).This Laozian understanding of the cosmos also grounds its philosophical departure from Mohism despite both having a political... (shrink)

Based on the expanded theory of planned behavior, this study first explores the configuration relationship between founder management and innovation by using the fuzzy-set qualitative comparative analysis. Based on the theory of planned behavior, this study divides the behavior intention of founders into three categories: Attitude, subjective norm, and perceived behavior control. Using fsQCA, we found that there are two ways to achieve high innovation input of enterprises. In combination with the two ways, the factors such as male (...) and highly educated founder, and large firm size can effectively increase the innovation input of firms, which is consistent with the three aspects of the behavioral intention of the theory of planned behavior, and it proves that the theory of planned behavior can effectively explain the configuration relation between the founder and firm innovation. In addition, this study finds that the innovation output is different from the innovation input, is dependent on the innovation ability of the firm itself, and is less influenced by the external environment. (shrink)

Four instances of how science fiction contributes to the elucidation of novelty in the context of discovery are considered by extending existing discussions on temporal and use-novelty. In the first instance, science fiction takes an already well-known theory and produces its own re-interpretation; in the second instance, the scientific account is usually straightforward and whatever novelty that may occur would be more along the lines of how the science is deployed to extra-scientific matters; in the third instance, science fiction takes (...) an idea that appears impossible within the delimitations of reality and produces a universe where such a possibility becomes feasible; and in the fourth instance, science fiction extends from an idea already known at the time of the work’s production to simulate a possibility that could emerge should the extension be experimentally viable. However, the article will not end with a mere evaluation of these instances, but also proposes instances on how science fiction could contribute to new ways of experiencing, discerning, and working with scientific knowledge. (shrink)

Drawing upon the General Learning Model, the present study developed a moderated mediation model to provide an in-depth understanding of whether and how adolescents’ reading prosocial content in books predicts their prosocial behavior. The target population in this study is Chinese adolescents, and we adopted a paper-based survey to collect data. The age range of the sample was from 12 to 19. Among all participants, 49.3% were female, and 50.7% were male. PROCESS SPSS Macro was used to analyze the (...) proposed moderated mediation model. The results showed that prosocial content reading was positively associated with adolescents’ prosocial behavior. The positive association included a direct relationship and an indirect relationship through the mediation of moral identity. Furthermore, this study revealed the moderation effect of age on the relationships among prosocial content reading, moral identity, and prosocial behavior. Specifically, as age increases, the effects of prosocial content reading on moral identity and prosocial behavior attenuate, and the mediation effect of moral identity also decreases. The study adds to the body of knowledge on the prosocial media effect by extending it to book reading. (shrink)

The prospective study follows college students after the 9/11 attacks. Based on evidence and trauma-related theories, and guided by reports on positive and negative reactions and meaning-related actions among Americans after 9/11, we explored the seemingly contradictory, yet meaning-related pathways to posttraumatic growth and posttraumatic stress disorder symptoms , indicating the sense of deep interconnectedness and deep conflict. The final model showed that 9/11 emotional turmoil triggered processes of assimilation, as indicated in pathways between prayer coping and perceived spiritual (...) and social support, and of accommodation, as indicated in the pathway of spiritual struggle. Both pathways were directly associated with PTG in the follow-up. Perceived spiritual and social support contributed to lower levels of PTSD symptoms, whereas spiritual struggle had an opposite impact on symptoms; both effects were mediated through optimism but in opposite directions. The study suggests the interplay of complex crisis-related phenomena following meaning-laden collective trauma that presented existential challenges, involving coping, optimism, deep conflict, and deep interconnectedness. (shrink)

Value co-creation goes through the stage of co-production, customer experience, service-dominant logic, and service ecosystem. The integration of science and technology has become a key factor to the process of VCC. The rise and application of artificial intelligence technology has added a new driving force to VCC and began to affect its original practical logic. Based on the consumer perspective, this study uses Q-methodology to measure consumer cognitive attitude toward the use of AI technology in VCC, aiming (...) to explore the key factors that affect VCC. The study found that content quality, information security, efficiency concern, and degree of manipulation have become the important concerns of consumers for VCC under AI integration. Moreover, their different statements have their specific focus and direction. The study demonstrates and analyzes the importance of the four factors and proposes the combination of human and non-human actors to shape the new model of VCC in the future, which is worth further deepening and exploring for academia and enterprises. (shrink)

ABSTRACT In this paper we define two logics, KLn and BLn, and present tableau-based decision procedures for both. KLn is a temporal logic of knowledge. Thus, in addition to the usual connectives of linear discrete temporal logic, it contains a set of unary modal connectives for representing the knowledge possessed by agents. The logic BLn is somewhat similar; it is a temporal logic that contains connectives for representing the beliefs of agents. In addition to a (...) complete formal definition of the two logics and their decision procedures, the paper includes a brief review of their applications in AI and mainstream computer science, correctness proofs for the decision procedures, a number of worked examples illustrating the decision procedures, and some pointers to further work. (shrink)

Tae Wan Kim, John Hooker, and Thomas Donaldson make an attempt, in recent articles, to solve the alignment problem. As they define the alignment problem, it is the issue of how to give AI systems moral intelligence. They contend that one might program machines with a version of Kantian ethics cast in deontic modal logic. On their view, machines can be aligned with human values if such machines obey principles of universalization and autonomy, as well as a deontic utilitarian (...) principle. Programming machines to do so might be useful, in their view, for applications such as future autonomous vehicles. Their proposal draws both on traditional logic-based and contemporary connectionist approaches, to fuse factual information with normative principles. I will argue that this approach makes demands of machines that go beyond what is currently feasible, and may extend past the limits of the possible for AI. I also argue that a deontological ethics for machines should place greater stress on the formula of humanity of the Kantian categorical imperative. On this principle, one ought never treat a person as a mere means. Recognition of what makes a person a person requires ethical insight. Similar insight is needed to tell treatment as a means from treatment as a mere means. The resources in Kim, Hooker, and Donaldson’s approach is insufficient for this reason. Hesitation regarding deployment of autonomous machines is warranted in light of these alignment concerns. (shrink)

The topology optimization of computer communication network is studied based on improved genetic algorithm, a network optimization design model based on the establishment of network reliability maximization under given cost constraints, and the corresponding improved GA is proposed. In this method, the corresponding computer communication network cost model and computer communication network reliability model are established through a specific project, and the genetic intelligence algorithm is used to solve the cost model and computer communication network reliability model, respectively. (...) It has been proved that GA can solve the complex problems of computer working environment better, which is 80% higher than the general algorithm, and can select the optimal scheme pertinently. (shrink)

To realize the coordinated and sustainable development of hydropower projects and regional society, comprehensively evaluating hydropower projects’ influence is critical. Usually, hydropower project development has an impact on environmental geology and social and regional cultural development. Based on comprehensive consideration of complicated geological conditions, fragile ecological environment, resettlement of reservoir area, and other factors of future hydropower development in each country, we have constructed a comprehensive evaluation index system of hydropower projects, including 4 first-level indicators of social economy, environment, (...) safety, and fairness, which contain 26 second-level indicators. To solve the problem that existing models cannot evaluate dynamic nonlinear optimization, a projection pursuit model is constructed by using rough set reduction theory to simplify the index. Then, an accelerated genetic algorithm based on real number coding is used to solve the model and empirical study is carried out with the Y hydropower station as a sample. The evaluation results show that the evaluation index system and assessment model constructed in our paper effectively reduce the subjectivity of index weight. Applying our model to the social impact assessment of related international hydropower projects can not only comprehensively analyze the social impact of hydropower projects but also identify important social influencing factors and effectively analyze the social impact level of each dimension. Furthermore, SIA assessment can be conducive to project decision-making, avoiding social risks and social stability. (shrink)

In this paper, by suggesting a formal representation of science based on recent advances in logic-based Artificial Intelligence (AI), we show how three serious concerns around the realisation of traditional scientific realism (the theory/observation distinction, over-determination of theories by data, and theory revision) can be overcome such that traditional realism is given a new guise as ‘naturalised’. We contend that such issues can be dealt with (in the context of scientific realism) by developing a formal representation of (...) science based on the application of the following tools from Knowledge Representation: the family of Description Logics, an enrichment of classical logics via defeasible statements, and an application of the preferential interpretation of the approach to Belief Revision. (shrink)

Upon previous research, the matrilineal system seems to oppose Islamic teaching. However, the matrilineal system practiced by the Minangkabau society in West Sumatra, Indonesia has its uniqueness. Thus, this study aims to examine the correlation between the Qur’an and gender roles within the context of Minangkabau customs, specifically focusing on the matrilineal aspect. The present study employs qualitative methods for conducting library research through critical analysis. This study discovered that the matrilineal system practiced by the Minangkabau society aligns with Qur’anic (...) teachings that respect the position of women in Islam. In the matrilineal system of Minangkabau, women hold significant strength and play an influential role in cultural and traditional practices. The Minangkabau tribe’s matrilineal system encompasses three key elements: marriage, inheritance and offspring. The marriage system is exogamous. Additionally, the practice of marriage is localised, with the husband typically residing in the wife’s household. Their inheritance is divided into pusako tinggi [from ancestors from generation to generation] and pusako randah (from the efforts of married couple). Women get pusako tinggi as they serve as protectors and a symbol of their community. In comparison, men take the responsibility of overseeing its preservation to prevent any form of misuse. Pusako randah is distributed as Islamic teaching. Lineage determination is primarily based on paternal lineage, aligning with Islamic teaching. Upon comprehensive analysis, it becomes evident that there is no conflict between the matrilineal system and Islamic teachings, particularly concerning principles of gender equality. Both women and men have significant roles, as the Qur’an provides extensive explanations regarding gender equality.Contribution: This research holds significant findings in establishing a great relation between Islamic teachings based on the Qur’an and the matrilineal principles practiced by the Minangkabau tribe. (shrink)

Based on the social interdependence theory, we proposed that the distributive justice climate affects virtual team performance via high-quality relationships, and then we investigated the boundary effect of team proactive personality. The data used in this study were collected in China, including 327 virtual team members that belonged to 75 teams. The following results are obtained: Distributive justice climate and high-quality relationships have significant positive effects on virtual team performance. High-quality relationships mediate the relationship between the distributive justice climate (...) and virtual team performance. Team proactive personality strengthens the direct effect of the distributive justice climate on high-quality relationships. Team proactive personality strengthens the indirect effect of the distributive justice climate on virtual team performance through high-quality relationships. These empirical results have important theoretical significance for team climate construction, personnel selection, and team performance promotion. (shrink)

Evidence suggests divergent thinking is the cognitive basis of creative thoughts. Neuroimaging literature using resting-state functional connectivity has revealed network reorganizations during divergent thinking. Recent studies have revealed the changes of network organizations when performing creativity tasks, but such brain reconfigurations may be prolonged after task and be modulated by the trait of creativity. To investigate the dynamic reconfiguration, 40 young participants were recruited to perform consecutive Alternative Uses Tasks for divergent thinking and two resting-state scans were used for mapping (...) the brain reorganizations after AUT. We split participants into high- and low-creative groups based on creative achievement questionnaire and targeted on reconfigurations of the two brain networks: default-mode network and the network seeded at the left inferior frontal gyrus because the between-group difference of AUT-induced brain activation located at the left IFG. The changes of post-AUT RSFCs indicated the prolonged effect of divergent thinking. More specifically, the alterations of RSFCIFG−AG and RSFCIFG−IPL in the high-creative group had positive relationship with their AUT performances, but not found in the low-creative group. Furthermore, the RSFC changes of DMN did not present significant relationships with AUT performances. The findings not only confirmed the possibility of brain dynamic reconfiguration following divergent thinking, but also suggested the distinct IFGN reconfiguration between individuals with different creativity levels. (shrink)

This article mitigates the challenges of previously reported literature by reducing the operating cost and improving the performance of network. A genetic algorithm-based tabu search methodology is proposed to solve the link capacity and traffic allocation problem in a computer communication network. An efficient modern super-heuristic search method is used to influence the fixed cost, delay cost, and variable cost of a link on the total operating cost in the computer communication network are discussed. The article analyses a large (...) number of computer simulation results to verify the effectiveness of the tabu search algorithm for CFA problems and also improves the quality of solutions significantly compared with traditional Lagrange relaxation and subgradient optimization algorithms. The experimental results show that with the increase of the weighted coefficient of variable cost, the proportion of variable cost in the total cost increases from 10 to 35%. The growth is relatively slow, and the fixed cost is still the main component. In addition, due to the increase in the variable cost, the tabu search algorithm will also choose the link with large luxury to reduce the variable cost, which makes the fixed cost slightly increase, while the network delay cost and average delay slightly decrease. The proposed method, when compared with the genetic algorithm, has more advantages for large-scale or heavy-load networks. (shrink)

By introducing and extending description logic (DLs) and growing up their application in knowledge representation and especially in OWLs and semantic web scope, many shortcomings and bugs were identified that weren’t resolvable in classical DLs and so logicians and computer scientists intended to non-classical and non-monotonic reasoning tools. In this paper, I discuses about abduction problem solvers, and by introducing A-Box abduction in description logics (DLs), such as ALC, discuss about decidability and complexity in different introduced algorithms, and report (...) shortly our team’s advantages in developing and implementation of ΑBox abduction in DLs. (shrink)

The article deals with the role, peculiarities and philosophical issues of upbringing healthy and well-bred generation in Kazakh ethnomedicine, which has been passed down from generation to generation and has not lost its importance. Attention is paid to the peculiarities of the Kazakh people’s attitudes to nature, formed in connection with the natural environment, and the method of treatment based on shamanic beliefs. Philosophical concepts of nobility norms preservation of the Kazakh nation, following the tradition of exogamy in the (...) formation of generation health, have been analysed. The doctrine of blood purity is discussed in Treatise on Healing by Uteiboydak Tleukabyluly, a scientist-healer of 15th century. Tleukabyluly considers debauchery, love relationships outside of marriage, unacceptable. He gives a reason why Kazakhs should be banned from related marriages up to the seventh generation, since, according to his observations, this leads to infertility and miscarriages or the birth of an imbecile child. The role of the mother in the healthy generation was studied in the national philosophical context. (shrink)

AI has become the poster child for a certain kind of thinking which holds that some technologies can become objective, independent and emergent entities which can evolve beyond the control of their creators. This thinking is not new however. It is a product of certain philosophical ideas such as materialism, a common-sense world of objective and independent objects, a correspondence theory of truth, and so forth, which are centered around the pre-eminence of science, epistemology, and logical reasoning, among others, as (...) the supremely valid modes of engaging experience. This paper aims to critically examine the synthesis of the development program for AI to be found in the writings of computer scientist John McCarthy (1927–2011). McCarthy has been called one of the founding fathers of AI. First, some of the main themes which recur in his writings from as early as the mid nineteen fifties in the Dartmouth proposal, up to his late writings, are considered. A discussion of the goals that such a program implies, follows, in terms of society’s relation with AI based technology and the nature and purpose of AI itself. These implications are arguably related to social control and are also moral. Ultimately, McCarthy’s idea that AI is and can be built upon a paradigm of reasoning and logic so as to simulate a perfectly rational abstraction of human thinking is shown to be motivated by his view that AI systems should be controlled, as servants. This understanding of human thinking is questionable, however, given current research on human irrationality, as well as on the argumentative role of reasoning. And yet, the process of development toward the unachievable goal of controllable, rational, logical AI systems, has handily come to serve as a blind for increasing techno-corporate control of society, with techno-corporate interests displacing blame for devaluations and harms caused by their push to develop the technology to AI systems which they can conveniently ‘lose control of.’. (shrink)

Many studies have reported neural correlates of visual awareness across several brain regions, including the sensory, parietal, and frontal areas. In most of these studies, participants were instructed to explicitly report their perceptual experience through a button press or verbal report. It is conceivable, however, that explicit reporting itself may trigger specific neural responses that can confound the direct examination of the neural correlates of visual awareness. This suggests the need to assess visual awareness without explicit reporting. One way to (...) achieve this is to develop a technique to predict the visual awareness of participants based on their peripheral responses. Here, we used eye movements and pupil sizes to decode trial-by-trial changes in the awareness of a stimulus whose visibility was deteriorated due to adaptation-induced blindness. In the experiment, participants judged whether they perceived a target stimulus and rated the confidence they had in their perceptual judgment, while their eye movements and pupil sizes were recorded. We found that not only perceptual decision but also perceptual confidence can be separately decoded from the eye movement and pupil size. We discuss the potential of this technique with regard to assessing visual awareness in future neuroimaging experiments. (shrink)

GraphicalPatients with early- to middle-stage PD were enrolled for C-Gait assessment and traditional walking ability assessments. The correlation of C-Gait assessment and traditional walking tests were studied. Two models were established based on C-Gait assessment and traditional walking tests to explore the value of C-Gait assessment in predicting freezing of gait.ObjectiveEfficient methods for assessing walking adaptability in individuals with Parkinson’s disease are urgently needed. Therefore, this study aimed to assess C-Gait for detecting freezing of gait in patients with early- (...) to middle-stage PD.MethodPeople with PD diagnosis were recruited from April 2019 to November 2019 in Beijing Rehabilitation Hospital. The participants performed six items of walking adaptability on an instrumented treadmill augmented with visual targets and obstacles. The patient’s walking adaptability was evaluated by C-Gait assessment and traditional walking tests, and FOG-related indexes were collected as outcome measures. Two discriminant models were established by stepwise discriminant analysis; area under the receiver operating characteristic curve was used to validate the models.ResultIn total, 53 patients were included in this study. Most C-Gait assessment items had no or low correlations with traditional walking tests. The obstacle avoidance and speed of adaptation items could lead to FOG with high sensitivity. In addition, the C-Gait assessment model had slightly better discrimination of freezers from non-freezers compared with traditional walking test models ; specifically, obstacle avoidance and speed of adaptation have uniquely discriminant potential.ConclusionC-gait assessment could provide additional value to the traditional walking tests for PD. Gait adaptability assessment, as measured by C-Gait, may be able to help identify freezers in a PD population. (shrink)

Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.

We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines two (...) weighted Description Logic formulas, each defining a concept, using the following general strategy. First it selects all the features needed for the combination, based on the logical distinc- tion between necessary and impossible features. Second, it determines the threshold and assigns new weights to the features of the combined concept trying to preserve the relevance and the necessity of the features. We illustrate how the algorithm works exploiting some paradigmatic examples discussed in the cognitive literature. (shrink)

A computational theory of induction must be able to identify the projectible predicates, that is to distinguish between which predicates can be used in inductive inferences and which cannot. The problems of projectibility are introduced by reviewing some of the stumbling blocks for the theory of induction that was developed by the logical empiricists. My diagnosis of these problems is that the traditional theory of induction, which started from a given (observational) language in relation to which all inductive rules are (...) formulated, does not go deep enough in representing the kind of information used in inductive inferences. As an interlude, I argue that the problem of induction, like so many other problems within AI, is a problem of knowledge representation. To the extent that AI-systems are based on linguistic representations of knowledge, these systems will face basically the same problems as did the logical empiricists over induction. In a more constructive mode, I then outline a non-linguistic knowledge representation based on conceptual spaces. The fundamental units of these spaces are "quality dimensions". In relation to such a representation it is possible to define "natural" properties which can be used for inductive projections. I argue that this approach evades most of the traditional problems. (shrink)

In the 1980s, Pollock’s work on default reasons started the quest in the AI community for a formal system of defeasible argumentation. The main goal of this paper is to provide a logic of structured defeasible arguments using the language of justification logic. In this logic, we introduce defeasible justification assertions of the type t : F that read as “t is a defeasible reason that justifies F”. Such formulas are then interpreted as arguments and their acceptance (...) semantics is given in analogy to Dung’s abstract argumentation framework semantics. We show that a large subclass of Dung’s frameworks that we call “warranted” frameworks is a special case of our logic in the sense that Dung’s frameworks can be obtained from justification logic-based theories by focusing on a single aspect of attacks among justification logic arguments and Dung’s warranted frameworks always have multiple justification logic instantiations called “realizations”. We first define a new justification logic that relies on operational semantics for default logic. One of the key features that is absent in standard justification logics is the possibility to weigh different epistemic reasons or pieces of evidence that might conflict with one another. To amend this, we develop a semantics for “defeaters”: conflicting reasons forming a basis to doubt the original conclusion or to believe an opposite statement. This enables us to formalize non-monotonic justifications that prompt extension revision already for normal default theories. Then we present our logic as a system for abstract argumentation with structured arguments. The format of conflicting reasons overlaps with the idea of attacks between arguments to the extent that it is possible to define all the standard notions of argumentation framework extensions. Using the definitions of extensions, we establish formal correspondence between Dung’s original argumentation semantics and our operational semantics for default theories. One of the results shows that the notorious attack cycles from abstract argumentation cannot always be realized as justification logic default theories. (shrink)

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found (...) in human reasoning. Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

Logical models of argument formalize commonsense reasoning while taking process and computation seriously. This survey discusses the main ideas which characterize di erent logical models of argument. It presents the formal features of a few main approaches to the modeling of argumentation. We trace the evolution of argumentationfrom the mid-80's, when argumentsystems emerged as an alternative to nonmonotonic formalisms based on classical logic, to the present, as argument is embedded in di erent complex systems for real-world applications, and (...) allows more formal work to be done in different areas, such as AI & Law, case-based reasoning and negotiation among intelligent agents. (shrink)

Purpose Along with the various beneficial uses of artificial intelligence, there are various unsavory concomitants including the inscrutability of AI tools, the fragility of AI models under adversarial settings, the vulnerability of AI models to bias throughout their pipeline, the high planetary cost of running large AI models and the emergence of exploitative surveillance capitalism-based economic logic built on AI technology. This study aims to document these harms of AI technology and study how these technologies and their developers (...) and users can be made more accountable. Design/methodology/approach Due to the nature of the problem, a holistic, multi-pronged approach is required to understand and counter these potential harms. This paper identifies the rationale for urgently focusing on human-centered AI and provide an outlook of promising directions including technical proposals. Findings AI has the potential to benefit the entire society, but there remains an increased risk for vulnerable segments of society. This paper provides a general survey of the various approaches proposed in the literature to make AI technology more accountable. This paper reports that the development of ethical accountable AI design requires the confluence and collaboration of many fields and that lack of diversity is a problem plaguing the state of the art in AI. Originality/value This paper provides a timely synthesis of the various technosocial proposals in the literature spanning technical areas such as interpretable and explainable AI; algorithmic auditability; as well as policy-making challenges and efforts that can operationalize ethical AI and help in making AI accountable. This paper also identifies and shares promising future directions of research. (shrink)