Página 1 dos resultados de 223 itens digitais encontrados em 0.006 segundos

A novel XML document structure comparison framework based-on sub-tree commonalities and label semantics

Tekli, Joe; Chbeir, Richard
Fonte: ELSEVIER SCIENCE BV; AMSTERDAM Publicador: ELSEVIER SCIENCE BV; AMSTERDAM
Tipo: Artigo de Revista Científica
ENG
Relevância na Pesquisa
36%
XML similarity evaluation has become a central issue in the database and information communities, its applications ranging over document clustering, version control, data integration and ranked retrieval. Various algorithms for comparing hierarchically structured data, XML documents in particular, have been proposed in the literature. Most of them make use of techniques for finding the edit distance between tree structures, XML documents being commonly modeled as Ordered Labeled Trees. Yet, a thorough investigation of current approaches led us to identify several similarity aspects, i.e., sub-tree related structural and semantic similarities, which are not sufficiently addressed while comparing XML documents. In this paper, we provide an integrated and fine-grained comparison framework to deal with both structural and semantic similarities in XML documents (detecting the occurrences and repetitions of structurally and semantically similar sub-trees), and to allow the end-user to adjust the comparison process according to her requirements. Our framework consists of four main modules for (i) discovering the structural commonalities between sub-trees, (ii) identifying sub-tree semantic resemblances, (iii) computing tree-based edit operations costs...

Structural testing for message-passing concurrent programs: an extended test model

Souza, Paulo Sergio Lopes de; Souza, Simone do Rocio Senger de; Zaluska, Edward John
Fonte: John Wiley and Sons; Malden Publicador: John Wiley and Sons; Malden
Tipo: Artigo de Revista Científica
ENG
Relevância na Pesquisa
36.16%
Developing high-quality, error-free message-passing concurrent programs is not trivial. Although a number of different primitives with associated semantics are available to assist such development, they often increase the complexity of the testing process. In this paper, we extend our previous test model for messagepassing programs and present new structural testing criteria, taking into account additional features used in this paradigm, such as collective communication, non-blocking sends, distinct semantics for non-blocking receives, and persistent operations. Our new model also recognizes that sender primitives cannot always be matched with every receive primitive. This improvement allows us to remove statically a significant number of infeasible synchronization edges that would otherwise have to be analyzed later by the tester. In this paper, the test model is presented using the Message-Passing Interface standard; however, our new model has been designed to be flexible, and it can be configured to support a range of different messagepassing environments or languages. We have carried out case studies showing the applicability of the new test model to represent message-passing programs and also to reveal errors, mainly those errors related to inter-process communication. In addition to increasing the number of features supported by the test model...

Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela; Improving the structural testing of concurrent programs: a deterministic and parallel approach

Batista, Raphael Negrisoli
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 27/03/2015 PT
Relevância na Pesquisa
36%
O teste de programas concorrentes é uma atividade custosa devido principalmente à quantidade de sequências de sincronização que devem ser testadas para validar tais programas. Uma das técnicas mais utilizadas para testar a comunicação e sincronização de programas concorrentes é a geração automática de diferentes pares de sincronização ou, em outras palavras, a geração de variantes de disputa (race variant). Nesta técnica as variantes de disputa são geradas a partir de arquivos de rastro de uma execução não-determinística e algoritmos de execução determinística são utilizados para forçar que diferentes sincronizações sejam cobertas. Este trabalho aborda de maneira abrangente este problema, cujo objetivo principal é reduzir o tempo de resposta da atividade de teste estrutural de programas concorrentes quando diferentes variantes de disputa são executadas. Há três principais contribuições neste trabalho: (1) geração de arquivos de rastro e execução determinística total/parcial, (2) geração automática de variantes e (3) paralelização da execução das variantes. Diferentemente de outros trabalhos disponíveis na literatura, os algoritmos propostos consideram programas concorrentes que interagem simultaneamente com passagem de mensagens e memória compartilhada. Foram consideradas seis primitivas com semânticas distintas: ponto-a-ponto bloqueante/não bloqueante...

Optimization of query results in peer-to-peer database supported by semantics

