0000000000928883
AUTHOR
Duan Yucong
Propose Semantic Formalization for 3D Reconstruction of Architectural
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 ―implicitexplicit‖ 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 …
Formalizing Semantic of Natural Language through Conceptualization from Existence
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…