Many problems in Multi-Agent Systems (MASs) research are formulated in terms of the abilities of a coalition of agents. Existing approaches to reasoning about coalitional ability are usually focused on games or transition systems, which are described in terms of states and actions. Such approaches however often neglect a key feature of multi-agent systems, namely that the actions of the agents require resources. In this paper, we describe a logic for reasoning about coalitional ability under resource constraints in the probabilistic (...) setting. We extend Resource-bounded Alternating-time Temporal Logic (RB-ATL) with probabilistic reasoning and provide a standard algorithm for the model-checking problem of the resulting logic Probabilistic resource-bounded ATL (pRB-ATL). We implement model-checking algorithms and present experimental results using simple multi-agent model-checking problems of increasing complexity. (shrink)

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory and communication bandwidth) are bounded. The framework allows us to investigate, for example, whether a goal can be achieved if a particular agent, perhaps possessing key information or inferential capabilities, is unable (or unwilling) to contribute more than a given portion of its (...) available computational resources or bandwidth to the problem. We present a novel temporal epistemic logic, BMCL-CTL , which allows us to describe a set of reasoning agents with bounds on time, memory and the number of messages they can exchange. The bounds on memory and communication are expressed as axioms in the logic. As an example, we show how to axiomatise a system of agents which reason using resolution and prove that the resulting logic is sound and complete. We then show how to encode a simple system of reasoning agents specified in BMCL-CTL in the description language of the Mocha model checker (Alur et al., Proceedings of the tenth international conference on computer-aided verification (CAV) , 1998), and verify that the agents can achieve a goal only if they are prepared to commit certain time, memory and communication resources. (shrink)

We survey the meta-ethical tools and institutional processes that traditional Islamic ethicists apply when deliberating on bioethical issues. We present a typology of these methodological elements, giving particular attention to the meta-ethical techniques and devices that traditional Islamic ethicists employ in the absence of decisive or univocal authoritative texts or in the absence of established transmitted cases. In describing how traditional Islamic ethicists work, we demonstrate that these experts possess a variety of discursive tools. We find that the ethical responsa—i.e., (...) the products of the application of the tools that we describe—are generally characterized by internal consistency. We also conclude that Islamic ethical reasoning on bioethical issues, while clearly scripture-based, is also characterized by strong consequentialist elements and possesses clear principles-based characteristics. The paper contributes to the study of bioethics by familiarizing non-specialists in Islamic ethics with the role, scope, and applicability of key Islamic ethical concepts, such as “aims” (maqāṣid), “universals” (kulliyyāt), “interest” (maṣlaḥa), “maxims” (qawā`id), “controls” (ḍawābit), “differentiators” (furūq), “preponderization” (tarjīḥ), and “extension” (tafrī`). (shrink)

This paper endeavors to delineate the salient features of the theory of meaning and to show how meaning converges with metaphysics. For the British classical linguistic philosophers, meaning concerns only autonomous propositions, which allegedly in isolation clarify thought and facilitate understanding of language. But for the American philosophers W. V. O. Quine and Donald Davidson, meaning is inextricably related to human life and its problems. According to them, our experiences are interrelated and cannot be separated from one another. A statement (...) cannot be meaningful in isolation; that is to say, it cannot have meaning without holistic connections and metaphysical presumptions. (shrink)

Within Muslim communities, the ‘ulama are considered the most crucial corporate social agency that drives the ideological and spiritual energy to the members of the society who find religious teachings necessary for their individual and social, if not always political, lives. However, when the ‘ulama of Bangladesh gathered under the umbrella platform of Hefazat-e-Islam in 2010, agitated by the numerous upheavals of the government’s policies, scholars and members of the civil society often dubbed them as regressive, reactionary, and insensitive to (...) modern changes. While anthropologists have challenged this dichotomy, this article aims to understand the HI ‘ulama’s views on modern changes and how the ‘ulama safeguard the traditional integrity in legal, educational, and gender aspects within the domain of the Bangladeshi state mechanism. Based on anthropological notions of tradition and piety, this article argues that the ‘ulama’s position on education, woman, and legal questions is neither monolithic nor static; rather there is always discussion, debate, and dynamism within the ‘ulama itself. (shrink)

Emergence of purchasing as a strategic function has not only broadened the scope of purchasing, it has also changed the responsibilities of the purchasing managers by empowering them to spend large sums of money in procuring goods and services. However, this has also presented them with an array of ethical dilemmas involving questionable purchasing practices. This study proposes a framework to examine ethicality of decision making when faced with such dilemmas and presents the results of a survey conducted to assess (...) the ethical inclinations of purchasers operating in Singapore. The results give credence to the notion that ethicality of behavior is culture-specific and reconfirms the existence of ethical relativism. (shrink)

