Similarity Representation

  • Oleg M. AnshakovEmail author
  • Tamás Gergely
Part of the Cognitive Technologies book series (COGTECH)


Let σ be a basic JSM signature and 𝔍; be an L-structure of signature σ, where L is a PJ logic.Then 𝔍; is called a basic JSM-structure (BJSMstructure), if it is a model of the axioms (S1)—(S4) and (SA) of the basic JSM theory.


Partial Order Induction Step Similarity Representation Structural Fragment Distinguishability Condition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  1. 1.Intelligent Systems DepartmentInstitute for Linguistics, Russian State University for the HumanitiesMoscowRussia
  2. 2.Applied Logic LaboratoryBudapestHungary

Personalised recommendations