skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Semiotic labelled deductive systems


We review the class of Semiotic Models put forward by Pospelov, as well as the Labelled Deductive Systems developed by Gabbay, and construct an embedding of Semiotic Models into Labelled Deductive Systems.

  1. Imperial College of Science, Technology and Medicine, London (United Kingdom)
Publication Date:
OSTI Identifier:
Report Number(s):
TRN: 97:001309-0035
Resource Type:
Resource Relation:
Conference: International multi-disciplinary conference on intelligent systems: a semiotic perspective, Gaithersburg, MD (United States), 21-23 Oct 1996; Other Information: PBD: 1996; Related Information: Is Part Of Intelligent systems: A semiotic perspective. Volume I: Theoretical semiotics; Albus, J.; Meystel, A.; Quintero, R.; PB: 303 p.
Country of Publication:
United States

Citation Formats

Nossum, R.T. Semiotic labelled deductive systems. United States: N. p., 1996. Web.
Nossum, R.T. Semiotic labelled deductive systems. United States.
Nossum, R.T. 1996. "Semiotic labelled deductive systems". United States. doi:.
title = {Semiotic labelled deductive systems},
author = {Nossum, R.T.},
abstractNote = {We review the class of Semiotic Models put forward by Pospelov, as well as the Labelled Deductive Systems developed by Gabbay, and construct an embedding of Semiotic Models into Labelled Deductive Systems.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = 1996,
month =

Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share:
  • This report contains the papers from the Proceedings of the 1996 International Multidisciplinary Conference - Theoretical Semiotics. General topics covered are: semiotic in biology: biologically inspired complex systems; intelligence in constructed complex systems; intelligence of learning and evolution; fuzzy logic and the mechanisms of generalization; information representation for decision making; sematic foundations; syntactics of intelligent systems: the kind of logic available; intelligence of recognition: the semiotic tools; and multiresolutional methods.
  • There is a growing need for a well-designed database system for searching and analyzing nucleotide sequence data. The authors developed Overlapping Oligonucleotide Database for Signal Sequence Search (ODS), the first relational database that integrates information on biological features into the search for signal sequence. Furthermore, based on it, a deductive database system to search and analyze nucleotide sequence data was developed. Deductive database system is a next generation one and it contains an inference system. Database queries in ODS are described in both SQL and logical rules. These queries are simple even for molecular biologists who are not experts inmore » computer programs. Particularly, queries based on logical rules are declarative and more powerful than those of SQL. Recursive rules are suitable for examining secondary structures of nucleotide sequences. In their analysis of TfR`s IRE, the authors noted five stem-and-loop structures.« less
  • In this paper the authors consider forms of autonomy, forms of semiotic systems, and any necessary relations among them. Levels of autonomy are identified as levels of system identity, from adiabatic closure to disintegration. Forms of autonomy or closure in systems are also recognized, including physical, dynamical, functional, and semiotic. Models and controls are canonical linear and circular (closed) semiotic relations respectively. They conclude that only at higher levels of autonomy do semiotic properties become necessary. In particular, all control systems display at least a minimal degree of semiotic autonomy; and all systems with sufficiently interesting functional autonomy are semioticallymore » related to their environments.« less
  • We suggest a further development of Vygotsky`s esthetic-semiotic model. First, we discuss Vygotsky`s model originally developed for the analysis of Ivan Bunin`s story {open_quotes}Light Breath{close_quotes}. Vygotsky analyzes formal methods used by Bunin to achieve a specific esthetic effect of {open_quote}lightness{close_quotes} while describing {open_quotes}dirty{close_quotes} events of everyday life. According to Vygotsky, this effect is achieved by ordering of events in a non-linear fashion. Vygotsky creams an airy pattern of smooth lines connecting events of story that he first orders linearly in time. And, he insists that this airy pattern creates an impression of airy lightness. In the language of semiotics, themore » esthetic effect is created by a specific structural organization of signs. Second, we present our critique of Vygotsky`s model. Although, we do not agree with Vygotsky`s sometimes moralistic judgements, and we consider the dynamics between inner personal values and received moral values to be more complicated than implied in his judgements, our critique in this paper is limited to the structure of his semiotic model. We emphasize that Vygotsky`s model does not explicitly account for a hierarchy of multiple levels of semiotic analysis. His analysis regularly slips from one level to another: (1) a lever of cognitive perception by a regular reader is confused with a level of creative genius of a writer; (2) {open_quotes}open{close_quotes} time of real world is mixed up with {open_quote}closed{close_quote} time of the story; (3) events are not organized by the hierarchy of their importance, nor in real world, nor in the inner model of the personages, nor in the story.« less
  • We address the question of how to identify and measure the degree of intelligence in systems. We define the presence of intelligence as equivalent to the presence of a control relation. We contrast the distinct atomic semioic definitions of models and controls, and discuss hierarchical and anticipatory control. We conclude with a suggestion about moving towards quantitative measures of the degree of such control in systems.