This study was aimed at examining the impacts of the Sharing economy on the individual and community Quality of Life and wellbeing by looking at their associated influencing factors using Village Savings and Loans Associations as a model of sharing economy in Malawi. An online community-based cross-sectional study design was conducted from November 2020 through January 2021. In the survey, 402 Village Savings and Loans Associations members from the Mzuzu City area participated, recruited using snowball and respondent-driven sampling techniques. The (...) sample size was computed using a single population proportion using the Yamane formula. Descriptive statistics and ordinal logistic regression model techniques were also employed. Additionally, we used the Chi-Square test, two-way ANOVA, and Ordinal regression model to determine statistical associations between socioeconomic data and QOL and wellbeing variables with a 5% level of significance. On the aspect of community wellbeing, the findings of our study indicated that income provided members with options to live a better QOL and wellbeing within the community by either facilitating payment for better education, eating healthier foods, acquiring assets, etc. Further, the absence of discrimination provided a platform for voice, inclusion, and social trust, enhancing freedom of expression. We also found that education facilitated better earnings and knowledge of public health-related issues. As for the contribution to the sharing economy, our study has emphasized the role played by trust in enhancing sharing economy. We recommend and encourage people to join these VSLAs so as to improve their QOL and wellbeing. However, there is a need to replicate the study on a larger scale to validate our study findings for effective policy formulation and implementation geared to improving the overall quality of people’s lives. Based on these findings, we further recommend that authorities reinstate programs like National Strategy for Financial Inclusion 2016–2020 and Savings and Loan Groups Best Practice Guidelines 2016–2017 that could further enhance the future of VSLAs, which are vital for QOL and community wellbeing of the people in developing countries like Malawi. (shrink)

AimThe aim of this study was to determine the presence of depressive symptoms and understand the potential factors associated with these symptoms among physicians in Bangladesh during the COVID-19 pandemic.MethodsA cross-sectional study using an online survey was conducted in between April 21 and May 10, 2020, among physicians living in Bangladesh. Participants completed a series of demographic questions, COVID-19-related questions, and the Patient Health Questionnaire-9. Descriptive statistics, test statistics were performed to explore the association between physicians’ experience of depression symptoms (...) and other study variables. Stepwise binary logistic regression was followed while conducting the multivariable analysis.ResultA total of 390 physicians completed the survey. Of them, 283 were found to be experiencing depressive symptoms. Predictors which were significantly associated with depressive symptoms were gender, the presence of sleep disturbance, being highly exposed to media coverage about the pandemic, and fear around COVID-19 infection, being assaulted/humiliated by regulatory forces and by the general public, while traveling to and from the hospital and treating patients during the countrywide lockdown.ConclusionThe findings of this study demonstrate that there is a high prevalence of depressive symptom among physicians especially among female physicians in Bangladesh during the COVID-19 pandemic. Immediate, adequate and effective interventions addressing gender specific needs are required amid this ongoing crisis and beyond. (shrink)

Kur’an’ın kendine has birbiriyle irtibatlı kelimeler dünyası bulunmakta-dır. Doğru bir Allah tasavvuru, Allah-âlem, Allah-kul, âlem-kul ilişkisinin nasıl olması gerektiği bu kelime dünyası tarafından anlatılmaktadır. Bu nok-tada Kur’an’da herhangi bir konu anlatılırken aralarında sıkı irtibat olan kelime grupları kullanılmıştır. Örneğin Allah Kur’ân’da kendisini, Rakîb, Alîm, Basîr, Habîr, Latîf vb. lafızlarla insanın idrakine yansıtmakta ve böylece doğru bir Allah Tasavvuru oluşmasını amaçlamaktadır. Bu çalışmada, öncelikle ra-ka-be /رقب kökünün etimolojisi üzerinde durulacaktır. Zira bir kelimenin dildeki asli anlamı ve türevleriyle beraber sonradan kazandığı anlamların (...) tespiti, ilgili kelimenin anlam sahasını keşfetme ile mümkündür. Akabinde bu kökün türevlerinden “Rakîb” kelimesi ile anlam ilişkisi olan ve Yüce Allah’ın Kur’ân’da kendisine nispet ettiği sıfatlarından, Alîm, Basîr, Habîr, Şehîd kelimeler tahlil edilecektir. Bu bağlamda doğrudan olmasa da dolaylı olarak Allah’ın görmesini ve gözetlemesini ifade eden kelimelere ve ilgili âyetlere yer verilecektir. Böylece ra-ka-be kökünün Kur’an siyakındaki anlam sahası ortaya konulmuş olacaktır. (shrink)

