The aim of this paper is to propose a novel reading of the critical legitimacy of the regulative use of reason in the Transcendental Dialectic of Kant's Critique of Pure Reason. After introducing some key terminology of the Dialectic, I analyse the shortcomings of two influential accounts of the regulative use of reason and identify their common problem in their commitment to the descriptivity of the ideas of reason. I then offer my rule‐based account of the regulative use (...) of reason by clarifying how Kant transforms reason's metaphysical inclinations into prescriptive rules of bottom‐up empirical research. Finally, I explain why such interpretation of reason is metaphysically innocent and thereby a promising approach to understand its role in Kant's scientific project. (shrink)

Pattern-based reasons are reasons for action deriving not from the features of our own actions, but from the features of the larger patterns of action in which we might be participating. These reasons might relate to the patterns of action that will actually be carried out, or they might relate to merely hypothetical patterns. In past work, I have argued that accepting merely hypothetical pattern-based reasons, together with a plausible account of how to weigh these reasons, can lead (...) to disastrous consequences. However, in this article, I argue that this problem is not limited to hypothetical pattern-based reasons: it turns out that there are analogous issues for reasons deriving from actual patterns. I then suggest that we can avoid this problem by adopting a different account of the weight of pattern-based reasons. (shrink)

Notwithstanding the potential danger to security and privacy, sharing and publishing data has become usual in Data Science. To preserve privacy, de-identification methodologies guided by risk estimation have been designed. Two issues associated with classical risk metrics are, on the one hand, the adequacy of the metric and, on the other hand, its static nature. In this paper, we present metrics for estimating risk based on the emerging semantics provided by Formal Concept Analysis. The metrics are designed to estimate (...) the a priori risk of compromised data deletion. Furthermore, by applying specialized variable forgetting methods for association rules, it is shown how to reflect the effect of deleting attributes belonging to potentially dangerous quasi-identifier sets. Additionally, a study of the role of the risk metric in confidence-based reasoning for re-identification is presented. (shrink)

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)

In this paper, the traditional view that argumentum ad ignorantiam is a logical fallacy is challenged, and lessons are drawn on how to model inferences drawn from knowledge in combination with ones drawn from lack of knowledge. Five defeasible rules for evaluating knowledge-based arguments that apply to inferences drawn under conditions of lack of knowledge are formulated. They are the veridicality rule, the consistency of knowledge rule, the closure of knowledge rule, the rule of refutation (...) and the rule for argument from ignorance. The basic thesis of the paper is that knowledge-based arguments, including the argument from ignorance, need to be evaluated by criteria for epistemic closure and other evidential rules that are pragmatic in nature, that need to be formulated and applied differently at different stages of an investigation or discussion. The paper helps us to understand practical criteria that should be used to evaluate all arguments based on knowledge and/or ignorance. (shrink)

This paper proposes an approach to investigate norm-governed learning agents which combines a logic-based formalism with an equation-based counterpart. This dual formalism enables us to describe the reasoning of such agents and their interactions using argumentation, and, at the same time, to capture systemic features using equations. The approach is applied to norm emergence and internalisation in systems of learning agents. The logical formalism is rooted into a probabilistic defeasible logic instantiating Dung’s argumentation framework. Rules of this (...) logic are attached with probabilities to describe the agents’ minds and behaviours as well as uncertain environments. Then, the equation-based model for reinforcement learning, defined over this probability distribution, allows agents to adapt to their environment and self-organise. (shrink)

A number of theoretical positions in psychology—including variants of case‐based reasoning, instance‐based analogy, and connectionist models—maintain that abstract rules are not involved in human reasoning, or at best play a minor role. Other views hold that the use of abstract rules is a core aspect of human reasoning. We propose eight criteria for determining whether or not people use abstract rules in reasoning, and examine evidence relevant to each criterion for several rule systems. (...) We argue that there is substantial evidence that several different inferential rules, including modus ponens, contractual rules, causal rules, and the law of large numbers, are used in solving everyday problems. We discuss the implications for various theoretical positions and consider hybrid mechanisms that combine aspects of instance and rule models. (shrink)

