Formalizing commitments using the event calculus and RuleML

2021 ◽  
pp. 1-26
Author(s):  
Joost de Kruijff ◽  
Hans Weigand
Keyword(s):  
Deontic Logic ◽  
Autonomous Agents ◽  
Formal Logic ◽  
Smart Contracts ◽  
Event Calculus

Smart Contracts enable the automated execution of exchanges on the blockchain. From an ontological perspective, smart contracts create and automate the fulfillment of social commitments between actors. Whereas traditional deontic logic is used to make a legal determination in contractual multi-actor interactions, this paper focuses on the consequences of these actions resulting from that determination, thereby shifting the focus from monitoring to execution. The interactions between actors and the consequences in terms of commitments have not yet been formalized for smart contracts. The perspective of smart contracts is interesting, since they are considered to be autonomous agents, able to generate automated actions. We use the Event Calculus as a formal logic to represent and reason about the effects of these automated actions and the resulting commitments. Since the Event Calculus deals with local events and the consideration of time, this approach enables the uniform representation of commitments, including their operations and reasoning rules.

Ist Blockchain eine Disruptive Technologie?: Welche Rolle spielen in Zukunft Smart Contracts?

2018 ◽  
Vol 23 (03) ◽  
pp. 69-69
Author(s):  
Gregor Hohenberg
Keyword(s):  
Smart Contracts

Die Digitalisierung ist mehr als ein technologischer Trend – sie verändert auch die Organisation im Krankenhaus. Daher ist dieses Thema zur Chefsache geworden. Schließlich geht es um die grundsätzlichen Geschäftsmodelle und daher um die Zukunftsfähigkeit der Einrichtung. Speziell die Blockchaintechnologie wirft grundsätzliche Fragen auf.

ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE)

2019 ◽  
pp. 40-47
Author(s):  
E. A. Mironchik
Keyword(s):  
Geometric Model ◽  
Main Idea ◽  
Formal Logic ◽  
High Complexity ◽  
Geometric Models ◽  
Complexity Problem ◽  
Logical Expression ◽  
State Examination

The article discusses the method of solving the task 18 on the Unified State Examination in Informatics (Russian EGE). The main idea of the method is to write the conditions of the problem utilizing the language of formal logic, using elementary predicates. According to the laws of logic the resulting complex logical expression would be transformed into an expression, according to which a geometric model is supposed to be constructed which allows to obtain an answer. The described algorithm does allow high complexity problem to be converted into a simple one.

Application of Blockchain in KYC Compliance

2020 ◽  
Vol 5 (7) ◽  
pp. 781-784
Author(s):  
Shashank R. B. ◽  
Chirag Chhabra ◽  
Nagaraj G. Cholli
Keyword(s):  
Smart Contracts ◽  
Advantages And Disadvantages ◽  
Current Process ◽  
Thomson Reuters

The current process of Know Your Customer (KYC) used by banks is time-consuming, expensive, and redundant in practice. A Thomson Reuters Research states that while banks globally spend around 60 million USD on an average, this number may go up to 500 million USD for some banks [1]. Hence, to improve the efficiency of this process, the use of a blockchain-based mechanism is suggested. The use of smart contracts also provides scope for adding features that cannot be achieved by the current process. The paper majorly discusses the advantages and disadvantages of using blockchain for performing KYC processes.

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.

¿Razonamos en función de nuestro conocimiento general? Un estudio de las interacciones entre el procesamiento de la información y la inferencia lógica

2015 ◽  
pp. 33
Author(s):  
Miguel López Astorga
Keyword(s):  
Information Processing ◽  
Teaching And Learning ◽  
Learning Processes ◽  
Formal Logic ◽  
Conditional Reasoning ◽  
General Knowledge

RESUMENEn este trabajo, analizamos un experimento sobre el razonamiento condicional de Staller, Sloman y Ben-Zeev (2000). En dicho experimento, los sujetos parecen manifestar un comportamiento contrario a las prescripciones de la lógica formal. Nosotros lo revisamosy descubrimos todas las variables que es preciso atender en los procesos de enseñanza y aprendizaje, variables que no siempre son consideradas por los docentes.Palabras clave: condicional, conocimiento general, inferencia, procesamiento de la información, representación mental.DO WE REASON ACCORDING TO OUR GENERALKNOWLEDGE? A STUDY ABOUT INTERACTIONSBETWEEN INFORMATION PROCESSING AND LOGICALINFERENCEABSTRACTIn this paper, I analyze an experiment about conditional reasoning presented by Staller,Sloman and Ben-Zeev (2000). In that experiment, the subjects’ behavior seems contradictory to prescriptions of formal logic. I check it and I discover all the variables that we need to deal with them in teaching and learning processes, despite that such variables are notalways checked by the teachers.Keywords: conditional, general knowledge, inference, information processing, mentalrepresentation.

Truth Matters: Cognitive Integrity as an Intervention for Self-Deception

2017 ◽  
Author(s):  
Eugenia Isabel Gorlin ◽  
Michael W. Otto
Keyword(s):  
Decision Making ◽  
Problem Solving ◽  
Autonomous Agents ◽  
Therapeutic Interventions ◽  
Empirical Validation ◽  
The Past ◽  
Adaptive Problem

To live well in the present, we take direction from the past. Yet, individuals may engage in a variety of behaviors that distort their past and current circumstances, reducing the likelihood of adaptive problem solving and decision making. In this article, we attend to self-deception as one such class of behaviors. Drawing upon research showing both the maladaptive consequences and self-perpetuating nature of self-deception, we propose that self-deception is an understudied risk and maintaining factor for psychopathology, and we introduce a “cognitive-integrity”-based approach that may hold promise for increasing the reach and effectiveness of our existing therapeutic interventions. Pending empirical validation of this theoretically-informed approach, we posit that patients may become more informed and autonomous agents in their own therapeutic growth by becoming more honest with themselves.

Sign in / Sign up

Export Citation Format

Share Document