Formalizing Semantic of Natural Language through Conceptualization from Existence

Abstract : We propose an outline of an approach to formalize semantic from conceptualization for both natural language (NL) and logic expression mechanisms. This goes beyond the level of discussions at conceptual level which has to either end in conscious/unconscious relativity of understanding or subjective enforcement in the form of definitions instead of expected objective semantic. This approach supports to view from a pure mathematical perspective, and explore and locate the fundamental problems. The semantic formalization mechanism realizes the integration of problem description and the solution expression at absolute semantic level. So a problem describing process is equivalent to the solution exploring process by integrating both in one. This essentially caters the ideology of proceeding with model refinement of model driven development. Other advantages include that it will reduce the need for validation for model migrations during a model driven development process, etc. Application is intended to cover specification refinement of both functional and quality requirement, and both static description and behavioral implementation, etc.
Type de document :
Article dans une revue
International Journal of Innovation, Management and Technology, 2011, 2 (1), p. 37-42, ISSN: 2010-0248
Liste complète des métadonnées


https://hal-univ-bourgogne.archives-ouvertes.fr/hal-00625002
Contributeur : Christophe Cruz <>
Soumis le : mardi 20 septembre 2011 - 13:03:03
Dernière modification le : mardi 20 septembre 2011 - 14:22:13
Document(s) archivé(s) le : mercredi 21 décembre 2011 - 02:22:13

Fichier

55_IJMT_yucong_11.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00625002, version 1

Collections

Citation

Duan Yucong, Christophe Cruz. Formalizing Semantic of Natural Language through Conceptualization from Existence. International Journal of Innovation, Management and Technology, 2011, 2 (1), p. 37-42, ISSN: 2010-0248. <hal-00625002>

Partager

Métriques

Consultations de
la notice

347

Téléchargements du document

464