The essays in this volume are all concerned with the arguments about law as a system of rule-based decision-making,particularly the ideas advanced by legal philosopher Frederick Schauer. Schauer's work has not only helped revive interest in legal formalism but has also helped relocate arguments about the relationship between posited rules and morality. The contributors to this volume, themselves distinguished theorists, have concentrated on three aspects of Schauer's work: the nature of jurisprudential description; his theory of presumptive positivism; and (...) the application of his theory of rule-based decision-making to other areas of legal and moral thought. Contributors: Larry Alexander, Brian Bix, Philip Bobbitt, Marianne Constable, Michael C. Dorf, Jeremy Elkins, Claire Oakes Finkelstein, Leo Katz, Jason Johnston, Dennis Patterson. (shrink)

In this paper, the author contrasts three models of deliberative democracy: a liberal one, a communitarian one, and an alternative to both. Rather than understanding deliberative democracy as the rule of principles of justice or of communal values, the third model conceives of it as the “rule of reasons.” On the basis of a discussion of seven components of an “ethos of democracy” (the cognitive capacities of citizens, political virtues, the cultural, institutional and material conditions of democracy, political (...) legitimacy, and the “ground” of democracy), the third view, which is based on a theory of moral and political justification, emerges as superior. (shrink)

Laura Odwazny and Benjamin Berkman have raised several challenges regarding the new reasonable person standard in the revised Common Rule, which states that in‐ formed consent requires potential research subjects be provided with information a reasonable person would want to know to make an informed decision on whether to participate in a study. Our aim is to offer a response to the challenges Odwazny and Berkman raise, which include the need for a reasonable person standard that can be applied (...) consistently across institutional review boards and that does not stigmatize marginal groups. In response, we argue that the standard ought to be based in an ordinary rather than ideal person conception of reasonable person and that the standard ought to employ what we call a liberal constraint: the reasonability standard must be malleable enough such that a wide variety of individuals with different, unique value systems would endorse it. We conclude by suggesting some of the likely consequences our view would have, if adopted. (shrink)

Decision-makers in governments, enterprises, businesses and agencies or individuals, typically, make decisions according to various regulations, guidelines and policies based on existing records stored in various databases, in particular, relational databases. To assist decision-makers, an expert system, encompasses interactive computer-based systems or subsystems to support the decision-making process. Typically, most expert systems are built on top of transaction systems, databases, and data models and restricted in decision-making to the analysis, processing and presenting data and information, and they do (...) not provide support for the normative layer. This paper will provide a solution to one specific problem that arises from this situation, namely the lack of tool/mechanism to demonstrate how an expert system is well-suited for supporting decision-making activities drawn from existing records and relevant legal requirements aligned existing records stored in various databases.We present a Rule-based reporting systems architecture, which is intended to integrate databases, in particular, relational databases, with a logic-based reasoner and rule engine to assist in decision-making or create reports according to legal norms. We argue that the resulting RuleRS provides an efficient and flexible solution to the problem at hand using defeasible inference. To this end, we have also conducted empirical evaluations of RuleRS performance. (shrink)

This expository paper on Aristotle’s prototype underlying logic is intended for a broad audience that includes non-specialists. It requires as background a discussion of Aristotle’s demonstrative logic. Demonstrative logic or apodictics is the study of demonstration as opposed to persuasion. It is the subject of Aristotle’s two-volume Analytics, as its first sentence says. Many of Aristotle’s examples are geometrical. A typical geometrical demonstration requires a theorem that is to be demonstrated, known premises from which the theorem is to be deduced, (...) and a deductive logic by which the steps of the deduction proceed. Every demonstration produces knowledge of its conclusion for every person who comprehends the demonstration. Aristotle presented a general truth-and-consequence theory of demonstration meant to apply to all demonstrations: a demonstration is an extended argumentation that begins with premises known to be truths and that involves a chain of reasoning showing by deductively evident steps that its conclusion is a consequence of its premises. In short, a demonstration is a deduction whose premises are known to be true. Aristotle’s general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining theory of deduction was meant to apply to all deductions: any deduction that is not immediately evident is an extended argumentation that involves a chaining of immediately evident steps that shows its final conclusion to follow logically from its premises. His deductions, both direct and indirect, were rule-based and not tautology-based. The idea of tautology-based deduction, which dominated modern logic in the early years of the 1900s, is nowhere to be found in Analytics. Rule-based deduction was rediscovered by modern logicians. To illustrate his general theory of deduction, Aristotle presented a prototype: an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. With reference only to propositions of the four so-called categorical forms, he painstakingly worked out exactly what those immediately evident deductive steps are and how they are chained to complete deductions. In his specialized prototype theory, Aristotle explained how to deduce from a given categorical premise set, no matter how large, any categorical conclusion implied by the given set. He did not extend this treatment to non-categorical deductions, thus setting a program for future logicians. The prototype, categorical syllogistic, was seen by Boole as a “first approximation” to a comprehensive logic. Today, however it appears more as the first of the dozens of logics already created and as the first exemplification of a family that continues to expand. (shrink)

