Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus

2020 ◽  
Author(s):  
Jens Claßen ◽  
James Delgrande
Keyword(s):  
Artificial Intelligence ◽  
Deontic Logic ◽  
Action Theory ◽  
Prima Facie ◽  
Situation Calculus ◽  
Artificial Agents ◽  
Planning Techniques ◽  
Course Of Action ◽  
Reasoning About Action ◽  
The Given

With the advent of artificial agents in everyday life, it is important that these agents are guided by social norms and moral guidelines. Notions of obligation, permission, and the like have traditionally been studied in the field of Deontic Logic, where deontic assertions generally refer to what an agent should or should not do; that is they refer to actions. In Artificial Intelligence, the Situation Calculus is (arguably) the best known and most studied formalism for reasoning about action and change. In this paper, we integrate these two areas by incorporating deontic notions into Situation Calculus theories. We do this by considering deontic assertions as constraints, expressed as a set of conditionals, which apply to complex actions expressed as GOLOG programs. These constraints induce a ranking of "ideality" over possible future situations. This ranking in turn is used to guide an agent in its planning deliberation, towards a course of action that adheres best to the deontic constraints. We present a formalization that includes a wide class of (dyadic) deontic assertions, lets us distinguish prima facie from all-things-considered obligations, and particularly addresses contrary-to-duty scenarios. We furthermore present results on compiling the deontic constraints directly into the Situation Calculus action theory, so as to obtain an agent that respects the given norms, but works solely based on the standard reasoning and planning techniques.

scholarly journals What you always wanted to know about the deterministic part of the International Planning Competition (IPC) 2014 (but were too afraid to ask)

2018 ◽  
Vol 33 ◽  
Author(s):  
Mauro Vallati ◽  
Lukáš Chrpa ◽  
Thomas L. Mccluskey
Keyword(s):  
Artificial Intelligence ◽  
State Of The Art ◽  
The State ◽  
Strong Impact ◽  
Significant Progress ◽  
Planning Techniques ◽  
Artificial Intelligence Planning ◽  
The Future ◽  
International Planning ◽  
Planning Approaches

AbstractThe International Planning Competition (IPC) is a prominent event of the artificial intelligence planning community that has been organized since 1998; it aims at fostering the development and comparison of planning approaches, assessing the state-of-the-art in planning and identifying new challenging benchmarks. IPC has a strong impact also outside the planning community, by providing a large number of ready-to-use planning engines and testing pioneering applications of planning techniques.This paper focusses on the deterministic part of IPC 2014, and describes format, participants, benchmarks as well as a thorough analysis of the results. Generally, results of the competition indicates some significant progress, but they also highlight issues and challenges that the planning community will have to face in the future.

scholarly journals Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach

2020 ◽  
Author(s):  
Björn Lellmann ◽  
Francesca Gulisano ◽  
Agata Ciabattoni
Keyword(s):  
Deontic Logic ◽  
Sequent Calculus ◽  
Prima Facie ◽  
Theoretic Approach ◽  
Deontic Reasoning ◽  
Complexity Results ◽  
Restricted Form ◽  
Philosophical School ◽  
Decidability And Complexity ◽  
Potential Use

Abstract Over the course of more than two millennia the philosophical school of Mīmāṃsā has thoroughly analyzed normative statements. In this paper we approach a formalization of the deontic system which is applied but never explicitly discussed in Mīmāṃsā to resolve conflicts between deontic statements by giving preference to the more specific ones. We first extend with prohibitions and recommendations the non-normal deontic logic extracted in Ciabattoni et al. (in: TABLEAUX 2015, volume 9323 of LNCS, Springer, 2015) from Mīmāṃsā texts, obtaining a multimodal dyadic version of the deontic logic $$\mathsf {MD}$$ MD . Sequent calculus is then used to close a set of prima-facie injunctions under a restricted form of monotonicity, using specificity to avoid conflicts. We establish decidability and complexity results, and investigate the potential use of the resulting system for Mīmāṃsā philosophy and, more generally, for the formal interpretation of normative statements.

scholarly journals Linear Regression Algorithm in Machine Learning through MATLAB

2021 ◽  
Vol 9 (12) ◽  
pp. 989-995
Author(s):  
Kalva Sindhu Priya
Keyword(s):  
Artificial Intelligence ◽  
Machine Learning ◽  
Deep Learning ◽  
Linear Regression ◽  
Mean Squared Error ◽  
Critical Part ◽  
Squared Error ◽  
Master Level ◽  
Predicted Model ◽  
The Given