This chapter analyzes traditional archetypes of divan literature—‘āşık (lover), ma‘şūk (beloved), and rakīb (opponent)—to show the presence of a dialectical discourse in classical Ottoman divan love poems. In both style and content divan poems display a comprehensive understanding of the postclassical Islamic philosophical conception of dialectic and argumentation theory, known as ādāb al-baḥth wa al-munāẓara. The focus on Ottoman love poetry and argumentation theory in this paper aims to demonstrate how the love poetry that developed in Ottoman culture is more (...) dialectical in form and content than Ottoman literary studies have recognized. (shrink)

Though, the tradition of Muslim religious-scientific work in the Indian Subcontinent can be traced back to 12th century, especially Shaykh Ahmad Sirhindī, Shaykh Abd al-Haqq Muhaddith Dihlawī, Shaykh Abdur Rahim and Shah Waliullah are the most important figures of 18th century and later. Examined carefully the works on aqaid and ‘ilm al-kalām written by these scholars of Sunni tradition, in the light of the method adopted by them, it is seen that they are either regarded as traditionalist, modernist or (...) rationalist. Meanwhile, Shiism, which was already present in the Subcontinent since the rise of the Safavid Dynasty with scholars from Ithnā ‘Ashariyah (Twelver Shiites) and Ismā‘ilīyah, is also influential in the region with their thoughts and works. Similarly, considering the works of later Shiite scholars, it can be said that some are considered to have a traditionalist perspective while others to have modernist. Apart from all these, Qādiyānīs, except Lahor branch, took also place in the history of Indian Subcontinent thought as a heretic formation within the Islamic tradition. The aim of this study which was prepared via the data obtained by the support of Erciyes University Scientific Research Projects Coordination Unit under grant number 8217 is to present a bibliographical survey of the works on aqâid and ‘ilm al-kalām focusing on the development of Islamic thought in the Indian Subcontinent, especially after Shah Waliullah. (shrink)

Motivated by a conviction that mass incarceration and state execution are among the most important ethical and political problems of our time, the contributors to this volume come together from a diverse range of backgrounds to analyze, critique, and envision alternatives to the injustices of the U.S. prison system, with recourse to deconstruction, phenomenology, critical race theory, feminism, queer theory, and disability studies. They engage with the hyper-incarceration of people of color, the incomplete abolition of slavery, the exploitation of prisoners (...) as workers and as "raw material" for the prison industrial complex, the intensive confinement of prisoners in supermax units, and the complexities of capital punishment in an age of abolition. -/- Contents -/- Introduction: Death and Other Penalties Geoffrey Adelsberg, Lisa Guenther, and Scott Zeman -/- Part I. Legacies of Slavery -/- Excavating the Sedimentations of Slavery: The Unfinished Project of American Abolition Brady Heiner -/- From Commodity Fetishism to Prison Fetishism: Slavery, Convict-leasing, and the Ideological Productions of Incarceration James Manos -/- Maroon Philosophy: An Interview with Russell Maroon Shoatz Russell Maroon Shoatz -/- Part II. Death Penalties -/- In Reality-from the Row Derrick Quintero -/- Inheritances of the Death Penalty: American Racism and Derrida's Theologico-Political Sovereignty Geoffrey Adelsberg -/- Making Death a Penalty: Or, Making "Good" Death a "Good" Penalty Kelly Oliver -/- Death Penalty Abolition in Neoliberal Times: The SAFE California Act and the Nexus of Savings and Security Andrew Dilts -/- On the Inviolability of Human Life Julia Kristeva (translated by Lisa Walsh) -/- Part III. Rethinking Power and Responsibility -/- Punishment, Desert, and Equality: A Levinasian Analysis Benjamin S. Yost -/- Prisons and Palliative Politics Ami Harbin -/- Sovereignty, Community, and the Incarceration of Immigrants Matt S. Whitt -/- Without the Right to Exist: Mass Incarceration and National Security Andrea Smith -/- Prison Abolition and a Culture of Sexual Difference Sarah Tyson -/- Part IV. Isolation and Resistance -/- Statement on Solitary Confinement Abu Ali Abdur'Rahman -/- The Violence of the Supermax: Toward a Phenomenological Aesthetics of Prison Space Adrian Switzer -/- Prison and the Subject of Resistance: A Levinasian Inquiry Shokoufeh Sakhi -/- Critical Theory, Queer Resistance, and the Ends of Capture Liat Ben-Moshe, Che Gossett, Nick Mitchell, and Eric A. Stanley. (shrink)