There is an increasing need for norms to be embedded in technology as the widespread deployment of applications such as autonomous driving, warfare and big data analysis for crime fighting and counter-terrorism becomes ever closer. Current approaches to norms in multi-agent systems tend either to simply make prohibited actions unavailable, or to provide a set of rules which the agent is obliged to follow, either as part of its design or to avoid sanctions and punishments. In this paper we argue (...) for the position that agents should be equipped with the ability to reason about a system’s norms, by reasoning about the social and moral values that norms are designed to serve; that is, perform the sort of moral reasoning we expect of humans. In particular we highlight the need for such reasoning when circumstances are such that the rules should arguably be broken, so that the reasoning can guide agents in deciding whether to comply with the norms and, if violation is desirable, how best to violate them. One approach to enabling this is to make use of an argumentation scheme based on values and designed for practical reasoning: arguments for and against actions are generated using this scheme and agents choose between actions based on their preferences over these values. Moral reasoning then requires that agents have an acceptable set of values and an acceptable ordering on their values. We first discuss how this approach can be used to think about and justify norms in general, and then discuss how this reasoning can be used to think about when norms should be violated, and the form this violation should take. We illustrate how value based reasoning can be used to decide when and how to violate a norm using a road traffic example. We also briefly consider what makes an ordering on values acceptable, and how such an ordering might be determined. (shrink)

Agents which perform inferences on the basis of unreliable information need an ability to revise their beliefs if they discover an inconsistency. Such a belief revision algorithm ideally should be rational, should respect any preference ordering over the agent’s beliefs (removing less preferred beliefs where possible) and should be fast. However, while standard approaches to rational belief revision for classical reasoners allow preferences to be taken into account, they typically have quite high complexity. In this paper, we consider belief revision (...) for agents which reason in a simpler logic than full first-order logic, namely rule-based reasoners. We show that it is possible to define a contraction operation for rule-based reasoners, which we call McAllester contraction, which satisfies all the basic Alchourrón, Gärdenfors and Makinson (AGM) postulates for contraction (apart from the recovery postulate) and at the same time can be computed in polynomial time. We prove a representation theorem for McAllester contraction with respect to the basic AGM postulates (minus recovery), and two additional postulates. We then show that our contraction operation removes a set of beliefs which is least preferred, with respect to a natural interpretation of preference. Finally, we show how McAllester contraction can be used to define a revision operation which is also polynomial time, and prove a representation theorem for the revision operation. (shrink)

TheFederalist, written by in 1787-1788 in defense of the proposed constitution of the United States, endorses a fundamental principle of political legitimacy: namely, This essay argues that this principlemay be traced back to Plato. Part I of the essay seeks to show that Plato's Statesman offers a clearer understanding of the rule of reason than his more famous Republic, and it also indicates how this principle gave rise to the ideal of constitutionalism, which was adopted and reformulated by Aristotle, (...) Polybius, and Cicero, as well as moderns including Locke and Montesquieu. Part II argues that TheFederalist agrees with Plato when it argues that popular sovereignty must be tempered by the rule of reason. A proper distance should be maintained between the people and the actual exercise of power in order that political decisions be based on reason rather than passion. The people must therefore act through a federal system divided between national government and state governments, and these governments must themselves possess separated powers which control each other by means of checks and balances. Indeed, federalism itself may be viewed as a modern counterpart of Plato's which unites naturally disparate and opposed parts of the city-state into a concordant whole. In declaring, TheFederalist concedes that politics is the art of the possible. But statesmanship is not an exercise in pragmatism devoid of principles. Here shares Plato's vision of politics as a that is, an attempt to approximate the ideal of rational governance as far as possible in ordinary politics. (shrink)