Abstract: In the present scenario, it is quite aware that almost every field is moving into machine based automation right from fundamentals to master level systems. Among them, Machine Learning (ML) is one of the important tool which is most similar to Artificial Intelligence (AI) by allowing some well known data or past experience in order to improve automatically or estimate the behavior or status of the given data through various algorithms. Modeling a system or data through Machine Learning is important and advantageous as it helps in the development of later and newer versions. Today most of the information technology giants such as Facebook, Uber, Google maps made Machine learning as a critical part of their ongoing operations for the better view of users. In this paper, various available algorithms in ML is given briefly and out of all the existing different algorithms, Linear Regression algorithm is used to predict a new set of values by taking older data as reference. However, a detailed predicted model is discussed clearly by building a code with the help of Machine Learning and Deep Learning tool in MATLAB/ SIMULINK. Keywords: Machine Learning (ML), Linear Regression algorithm, Curve fitting, Root Mean Squared Error

A Heuristic Application-Specific Path Planner for Robot Motion Planning

1992 ◽  
Author(s):  
David G. Alciatore
Keyword(s):  
Degrees Of Freedom ◽  
Optimal Solution ◽  
Plant Design ◽  
Planning Techniques ◽  
Construction Automation ◽  
Path Planner ◽  
Joint Limits ◽  
The Given ◽  
Application Specific ◽  
Equipment Operator

Abstract This paper presents the development and simulation results of a Heuristic Application-Specific Path Planner (HASPP) that can be used to automatically plan trajectories for a manipulator operating around obstacles. Since the implementation of HASPP is inherently application-specific due to dependence on heuristics, the application of HASPP to an eight degree of freedom Pipe Manipulator is presented as an illustrative example. This development and simulation was implemented on a Silicon Graphics Personal IRIS with the aid of WALKTHRU, a 3-D simulation and animation tool, and software developed in C. HASPP uses extensive knowledge of the manipulator’s workspace and makes certain assumptions about the environment in finding trajectories. The algorithm also makes use of the manipulator’s redundant degrees of freedom to avoid obstacles and joint limits during the trajectory while obtaining a heuristic near-optimal solution. The algorithm is rule-based, governed by heuristics and well-defined geometric tests, providing extremely fast results. It finds “good” trajectories that are optimal within the defined heuristics. When a trajectory is not feasible for the given geometry, the algorithm offers a diagnosis of the limiting constraints. The Pipe Manipulator HASPP implementation has been tested thoroughly with the computer graphics model and it has demonstrated the ability to reliably determine near-optimal collision-free erection trajectories completely automatically. No other planning techniques available in the literature have demonstrated the ability to solve problems as complex as the example presented here. The use of HASPP with simulation offers many application opportunities including plant design constructability studies, assembly and maintenance planning, pre-planning and pre-programming of equipment tasks, and equipment operator assistance. This work was the result of construction automation research sponsored by the National Science Foundation.

Deontic Relationship in the Context of Jan Woleński’s Metaethical Naturalism

Studia Humana ◽  
2020 ◽  
Vol 9 (3-4) ◽  
pp. 120-130
Author(s):  
Tomasz Jarmużek ◽  
Mateusz Klonowski ◽  
Rafał Palczewski
Keyword(s):  
Deontic Logic ◽  
Possible Worlds ◽  
Normative System ◽  
System A ◽  
Relationship Of ◽  
The Given

AbstractIn this paper, we indicate how Jan Woleński’s non-linguistic concept of the norm allows us to clarify the deontic relationship between sentences and the given normative system. A relationship of this kind constitutes a component of the metalogic of relating deontic logic, which subjects the logical value of the deontic sentence to the logical value of the constituent sentence and its relationship with a given normative system in the accessible possible worlds.

INFLUENCE OF ARTIFICIAL INTELLIGENCE TECHNOLOGIES ON DEMOCRATIC PROCEDURES

2021 ◽  
Vol 3 ◽  
pp. 16-21
Author(s):  
S. FURS ◽  
Keyword(s):  
Artificial Intelligence ◽  
Negative Impact ◽  
Social Medium ◽  
Potential Risks ◽  
The Given

