scholarly journals A Generalized Formal Semantic Framework for Smart Contracts

Author(s):  
Jiao Jiao ◽  
Shang-Wei Lin ◽  
Jun Sun
2016 ◽  
Vol 42 (4) ◽  
pp. 703-725 ◽  
Author(s):  
Nicholas Asher ◽  
Tim Van de Cruys ◽  
Antoine Bride ◽  
Márta Abrusán

In this article, we explore an integration of a formal semantic approach to lexical meaning and an approach based on distributional methods. First, we outline a formal semantic theory that aims to combine the virtues of both formal and distributional frameworks. We then proceed to develop an algebraic interpretation of that formal semantic theory and show how at least two kinds of distributional models make this interpretation concrete. Focusing on the case of adjective–noun composition, we compare several distributional models with respect to the semantic information that a formal semantic theory would need, and we show how to integrate the information provided by distributional models back into the formal semantic framework.


2019 ◽  
Vol 116 (8) ◽  
pp. 413-446 ◽  
Author(s):  
Justin D'Ambrosio ◽  

In this paper, I develop and defend a new adverbial theory of perception. I first present a semantics for direct-object perceptual reports that treats their object-positions as supplying adverbial modifiers, and I show how this semantics definitively solves the many-property problem for adverbialism. My solution is distinctive in that it articulates adverbialism from within a well-established formal semantic framework and ties adverbialism to a plausible semantics for perceptual reports in English. I then go on to present adverbialism as a theory of the metaphysics of perception. The metaphysics I develop treats adverbial perception as a directed activity: it is an activity with success conditions. When perception is successful, the agent bears a relation to a concrete particular, but perception need not be successful; this allows perception to be fundamentally non-relational. The result is a novel formulation of adverbialism that eliminates the need for representational contents, but also treats successful and unsuccessful perceptual events as having a fundamental common factor.


2012 ◽  
Vol 12 (1) ◽  
pp. 118-139 ◽  
Author(s):  
Emar Maier

AbstractI propose a uni ied semantic analysis of two phenomena characteristic of ancient Greek speech reporting, (i) the unmarked switching between direct and indirect discourse, and (ii) the use of οτι ('that') as a quotation introduction. I accommodate these phenomena in a formal semantic framework, where both can be modeled uniformly as instances of mixed quotation.


Author(s):  
Elin McCready

This chapter provides a formal semantic framework for the analysis of honorifics which satisfies two key criteria. First, many languages have honorific forms which reference the current discourse context, specifically the relationshipswhich hold between the various contextual agents. This means that any semantics for honorifics must provide a model of a discourse context which makes available the requisite formality relationships and relativizes them to agents; further, given that honorific use can evolve over a discourse, it is necessary to make whatever contexts are introduced dynamic in a way that tracks patterns of honorific use. Provision must also be made for the introduction of expressive properties, which is done via the use of a type-theory based analysis of expressive content.


2012 ◽  
Author(s):  
Hal Warren ◽  
Jon Corson-Rikert ◽  
Gary Vandenbos ◽  
Kristi Holmes ◽  
Eva Winer

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

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.


2020 ◽  
Vol 5 (7) ◽  
pp. 781-784
Author(s):  
Shashank R. B. ◽  
Chirag Chhabra ◽  
Nagaraj G. Cholli

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.


Sign in / Sign up

Export Citation Format

Share Document