Almost every state has its own legal system and there is a legal system in accordance with the social norms of the state. However, although states have autonomy with their own legal systems, the legal system of each state unites under larger legal systems. From this point of view, three major legal systems can be accepted; Anglo-Saxon Legal System (English Legal System, Common Law), Continental European Legal System (Legal system of European states based on Roman law), Social Legal System (...) on which Russian Federation is based. Apart from these systems, there is also an Islamic legal system with its unique structure. The reason why the Islamic legal system is unique is that it is based on both religious and rational sources. In general, the case-based method is used in the Anglo-Saxon Legal System, and the rule-based method is used in the Continental European Legal System. Which one of these two method used by Islamic law which takes its source from Qur’an and hadith well? Or is it use both methods? Our aim in this study, in addition to analysing the operation of these two methods in Islamic law from a logical point of view, is to analyse the integration of the rule-based method into the case-based method and the case-based method with the rule-based method. With this research it is to provide a logical proposal to extend the intended use of analogy in Islamic law. As a matter of fact, we think that different branches of science should come together in order to produce new suggestions in this field. (shrink)

Johnson -Laird has argued that spatial reasoning is based on the construction and manipulation of mental models in memory. The present article addresses the question of whether reasoning about time relations is constrained by the same factors as reasoning about spatial relations. An experiment is reported that explored the similarities and the differences in the performance of subjects in comparable spatial and temporal reasoning tasks. The results indicated that, in both the temporal and the spatial (...) content domains, the data were in agreement with the view that subjects solved problems by constructing models in memory rather than with a logical rule conceptualisation of reasoning. An analysis of the premise-reading times on the basis of premise-linking order provided support for an on-line process of mental models construction, and offered an explanation for the finding that spatial problems that did require an inference of transitivity were easier than problems that did not. No essential differences in processing and performance were observed across the two content domains, although in the time domain the correctness data were in agreement with both the mental models theory and the logical rules view. The results are discussed with respect to the mental models theory and the structural characteristics of the problems. (shrink)

This work explores the importance of similarity-based processes in human everyday reasoning, beyond purely rule-based processes prevalent in AI and cognitive science. A unified framework encompassing both rulebased and similarity-based reasoning may provide explanations for a variety of human reasoning data.

Capacities for abstract thinking and problem‐solving are central to human cognition. Processes of abstraction allow the transfer of experiences and knowledge between contexts helping us make informed decisions in new or changing contexts. While we are often inclined to relate such reasoning capacities to individual minds and brains, they may in fact be contingent on human‐specific modes of collaboration, dialogue, and shared attention. In an experimental study, we test the hypothesis that social interaction enhances cognitive processes of rule‐induction, (...) which in turn improves problem‐solving performance. Through three sessions of increasing complexity, individuals and groups were presented with a problem‐solving task requiring them to categorize a set of visual stimuli. To assess the character of participants’ problem representations, after each training session, they were presented with a transfer task involving stimuli that differed in appearance, but shared relations among features with the training set. Besides, we compared participants’ categorization behaviors to simulated agents relying on exemplar learning. We found that groups performed superior to individuals and agents in the training sessions and were more likely to correctly generalize their observations in the transfer phase, especially in the high complexity session, suggesting that groups more effectively induced underlying categorization rules from the stimuli than individuals and agents. Crucially, variation in performance among groups was predicted by semantic diversity in members’ dialogical contributions, suggesting a link between social interaction, cognitive diversity, and abstraction. (shrink)

This study examines the relationship between cognitive moral development (CMD), productivity features of information technology (IT) and unethical behavior or misconduct. Using an experimental design that randomly assigns subjects to one of four unique technology conditions, we assess the relationship between a subjects' predominant level of CMD and ethical misconduct on IT-oriented work tasks. Our results show that both higher levels of CMD and increased levels of IT productivity features at one's disposal have a significant role to play in explaining (...) observed behavior in our sample. We find that CMD as measured by the Defining Issues Test's P-score is negatively related to task misconduct. Conversely, IT productivity features such as copy-and-paste are positively related to task misconduct. In addition, the CMD—misconduct relationship is significantly diminished by the introduction of IT productivity features. Lastly, a series of hazard analyses are conducted to explore the boundaries of our principal findings. These results demonstrate the significant role of technology in enabling negative behavior and the relative inability of subjects' use of principled moral reasoning to overcome it. Implications of these findings for academics and business managers are offered, as well as recommendations for mitigating misconduct in both academic and workplace environments. (shrink)

