0000000000928883

AUTHOR

Duan Yucong

showing 2 related works from this author

Propose Semantic Formalization for 3D Reconstruction of Architectural

2010

International audience; Archi3D project is a successful practice well proved by engineering practices. In this paper, we propose to reconstruct semantics for the purpose of reconstruct 3D architecture in Archi3D fundamentally. The formalization approach starts from several hypotheses on semantics which include: there is a core mechanism of semantics which is not limited to conceptual expression level; and a complete expression of semantics necessaries the ―implicitexplicit‖ transition of human side knowledge, etc. The necessity and feasibility concerning applying the proposed method and technology to the practice of Archi3D is discussed systemically by way of semantics revelations on some …

[INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]FormalEpistemologyLogics[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]SemanticsCompleteCognition[ INFO.INFO-DB ] Computer Science [cs]/Databases [cs.DB][INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG][ INFO.INFO-CG ] Computer Science [cs]/Computational Geometry [cs.CG][INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB]ConsistentLanguage
researchProduct

Formalizing Semantic of Natural Language through Conceptualization from Existence

2011

International audience; 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 equ…

[INFO.INFO-TT]Computer Science [cs]/Document and Text ProcessingcognitiveIACSITknowledge[ INFO.INFO-TT ] Computer Science [cs]/Document and Text Processingformalization[INFO.INFO-TT] Computer Science [cs]/Document and Text ProcessingconceptualizationSemantic
researchProduct