Valêncio, Carlos Roberto; Costa, Leandro Rincon; Carreira, Juliano Augusto; Tronco, Mario Luiz
Fonte: Universidade Estadual Paulista Publicador: Universidade Estadual Paulista
Tipo: Conferência ou Objeto de Conferência Formato: 281-286
ENG
Relevância na Pesquisa
36.27%
The development of new technologies that use peer-to-peer networks grows every day, with the object to supply the need of sharing information, resources and services of databases around the world. Among them are the peer-to-peer databases that take advantage of peer-to-peer networks to manage distributed knowledge bases, allowing the sharing of information semantically related but syntactically heterogeneous. However, it is a challenge to ensure the efficient search for information without compromising the autonomy of each node and network flexibility, given the structural characteristics of these networks. On the other hand, some studies propose the use of ontology semantics by assigning standardized categorization of information. The main original contribution of this work is the approach of this problem with a proposal for optimization of queries supported by the Ant Colony algorithm and classification though ontologies. The results show that this strategy enables the semantic support to the searches in peer-to-peer databases, aiming to expand the results without compromising network performance. © 2011 IEEE.

Using Structural Analysis to Mediate XML Semantic Interoperability

Gupta, Amar; Mishra, Ashish; Ripley, Michael
Fonte: MIT - Massachusetts Institute of Technology Publicador: MIT - Massachusetts Institute of Technology
Formato: 317818 bytes; application/pdf
EN_US
Relevância na Pesquisa
36%
At the forefront of interoperability using XML in an Internet environment is the issue of semantic trans-lation; that is, the ability to properly interpret the elements, attributes, and values contained in an XML file. In many cases, specific domains have standardized the way data are represented in XML. When this does not occur, some type of mediation is required to interpret XML formatted data that does not adhere to pre-defined semantics. The prototype X-Map was developed to investigate what is required to mediate semantic interoperability between heterogeneous domains. An essential component of this system is structural analysis of data representations in the respective domains. When mediating XML data between similar but non-identical domains, we cannot rely solely on semantic similarities of tags and/or the data content of elements to establish associations between related elements, especially over the Internet. To complement these discovered associations one can attempt to build on relationships based on the respective domain structures and the position and relationships of evaluated elements within those structures. For this purpose...

Historiografia-linguística da semântica estrutural de Greimas; Linguistic Historiography of structural semantics of Greimas