I propose an account of desire that reconciles two apparently conflicting intuitions about practical agency. I do so by exploring a certain intuitive datum. The intuitive datum is that often when an agent desires P she will seem to immediately and conclusively know that there is a reason to bring P about. Desire-based theories of reasons seem uniquely placed to explain this intuitive datum. On this view, desires are the source of an agent’s practical reasons. A desire for P (...) grounds conclusive knowledge of a reason to bring P about because that desire makes it true that there is a reason to do so. However, this implies that a basic desire for P can never be in error about there being at least some reason to bring P about. We have the conflicting intuition that basic desires sometimes rationally count for nothing. The guise of the good explains this intuition about the fallibility of desires. On this view, a desire for P represents P as good in some respect. Desires and reasons are independent, so a desire might misrepresent one’s reasons. But this independence is usually taken to rule out that desires ever provide conclusive knowledge of reasons. Capturing the intuition about conclusive knowledge rules out capturing the intuition about fallibility, and vice versa. I propose an epistemological disjunctivist version of the guise of the good that reconciles fallibility with the possibility of conclusive knowledge. (shrink)

As the second decade of the twenty-first century begins, political leaders across Western Europe have increasingly pointed to Muslims' bodily attitudes as indicative of their refusal to join the wider society, and as indicative of the failure of the society to sufficiently carry out programs of political socialization and assimilation. Among the targeted practices have been covering the hair or face , wearing loose, short trousers , refusing to shake hands with those of the opposite sex, and praying in the (...) street . Political actors have made both broader and more specific claims: that these badges of separation show that some Muslims refuse the rules of common social life, and that covering the hair or face shows that the oppression of women, either in particular cases or generally, remains part of Islamic culture. Civic "normality" is thereby portrayed against images of its opposite: people who by their bodily practices show themselves to be visibly and slavishly obedient, unmodern, and sectarian. I examine here how politically useful condemnations have been given the force of law in France. In particular, I trace a shift in the legal justifications for French laws and decisions targeting women's dress during the first decade of the 2000s. The shift, to be found in texts of court decisions and administrative practice, consists in moving from harm-based arguments to values-based ones. (shrink)

Genuine rules cannot capture our intuitive moral judgments because, if usable, they mention only a limited number of factors as relevant to decisions. But morally relevant factors are both numerous and unpredictable in the ways they interact to change priorities among them. Particularists have pointed this out, but their account of moral judgment is also inadequate, leaving no room for genuine reasoning or argument. Reasons must be general even if not universal. Particularists can insist that our judgments be reflective, (...) unbiased, informed, and sensitive, requiring a background of experiences that expand sympathy and empathy for others. But beyond this, our judgments must be coherent. This requirement provides a way to reason to the correct answer to a controversial issue—the answer most coherent with or body of settled judgments. Rawls' account of coherence in terms of reflective equilibrium, where we adjust particular judgments to match rules and adjust rules to match judgments, is rejected since rules have no independent force. Instead, the central requirement is that we not judge cases differently without being able to cite a morally relevant difference between them. Such differences must make a difference else-where as well, although they need not do so universally. Factors cannot be relevant in only one context because they reflect values that must recur to be maintained. The method of moral reasoning based on this requirement is specified as follows: first, the specification of competing values or interests in the problematic case; second, the location of paradigm cases in which these competing values are prioritized, making sure that these settled judgments are reflective, informed, and sensitive; third, the search for relevant differences between the settled and problematic cases or the location of alternative, more closely analogous paradigms. The paper ends with an illustration of the method applied to the issue of doctor assisted suicide. (shrink)

Several recent studies and initiatives have emphasized the importance of a strong ethical organizational DNA (ODNA) to create and promote an effective corporate governance culture of trust, integrity and intellectual honesty. This paper highlights the drawbacks of an excessively heavy reliance on rules-based approaches that increase the cost of doing business, overshadow essential elements of good corporate governance, create a culture of dependency, and can result in legal absolutism. The paper makes the case that the way forward for effective (...) corporate governance is to strike an optimal balance between rules-based and principles-based approaches. The recent corporate scandals have demonstrated that the ethical ODNA is critical to the driving force and basis of legal and regulatory requirements. Effective governance means adhering to ethical principles, not merely complying with rules, and is a crucial guardian of a firm’s reputation and integrity. It is through an effective corporate governance program (that is, one that optimally captures and integrates the appropriate aspects of rules-based and principles-based approaches, and identifies and assesses the related risks) that an organization can reconfigure its ODNA for improved performance. Focusing on the ethical ODNA as the basis of new governance measures provides an opportunity to develop a competitive advantage as it represents a potential source of differentiation, strengthens the relationship with all stakeholders of the organization by building a culture of trust and integrity, and re-instills investor confidence. This paper employs dialectical reasoning that links the ODNA through principles-driven rules in developing a risks-based approach. A comparison from a risk assessment perspective between rules-based and principles-based approaches is presented. Although there have been few applications employing dialectical reasoning in business research, this methodology can be extremely useful in isolating ethical issues and integrating them into the business process. The risks-based approach captures the benefits of both rules-based and principles-based approaches, and incorporates trust-based principles such␣as solidarity, subsidiarity and covenantal relationships. (shrink)