The article considers the specifics of the artificial intelligence (AI) technologies implementation and adaptation into social medium; it shows the interaction between the given process and democratic procedures. The author of the article emphasizes the fact that, in addition to the powerful results, AI technologies bear the potential risks to democratic procedures that are not studied enough. These risks result from the openness of AI technology in terms of purposes of use and application areas. To neutralize its negative impact and manifestation in future, an active study of this problem is required within the framework of the regulatory sphere. The article is dedicated to the consideration of this issue.

Moral dilemmas

2018 ◽  
Author(s):  
Shyam Nair
Keyword(s):  
Moral Theory ◽  
Deontic Logic ◽  
Moral Dilemma ◽  
Moral Dilemmas ◽  
Careful Consideration ◽  
Moral Emotions ◽  
The Other ◽  
Ought Implies Can ◽  
Other Hand ◽  
Course Of Action

A moral dilemma is a situation where an agent’s obligations conflict. Debate in this area focuses on the question of whether genuine moral dilemmas exist. This question involves considering not only the nature and significance of dilemmas, but also the connections between dilemmas, the logic of obligation and moral emotions. Certain cases involving difficult choices suggest that moral dilemmas exist. These cases also suggest that dilemmas are significant because they show that moral theory cannot help with these choices. If this is right, morality may be unimportant because it may be a system of inconsistent rules that cannot be used as a guide that tells us what to do. But this understanding of the cases is disputable. Perhaps the cases show that agents can be ignorant about what they ought to do. Or perhaps dilemmas are not significant because moral theory tells agents to do the most important of their obligations. On the other hand, principles from the logic of obligation or deontic logic can be used to argue against the existence of moral dilemmas. Principles of deontic logic such as the ‘ought’ implies ‘can’ principle and the agglomeration principle, which says that if you ought to do a and ought to do b, then you ought to do a and b, taken together with the assumption that moral dilemmas exist, turn out to entail a contradiction. This means that one of these principles must be given up, or else it must be the case that moral dilemmas do not exist. Careful consideration of the moral emotions has suggested that dilemmas do exist. It is appropriate for agents to feel guilt only if they ought to have done otherwise. In cases involving difficult choices, it is appropriate to feel guilt no matter what course of action is taken. This suggests that such cases involve genuine dilemmas.

scholarly journals From the Tree of Knowledge and the Golem of Prague to Kosher Autonomous Cars: The Ethics of Artificial Intelligence Through Jewish Eyes

2020 ◽  
Vol 9 (1) ◽  
pp. 132-156
Author(s):  
Nachshon (Sean) Goltz ◽  
John Zeleznikow ◽  
Tracey Dowdeswell
Keyword(s):  
Artificial Intelligence ◽  
Machine Learning ◽  
Intelligent Agents ◽  
Autonomous Vehicles ◽  
Artificial Agents ◽  
Adam And Eve ◽  
Legal Personhood ◽  
Jewish Ethics ◽  
Tree Of Knowledge ◽  
Democratic Engagement

Abstract This article discusses the regulation of artificial intelligence from a Jewish perspective, with an emphasis on the regulation of machine learning and its application to autonomous vehicles and machine learning. Through the Biblical story of Adam and Eve as well as Golem legends from Jewish folklore, we derive several basic principles that underlie a Jewish perspective on the moral and legal personhood of robots and other artificially intelligent agents. We argue that religious ethics in general, and Jewish ethics in particular, show us that the dangers of granting moral personhood to robots and in particular to autonomous vehicles lie not in the fact that they lack a soul—or consciousness or feelings or interests—but because to do so weakens our own ability to develop as fully autonomous legal and moral persons. Instead, we argue that existing legal persons should continue to maintain legal control over artificial agents, while natural persons assume ultimate moral responsibility for choices made by artificial agents they employ in their service. In the final section of the article we discuss the trolley dilemma in the context of governing autonomous vehicles and sketch out an application of Jewish ethics in a case where we are asking Artificial Intelligence to make life and death decisions. Our novel contribution is two-fold; first, we bring a religious approach to the discussion of the ethics of Artificial Intelligence which has hitherto been dominated by secular Western philosophies; second, we raise the idea that artificial entities who are trained through machine learning can be ethically trained in much the same way that human are—through reading and reflecting on core religious texts. This is both a way of ensuring the ethical regulation of artificial intelligence, but also promotes other core values of regulation, such as democratic engagement and user choice.

Sign in / Sign up

Export Citation Format

Share Document