NESTOR, Paulo Henrique do Espírito Santo
Fonte: Universidade Federal de Goiás; BR; UFG; Mestrado em Letras e Linguística; Lingüística, Letras e Artes Publicador: Universidade Federal de Goiás; BR; UFG; Mestrado em Letras e Linguística; Lingüística, Letras e Artes
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
66.41%
The studies of meaning brought many internal and external controversies to the Linguistics, since the early thoughts from Plato and Aristotle in the old Greece. In the twentieth century, such discussions were intensified and built a polarization, in which there were the ones who defended the relevance of the studies on meaning, and the ones who believed to be impossible to develop those researches. In addition, the Linguistic Historiography is the approach developed in this thesis, in order to interpret the work Structural Semantics` theoretical productivity from the author Algirdas Julien Greimas, one of the linguists who defended vehemently the importance and legitimacy of the meaning analysis. Moreover, this guideline is justified due to the pertinence of this work in the linguistics setting, highlighted in different texts that deal with it as a watershed in the language studies. The Strcutural Semantics was published for the first time in French (1966), and it portrays surprisingly many aspects concerning the existing ideas in that period related to the meaning. Perhaps, Greimas lived in the most productive moment for the language studies of the twentieth century. Furthermore, it was in this period that Course in General Linguistics (Ferdinad de Saussure)...

Enforced generative patterns for the specification of the syntax and semantics of visual languages

Bottoni, Paolo; Guerra, Esther; Lara, Juan de
Fonte: Elsevier B.V. Publicador: Elsevier B.V.
Tipo: Conferência ou Objeto de Conferência
ENG
Relevância na Pesquisa
26.24%
This is the author’s version of a work that was accepted for publication in Journal of Visual Languages and Computing. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Visual Languages and Computing,19, 4 (2008) DO: 10.1016/j.jvlc.2008.04.004; Selected Papers from IEEE Symposium on Visual Languages and Human Centric Computing 2007 (VL/HCC 2007); We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to transformation rules resulting in new rules that modify models according to the pattern specification. In the case of a negative pattern, an application condition is added to the rule. In the case of a positive one, the rule is modified to consider additional context in its left-hand side and to increase its effects. We have defined these patterns in an abstract setting, which enables their instantiation for different structures, like graphs...

Proceedings Eight Workshop on Structural Operational Semantics 2011

Reniers, M. A.; Sobocinski, P.
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 13/08/2011
Relevância na Pesquisa
26.54%
This volume contains the proceedings of SOS 2011, the Eight Workshop on Structural Operational Semantics, held on the 5th of September 2011 in Aachen, Germany as an affiliated workshop of CONCUR 2011, the 22nd International Conference on Concurrency Theory. Structural operational semantics (SOS) provides a framework for giving operational semantics to programming and specification languages. A growing number of programming languages from commercial and academic spheres have been given usable semantic descriptions by means of structural operational semantics. Because of its intuitive appeal and flexibility, structural operational semantics has found considerable application in the study of the semantics of concurrent processes. It is also a viable alternative to denotational semantics in the static analysis of programs, and in proving compiler correctness. Moreover, it has found application in emerging areas of computing such as probabilistic systems and systems biology. Structural operational semantics has been successfully applied as a formal tool to establish results that hold for classes of process description languages. This has allowed for the generalization of well-known results in the field of process algebra, and for the development of a meta-theory for process calculi based on the realization that many of the results in this field only depend upon general semantic properties of language constructs. The workshop is a forum for researchers...

Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics

Borgström, Johannes; Luttik, Bas
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 25/07/2013
Relevância na Pesquisa
26.37%
This volume contains the proceedings of the Combined 20th International Workshop on Expressiveness in Concurrency and the 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013) which was held on 26th August, 2013 in Buenos Aires, Argentina, as an affiliated workshop of CONCUR 2013, the 24th International Conference on Concurrency Theory. The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, and rewrite systems) on the basis of their relative expressive power. The EXPRESS workshop series has run successfully since 1994 and over the years this focus has become broadly construed. The SOS workshops aim at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. One of the specific goals of the SOS workshop series is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS. Reports on applications of SOS to other fields are also most welcome...

Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics

Borgström, Johannes; Crafa, Silvia
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 06/08/2014
Relevância na Pesquisa
26.37%
This volume contains the proceedings of the Combined 21st International Workshop on Expressiveness in Concurrency and the 11th Workshop on Structural Operational Semantics (EXPRESS/SOS 2014) which was held on 1st September 2014 in Rome, Italy, as an affiliated workshop of CONCUR 2014, the 25th International Conference on Concurrency Theory. The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, and rewrite systems) on the basis of their relative expressive power. The EXPRESS workshop series has run successfully since 1994 and over the years this focus has become broadly construed. The SOS workshops aim at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. One of the specific goals of the SOS workshop series is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS. Reports on applications of SOS to other fields are also most welcome...

The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics

Hamana, Makoto; Matsuda, Kazutaka; Asada, Kazuyuki
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 27/11/2015
Relevância na Pesquisa
26.24%
The aim of this paper is to provide mathematical foundations of a graph transformation language, called UnCAL, using categorical semantics of type theory and fixed points. About twenty years ago, Buneman et al. developed a graph database query language UnQL on the top of a functional meta-language UnCAL for describing and manipulating graphs. Recently, the functional programming community has shown renewed interest in UnCAL, because it provides an efficient graph transformation language which is useful for various applications, such as bidirectional computation. In order to make UnCAL more flexible and fruitful for further extensions and applications, in this paper, we give a more conceptual understanding of UnCAL using categorical semantics. Our general interest of this paper is to clarify what is the algebra of UnCAL. Thus, we give an equational axiomatisation and categorical semantics of UnCAL, both of which are new. We show that the axiomatisation is complete for the original bisimulation semantics of UnCAL. Moreover, we provide a clean characterisation of the computation mechanism of UnCAL called "structural recursion on graphs" using our categorical semantics. We show a concrete model of UnCAL given by the lambdaG-calclus, which shows an interesting connection to lazy functional programming.; Comment: 40 pages

Proceedings Sixth Workshop on Structural Operational Semantics

Klin, Bartek; Sobociński, Paweł
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 15/02/2010
Relevância na Pesquisa
26.33%
This volume contains the proceedings of SOS 2009, the Sixth Workshop on Structural Operational Semantics held on the 31st of August 2009 in Bologna, Italy as a affiliated workshop of CONCUR 2009, the 20th International Conference on Concurrency Theory. Structural operational semantics (SOS) is a technique for defining operational semantics for programming and specification languages. The workshop is forum for researchers, students and practitioners interested in new developments and directions for future investigations in the area of SOS. One of the specific goals of the workshop is to provide a meeting point for the concurrency and programming language communities. Another goal is the dissemination of the theory and practice of SOS amongst postgraduate students and young researchers worldwide.

Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics

Crafa, Silvia; Gebler, Daniel E.
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 25/08/2015
Relevância na Pesquisa
26.33%
This volume contains the proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015) which was held on 31 August 2015 in Madrid, Spain, as an affiliated workshop of CONCUR 2015, the 26th International Conference on Concurrency Theory. The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, and rewrite systems) on the basis of their relative expressive power. The EXPRESS workshop series has run successfully since 1994 and over the years this focus has become broadly construed. The SOS workshops aim at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. One of the specific goals of the SOS workshop series is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS. Since 2012...

Three Semantics for Modular Systems

Tasharrofi, Shahab; Ternovska, Eugenia
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 06/05/2014
Relevância na Pesquisa
26.24%
In this paper, we further develop the framework of Modular Systems that lays model-theoretic foundations for combining different declarative languages, agents and solvers. We introduce a multi-language logic of modular systems. We define two novel semantics, a structural operational semantics, and an inference-based semantics. We prove the new semantics are equivalent to the original model-theoretic semantics and describe future research directions.; Comment: Current paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics

Luttik, Bas; Reniers, Michel A.
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 12/08/2012
Relevância na Pesquisa
26.27%
This volume contains the proceedings of the Combined 19th International Workshop on Expressiveness in Concurrency and the 9th Workshop on Structural Operational Semantics (EXPRESS/SOS 2012), which took place on 3rd September 2012 in Newcastle upon Tyne, as a satellite workshop of CONCUR 2012. The EXPRESS workshop series aims at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. The SOS workshop series aims at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. In 2012, the EXPRESS and SOS communities organized a joint EXPRESS/SOS 2012 workshop on the formal semantics of systems and programming concepts, and on the expressiveness of mathematical models of computation.

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language

Bordini, R. H.; Moreira, A. F.; Vieira, R.; Wooldridge, M.
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 31/10/2011
Relevância na Pesquisa
26.26%
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communication have several serious disadvantages as a foundation for communication in artificial agent systems. In particular, it has proved to be extremely difficult to give a satisfactory semantics to speech-act based agent communication languages. In part, the problem is that speech-act semantics typically make reference to the "mental states" of agents (their beliefs, desires, and intentions), and there is in general no way to attribute such attitudes to arbitrary computational agents. In addition, agent programming languages have only had their semantics formalised for abstract, stand-alone versions, neglecting aspects such as communication primitives. With respect to communication, implemented agent programming languages have tended to be rather ad hoc. This paper addresses both of these problems, by giving semantics to speech-act based messages received by an AgentSpeak agent. AgentSpeak is a logic-based agent programming language which incorporates the main features of the PRS model of reactive planning systems. The paper builds upon a structural operational semantics to AgentSpeak that we developed in previous work. The main contributions of this paper are as follows: an extension of our earlier work on the theoretical foundations of AgentSpeak interpreters; a computationally grounded semantics for (the core) performatives used in speech-act based agent communication languages; and a well-defined extension of AgentSpeak that supports agent communication.

Proceedings Seventh Workshop on Structural Operational Semantics

Aceto, Luca; Sobociński, Paweł
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 11/08/2010
Relevância na Pesquisa
26.32%
Structural operational semantics (SOS) is a technique for defining operational semantics for programming and specification languages. Because of its intuitive appeal and flexibility, SOS has found considerable application in the study of the semantics of concurrent processes. It is also a viable alternative to denotational semantics in the static analysis of programs and in proving compiler correctness. Recently it has been applied in emerging areas such as probabilistic systems and systems biology.

Verbs in child grammar the acquisition of the primitive elements of the VP at the syntax-semantics interface

Lorusso, Paolo
Fonte: [Barcelona] : Universitat Autònoma de Barcelona, Publicador: [Barcelona] : Universitat Autònoma de Barcelona,
Tipo: Tesis i dissertacions electròniques; info:eu-repo/semantics/doctoralThesis; info:eu-repo/semantics/publishedVersion Formato: application/pdf
Publicado em //2014 ENG
Relevância na Pesquisa
26.46%
Un tema en l'estudi de l'adquisició del llenguatge que ha atret molt l'atenció és la naturalesa dels primers verbs. Als 2 anys, els nens comencen a combinar paraules i a produir els primers verbs. Els elements verbals apareixen més tard que els substantius i es refereixen als conceptes relacionals en el món que estan representats a la sintaxi a través de l'estructura argumental. Aquesta tesi té com a objectiu examinar les característiques de les primeres produccions verbals en italià. L'aparició dels verbs implica el domini d'un procediment d'assignació dels papers semàntics a les posicions sintàctiques. El tema objecte d'estudi té conseqüències no només per a la descripció de l'evolució de l'adquisició del lèxic, sinó també per a la definició d'un model general de la interfície entre la sintaxi i la semàntica lèxica en les primeres etapes. La proposta és que les característiques sintacticosemàntiques estan actives en la gramàtica del nen a l'hora de determinar la derivació oracional. Els verbs impliquen significats estructurals i idiosincràtics: mentre que el significat estructural es deriva dels marcs sintàctics (del nombre i característiques dels arguments) en què un verb pot aparèixer, el significat idiosincràtic es troba en les relacions en el món que cada arrel verbal denota. L'arquitectura de la interfície sintaxi-semàntica dels verbs implica un procediment de projecció des d'uns marcs sintàctics a moltes relacions en el món i viceversa. El significat estructural dels primers verbs s'explora mitjançant una anàlisi de la distribució dels arguments manifestos i dels auxiliars en un corpus de parla espontània de nens i adults. Els resultats mostren que les classes lèxiques dels verbs influeixen en la distribució dels subjectes nuls i en l'elecció de la posició oracional en la qual els subjectes s'expressen. Les classes de verbs són rellevants també per a la selecció i la distribució dels auxiliars: els nens seleccionen correctament els auxiliars en funció de la informació lèxica sintàctica codificada en els SV. Quan apareixen els primers verbs...

Le papillon tête-de-Janus: a propos de sémantique structurale, quarante ans aprês; Le papillon tête-de-Janus: a propos de sémantique structurale, quarante ans aprês; Le papillon tête-de-Janus A propos de Sémantique structurale, quarante ans aprês

Landowski, Eric
Fonte: Universidade de São Paulo. Escola de Comunicações e Artes Publicador: Universidade de São Paulo. Escola de Comunicações e Artes
Tipo: info:eu-repo/semantics/article; info:eu-repo/semantics/publishedVersion; ; Avaliado pelos pares Formato: application/pdf
Publicado em 23/06/2006 FRA
Relevância na Pesquisa
36%
Semântica estrutural, o primeiro livro de Greimas, é de longa data, na semiótica, um « clássico », ou dito de outro modo um desses monumentos que se olha com respeito, mas geralmente de longe. No entanto, o seu interesse não se restringe ao aspecto histórico. Hoje ainda, a fecundidade da semiótica « greimasiana »,mas também a maioria das dificuldades que lhe são inerentes resultam de três opções fundamentais formuladas nesse livro : escolha em favor de uma teoria gerativa, baseamento da problemática da significação na gramativa da narratividade, papel essencial atribuído à percepção como fundamento da apreensão da significação. Explicitando os problemas que colocam essas escolhas e as perspectivas que elas abrem , o artigo acaba por situar umas em relação às outras as múltiplas tendências atuais da pesquisa, desde a semiótica « standard » até à semiótica do « sensível ».; Sémantique structurale, le premier livre de Greimas, est depuis longtemps, en sémiotique, un « classique », autrement dit un de ces monuments qu 'on regarde avec respect mais en général de loin. Pourtant, son intérêt n'est pas seulement d'ordre historique. Aujourd'hui encore, la fécondité de la sémiotique « greimassienne »...

Structural Isomorphism of Meaning and Synonymy

Duží,Marie
Fonte: Centro de Investigación en computación, IPN Publicador: Centro de Investigación en computación, IPN
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/09/2014 EN
Relevância na Pesquisa
36%
In this paper I am going to deal with the phenomenon of synonymy from the logical point of view. In Transparent Intensional Logic (TIL), which is my background theory, the sense of an expression is an algorithmically structured procedure detailing what operations to apply to what procedural constituents to arrive at the object (if any) denoted by the expression. Such procedures are rigorously defined as TIL constructions. In this new orthodoxy of structured meanings and procedural semantics we encounter the problem of the granularity of procedure individuation. Though the identity of TIL constructions is rigorously defined, they are a bit too fine-grained from the procedural point of view. In an effort to solve the problem we introduced the notion of procedural isomorphism. Any two terms or expressions whose respective meanings are procedurally isomorphic are deemed semantically indistinguishable, hence synonymous and thus substitutable in any context, whether extensional, intensional or hyperintensional. The novel contribution of this paper is a formally worked-out, philosophically motivated criterion of hyperintensional individuation, which is defined in terms of a slightly more carefully formulated version of α-conversion and β-conversion by value...