The information explosion and digital modes of learning often combine to inform the quest for the best ways of transforming information in digital form for pedagogical purposes. This quest has become more urgent and pervasive with the ‘turn’ to online learning in the context of COVID-19. This can result in linear, asynchronous, transmission-based modes of teaching and learning which commodify, package and deliver knowledge for individual ‘customers’. The primary concerns in such models are often technical and economic – technology (...) as a cost-effective ‘solution’ to educational challenges. In this paper I argue for the importance of dialogic learning space in teaching and learning by means of Information and Communication Technologies, whether in the form of fully online learning, blended learning or face-to-face encounters using ICT affordances. Although the 20th Century theorists Mikhail Bakhtin (1895–1975) and Hans-Georg Gadamer (1900–2002) produced their seminal works before the advent of ICTs, they were both concerned with the quality and authenticity of human engagement with texts and with other persons and contexts. Besides a shared interest in dialogue as an ontological feature of human life and being, they both used spatiotemporal concepts for understanding and interpreting texts. The article draws on Gadamer’s notions of dialogue and horizon, and Bakhtin’s notions of dialogue and chronotope, to conceptualize dialogic possibilities for online education. Its purpose is to provide a framework, grounded in Bakhtin’s and Gadamer’s ideas, for a dialogic approach to online teaching and learning in higher education. (shrink)

The paper is an opinionated tour of the literature on the reasons for which we hold beliefs and other doxastic attitudes, which I call ‘operative epistemic reasons’. After drawing some distinctions in §1, I begin in §2 by discussing the ontology of operative epistemic reasons, assessing arguments for and against the view that they are mental states. I recommend a pluralist non-mentalist view that takes seriously the variety of operative epistemic reasons ascriptions and allows these reasons to be both propositions (...) and truth-making facts. In §3, I turn to consider what it takes for a consideration to be an operative epistemic reason, examining three conditions – the representational, treating, and explanatory conditions – that have been proposed. I offer a novel view about the explanatory condition. In §4, I discuss the special case of inferential operative reasons and examine attempts to understand them in terms of rule-following, sketching a competence-based spinoff of dispositionalism. Finally, in §5, I consider whether there are non-inferential operative reasons, observing that one needn't countenance them to be a foundationalist but then developing a view about what they are and how they do and don't differ from inferential reasons. (shrink)

Nonmonotonic reasoning is a discipline of computer science, epistemology, and cognition: It models inferences where classical logic is inadequate in symbolic AI, defines normative models for reasoning with defeasible information in epistemology, and models human reasoning under information change in cognition. Its building blocks are defeasible rules formalised as DeFinetti conditionals. In this thesis, Christian Eichhorn examines qualitative and semi-quantitative inference relations on top said conditionals, using the conditional structure of the knowledge base and Spohn’s Ordinal Conditional (...) Functions, using established properties. Converting network approaches from probabilistics, he shows how to approach the relations with regard to implementation. (shrink)

Practical and theoretical shortcomings of an approach to moral education based on the development of moral reasoning are noted and the alternative of promiting the virtues is considered. The identification of apprpriate virtues with modes of commitment and conduct supportive of a particular way of life is held to raise the further question of why a particular way of life should be favored, and how our own way of life should e characterized. This latter, permitting social and geographical (...) mobility, anonymity and value pluralism, is contrasted with that of small, more traditional communities paradigmatic of communitarian ethics. an ethic of respect for equal freedom is held to be compatible with the current nature of society and to be favored by the virtue of appropriate self-assertion. The educational implications of such a conclusion are explored. (shrink)

In this article, we present an argumentative approach to normative reasoning. Special attention is paid to deontic conflicts, contrary-to-duty and specificity cases, which are modelled by means of argumentative attacks. For this, we adopt a recently proposed framework for logical argumentation in which arguments are generated by a sequent calculus of a given base logic of Argument & Computation ), and use standard deontic logic as our base logic. Argumentative attacks are realized by elimination rules that allow to discharge (...) specific sequents. We demonstrate the usefulness of our approach by means of various well-known benchmark examples, and show that this approach is rich enough to capture a variety of paradigms for handling conflicting norms such as reasoning with maximally consistent sets, prioritized norms and deontic formalisms based on I/O logic. (shrink)

