Dynamic Semantics at Work
نویسندگان
چکیده
In this case study we show how an unambiguous semantic representation can be constructed dynamically in left-to-right order while a text is written in PENG, a controlled natural language designed for knowledge representation. PENG can be used in contexts where precise texts (e.g. software specifications, axioms for formal ontologies, legal documents) need to be composed. Texts written in PENG look seemingly informal and are easy to write and to read for humans but have first-order equivalent properties that make these texts computer-processable.
منابع مشابه
Dynamic Categorization of Semantics of Fashion Language: A Memetic Approach
Categories are not invariant. This paper attempts to explore the dynamic nature of semantic category, in particular, that of fashion language, based on the cognitive theory of Dawkins’ memetics, a new theory of cultural evolution. Semantic attributes of linguistic memes decrease or proliferate in replication and spreading, which involves a dynamic development of semantic category. More specific...
متن کاملFlexible , source level dynamic linking and re - linking � – Work in Progress –
We give a formal semantics for dynamic linking and re-linking of code. The semantics is at source language level, and allows linking at a finer grain than current Java or C# implementations: Besides supporting the loading and verification of classes interleaved with program execution, it also allows type-safe removal and replacement of classes, fields and methods. Such extended features support...
متن کاملUnifying static and dynamic denotational semantics
This work deals with semantics of programming languages (or equivalently, thanks to Curry-Howard isomorphism, with semantics of proofs). We introduce a framework in which both static semantics (Ehrhard’s hypercoherences) and dynamic semantics (Hyland-Ong’s games), can be presented. The work is carried in a multiplicative subsystem of Laurent’s polarized linear logic with weakening. Like Böhm tr...
متن کاملBilattice Public Announcement Logic
Building on recent work on bilattice modal logic and extensions of public announcement logic to a non-classical setting, we introduce a dynamic epistemic logic having the logic of modal bilattices as propositional support. Bilattice logic is both inconsistency-tolerant and paracomplete, thus suited for applications in contexts with multiple sources of information, where one may have to deal wit...
متن کاملDeep Semantics of Visual Languages
Visual specification of software is gaining popularity, but its usage is restricted by the lack of precise semantics of visual languages. In the present work, precise semantics of visual languages is defined. Three kinds of deep semantics of schemes are presented as different ways of usage of attribute models of schemes. Attribute models of a wide class of schemes are defined and higher-order a...
متن کاملLiving the Life Aquatic Does Presupposition Accommodation Mandate Dynamic Semantics?
What should a semantic theory for a language tell us? A traditional answer goes back at least to Frege and Russell: • The Static Conception of Semantics (Preliminary Version): A semantic theory should assign a proposition, conceived of as some carrier of meaning that can play the role of truth condition determination, to each (or at least each declarative) sentence. A competing answer has emerg...
متن کامل