To speak of human rights in the twenty-first century is to speak of proportionality. Proportionality has been received into the constitutional doctrine of courts in continental Europe, the United Kingdom, Canada, New Zealand, Israel, South Africa, and the United States, as well as the jurisprudence of treaty-based legal systems such as the European Convention on Human Rights. Proportionality provides a common analytical framework for resolving the great moral and political questions confronting political communities. But behind the singular appeal to (...) proportionality lurks a range of different understandings. This volume brings together many of the world's leading constitutional theorists - proponents and critics of proportionality - to debate the merits of proportionality, the nature of rights, the practice of judicial review, and moral and legal reasoning. Their essays provide important new perspectives on this leading doctrine in human rights law. (shrink)

Practical and theoretical shortcomings of an approach to moral education based on the development of moral reasoning are noted and the alternative of promoting the virtues is considered. The identification of appropriate virtues with modes of commitment and conduct supportive of a particular way of life is held to raise the further question of why a particular way of life should be favoured, and how our own way of life should be characterised. This latter, permitting social and geographical (...) mobility, anonymity and value pluralism, is contrasted with that of smaller, more traditional communities paradigmatic of communitarian ethics. An ethic of respect for equal freedom is held to be compatible with the current nature of society and to be favoured by the virtue of appropriate self-assertion. The educational implications of such a conclusion are explored. (shrink)

Few automated legal reasoning systems have been developed in domains of law in which a judicial decision maker has extensive discretion in the exercise of his or her powers. Discretionary domains challenge existing artificial intelligence paradigms because models of judicial reasoning are difficult, if not impossible to specify. We argue that judicial discretion adds to the characterisation of law as open textured in a way which has not been addressed by artificial intelligence and law researchers in depth. We (...) demonstrate that systems for reasoning with this form of open texture can be built by integrating rule sets with neural networks trained with data collected from standard past cases. The obstacles to this approach include difficulties in generating explanations once conclusions have been inferred, difficulties associated with the collection of sufficient data from past cases and difficulties associated with integrating two vastly different paradigms. A knowledge representation scheme based on the structure of arguments proposed by Toulmin has been used to overcome these obstacles. The system, known as Split Up, predicts judicial decisions in property proceedings within family law in Australia. Predictions from the system have been compared to those from a group of lawyers with favourable results. (shrink)

When unmanned underwater vehicles perform tasks, the marine environment situation information perceived by their sensors is insufficient and cannot be shared; moreover, the reasoning efficiency of the situation information is not high. To deal with these problems, this paper proposes an ontology-based situation awareness information expression method, using the Bayesian network method to reason about situation information. First, the situation awareness information is determined in uncertain events when performing tasks in the marine environment. The core and application ontologies (...) of UUV situation awareness are also established. Subsequently, semantic rules are constructed, and uncertain events are identified through the corresponding semantic rules. The Jess inference engine is used to update the ontology model. Because the ontology cannot reason about uncertainty, it is transformed into the Bayesian network to reason about the impacts of uncertain events on tasks. Simulation experiments verify the effectiveness and accuracy of the situation awareness reasoning method that combines the ontology and the Bayesian network. (shrink)

The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes.

As Kant claimed in the Groundwork, and as the idea has been developed by Korsgaard 1997, Bratman 1987, and Broome 2002. This formulation is agnostic on whether reasons for ends derive from our desiring those ends, or from the relation of those ends to things of independent value. However, desire-based theorists may deny, against Hubin 1999, that their theory is a combination of a principle of instrumental transmission and the principle that reasons for ends are provided by desires. Instead, (...) they may say, there is just one principle, a principle of, if you will, instrumental transmutation: if one desires the end, then one has reason to take the means. See the discussion of General Production, in section 8, for a doubt about this. (shrink)

The motivation of this study is that Reiter’s default theory as well as assumption-based argumentation frameworks corresponding to default theories have difficulties in handling disjunctive information, while a disjunctive default theory (ddt) avoids them. This paper presents the semantic correspondence between generalized assumption-based argumentation (ABA) and extended disjunctive logic programming as well as the correspondence between ABA and nonmonotonic reasoning approaches such as disjunctive default logic and prioritized circumscription. To overcome the above-mentioned difficulties of ABA frameworks corresponding (...) to default theories, we propose an assumption-based framework (ABF) translated from an extended disjunctive logic program (EDLP) since an EDLP can be translated into a ddt. Our ABF incorporates explicit negation and the connective of disjunction “|” to Heyninck and Arieli’s ABF induced by a disjunctive logic program. In this paper, first, we show how arguments are constructed from disjunctive rules in our proposed ABF. Then, we show the correspondence between answer sets of an EDLP P and stable extensions of the ABF translated from P with trivialization rules. After defining rationality postulates, we show answer sets of a consistent EDLP are captured by consistent stable extensions of the translated ABF with no trivialization rules. Finally, we show the correspondence between ABA and disjunctive default logic (resp. prioritized circumscription). The relation between ABA and possible model semantics of EDLPs is also discussed. (shrink)

We show that if an agent reasons according to standard inference rules, the truth and introspection axioms extend from the set of non-epistemic propositions to the whole set of propositions. This implies that the usual axiomatization of partitional possibility correspondences is redundant, and provides a justification for truth and introspection that is partly based on reasoning.

The development of reasoning systems exploiting expert knowledge from interactions with humans is a non-trivial problem, particularly when considering how the information can be coded in the knowledge representation. For example, in human development, the acquisition of knowledge at one level requires the consolidation of knowledge from lower levels. How is the accumulated experience structured to allow the individual to apply knowledge to new situations, allowing reasoning and adaptation? We investigate how this can be done automatically by an (...) iCub that interacts with humans to acquire knowledge via demonstration. Once consolidated, this knowledge is used in further acquisitions of experience concerning preconditions and consequences of actions. Finally, this knowledge is translated into rules that allow reasoning and planning for novel problem solving, including a Tower of Hanoi scenario. We thus demonstrate proof of concept for an interaction system that uses knowledge acquired from human interactions to reason about new situations. (shrink)

The 'no-supervenience' theorem (Reason, 2019; Reason and Shah, 2021) is a proof that no fully self-aware system can entirely supervene on any objectively observable system. I here present a simple, non-technical summary of the proof and demonstrate its implications for four separate theories of consciousness: the 'property dualism' theory of David Chalmers; the 'reflexive monism' of Max Velmans; Galen Strawson's 'realistic monism'; and the 'illusionism' of Keith Frankish. It is shown that all are ruled out in their current form by (...) the no-supervenience theorem, except for Chalmers' theory, which I show requires humans to behave irrationally. (shrink)

In this paper, we continued the preparatory works of Jingde Cheng in conjunction with spatio-temporal relevant logics, and proposed several epistemic spatio-temporal relevant logics as basic logics for Mobile Multi-Agent Systems (MMAS). To establish an inference system, important elements are: semantics and syntax appropriate to it include a language, axioms and inference rules. By proving the meta-logical properties such as soundness and consistency, completeness and decidability and etc., we have a method to test the reliability of the systems. Finally, we (...) will have models and algorithms for the application of these logics in the MMAS. (shrink)

In this paper we address the modelling of reasoning processes in natural agents. We focus on a very basic kind of non-monotonic inference for which we identify a simple and plausible underlying process, and we develop a family of logical models that allow to match this process. Partial worlds models, as we call them, are a variant of Kraus, Lehmann and Magidor’s cumulative models. We show that the inference relations they induce form a strict subclass of cumulative relations and (...) tackle the issue of providing sound and complete sets of rules to characterise them. Taking inspiration from the work of Gabbay and Schlechta, we analyse the question in terms of definable sets of partial worlds and conclude that completeness is probably unreachable using a standard propositional language. This brings us to enrich our language with an additional connective, which makes it possible to distinguish between two kinds of disjunction in the partial worlds context. Within this renewed framework, we provide two representation theorems: one for inference relations induced by precisification-free smooth models, and the other for inference relations induced by precisification-free ranked models. Finally we give an aperçu of how partial worlds models lend themselves to the modelling of learning. (shrink)

Barbey & Sloman (B&S) claim that frequency formats and other task manipulations induce people to substitute associative thinking for rule-based thinking about nested sets. My critique focuses on the substitution assumption. B&S demonstrate that nested sets are important to solve base-rate problems but they do not show that thinking about these nested sets relies on a different type of reasoning.