#noindex Pagename TBD ... 의미 의미론 [[의미론,semantics]] - 이 최선의 번역? 시맨틱스 ... ---- Topics: meaning pagename? [[의미,meaning]] [[뜻,meaning]] ... <> = Sub = Sub: == semantic value 의미값 == [[의미값,semantic_value]] == semantic web == semantic_web =,semantic_web . 안쓰는단어지만 번역을 시도한다면 의미웹 의미론적웹 ...? https://ko.wikipedia.org/wiki/시맨틱_웹 https://simple.wikipedia.org/wiki/Semantic_Web https://en.wikipedia.org/wiki/Semantic_Web rel [[ontology]] [[웹,web]] [[metadata]] [[meaning]] == semantic consequence == [[semantic_consequence]] =,semantic_consequence =,semantic_consequence . semantic_consequence [[WpEn:Semantic_consequence]] = ? Up: [[logical_consequence]]? chk =,logical_consequence =,logical_consequence . logical_consequence { '''logical consequence''' MathWorld:LogicalConsequence WtEn:logical_consequence (없다) 대신.. WtEn:consequence WpEn:Logical_consequence "logical consequence" ... Ndict:logical+consequence Ggl:logical+consequence } // logical consequence == semantic tableau == semantic tableau [[WtEn:semantic_tableau]] = https://en.wiktionary.org/wiki/semantic_tableau ''Syn. [[진리나무,truth_tree]]'' ''Has link to: [[WpEn:Method_of_analytic_tableaux]] = https://en.wikipedia.org/wiki/Method_of_analytic_tableaux'' ... "semantic tableau" Ggl:"semantic tableau" Naver:"semantic tableau" == Kripke semantics = relational semantics = frame semantics == Kripke semantics = relational semantics = frame semantics Kripke_semantics = relational_semantics = frame_semantics 크립키 의미론 ? 크립키_의미론 non-classical_logic system을 위한 formal_semantics . MKL: Kripke_model { https://encyclopediaofmath.org/wiki/Kripke_models } [[WpEn:Kripke_semantics]] = https://en.wikipedia.org/wiki/Kripke_semantics Up: (via we categories) [[modal_logic]] [[model_theory]] [[sheaf_theory]] [[non-classical_logic]] [[mathematical_logic]] ... Ndict:Kripke+semantics Google:Kripke+semantics Ggl:"Kripke semantics = relational semantics = frame semantics" == possible world semantics == [[possible_world_semantics]] =,possible_world_semantics =,possible_world_semantics . possible_world_semantics possible world semantics 가능세계의미론 ? WtEn:possible_world_semantics ? ndict(nn) 없음. [[Date(2023-08-11T17:02:05)]] Naver:"possible world semantics" Ggl:"possible world semantics" // possible world semantics REL. https://en.wikipedia.org/wiki/Possible_world https://ko.wikipedia.org/wiki/가능세계론 비슷한 표현 possible_universe 표현에 관련: [[가능성,possibility]] world ( [[월드,world]] [[세계,world]] ) universe ([[유니버스,universe]] [[우주,universe]] ) REL. modal_logic ...(random search) Ggl:가능세계의미론 Ggl:가능세계론 Ndict:가능세계론 == game semantics == [[게임,game]] [[game_semantics]] =,game_semantics =,game_semantics . game_semantics game semantics 게임 의미론 ? 게임의미론 ? WtEn:game_semantics ?? https://en.wikipedia.org/wiki/Game_semantics ... "game semantics" Ndict:"game semantics" x [[Date(2023-08-11T17:02:05)]] Ggl:"game semantics" x [[Date(2023-08-11T17:02:05)]] == axiomatic semantics == [[axiomatic_semantics]] =,axiomatic_semantics =,axiomatic_semantics . axiomatic_semantics { axiomatic semantics 공리적 의미론 ? [[공리,axiom]] rel. [[Hoare_logic]] , [[수리논리,mathematical_logic]] rel. assert , assertion https://foldoc.org/axiomatic+semantics https://xlinux.nist.gov/dads/HTML/axiomaticSemantics.html --WtEn:axiomatic_semantics = https://en.wiktionary.org/wiki/axiomatic_semantics-- x deleted WpEn:Axiomatic_semantics = https://en.wikipedia.org/wiki/Axiomatic_semantics ... "axiomatic semantics" Ndict:"axiomatic semantics" Ggl:"axiomatic semantics" == denotational semantics == [[denotational_semantics]] =,denotational_semantics =,denotational_semantics . denotational_semantics { '''denotational semantics''' denotation? denote v. indicate connote represent 비슷한 뜻. NdEn:denotation WtEn:denotation Ndict:denotation Naver:"denotational semantics" '''denotational semantics''' (we){"is an approach of formalizing''(formalization)'' the meanings of programming_language s by constructing mathematical_object { https://ko.wikipedia.org/wiki/수학적_대상 https://en.wikipedia.org/wiki/Mathematical_object } s (called '''''denotation'''''s) that describe the meanings of expressions from the languages. Other approaches providing formal semantics of programming languages // [[formal_semantics]] for [[프로그래밍언어,programming_language]](i.e. [[형식언어,formal_language]]) // [[WpEn:Semantics_(computer_science)]] = https://en.wikipedia.org/wiki/Semantics_%28computer_science%29 (Redirected from WpEn:Formal_semantics_of_programming_languages ) // formal_semantics : formal semantics WtEn:formal_semantics WpEn:Formal_semantics include axiomatic semantics // axiomatic semantics ... and operational semantics."} // operational semantics ... // 이상 세 가지 비교: [[WpEn:Semantics_(computer_science)#Approaches]] = https://en.wikipedia.org/wiki/Semantics_(computer_science)#Approaches Sub: denotational_semantics_of_the_actor_model { "The [[denotational_semantics]] of the [[actor_model]] is the subject of denotational domain theory for Actors." // domain_theory (curr at ...) > denotational_domain_theory ---- [[WpEn:Denotational_semantics_of_the_Actor_model]] = https://en.wikipedia.org/wiki/Denotational_semantics_of_the_Actor_model Up: [[actor_model]] ''... Srch:actor_model ... curr at [[모형,model#s-8]]'' } WtEn:denotational_semantics ?? qqqqq https://en.wikipedia.org/wiki/Denotational_semantics Ggl:denotational+semantics denotational+semantics } == operational semantics == [[operational_semantics]] =,operational_semantics =,operational_semantics . operational_semantics - w operational semantics structural_operational_semantics (SOS) structural operational semantics Cmp: [[structural_semantics]] https://www.pls-lab.org/en/Structural_Operational_Semantics https://foldoc.org/operational+semantics WpEn:Operational_semantics = https://en.wikipedia.org/wiki/Operational_semantics == reference semantics / value semantics == reference_semantics / value_semantics reference_semantics [[참조,reference]] value_semantics [[값,value]] see local == formal semantics == [[formal_semantics]] =,formal_semantics =,formal_semantics . formal_semantics formal semantics WtEn:formal_semantics ?? "formal semantics" Ndict:"formal semantics" Ggl:"formal semantics" == lexical semantics == lexical semantics "lexical semantics" Ndict:"lexical semantics" Ggl:"lexical semantics" == mathematical semantics == mathematical_semantics "mathematical semantics" Ndict:"mathematical semantics" Ggl:"mathematical semantics" == statistical semantics == statistical semantics statistical_semantics WtEn:statistical_semantics = https://en.wiktionary.org/wiki/statistical_semantics 대충, [[단어,word]]의 [[의미,meaning]]에 대한 통계적 접근법임. "([[전산언어학,computational_linguistics]]) The study of estimation^^[[추정,estimation]]^^ of the meanings of words by looking at patterns of words in huge collections of texts, using statistical methods." "statistical semantics" Ndict:"statistical semantics" Ggl:"statistical semantics" == semantic space == semantic space [[semantic_space]] WpEn:Semantic_space https://en.wiktionary.org/wiki/semantic_space x [[Date(2023-11-27T18:19:07)]] 의미공간? (내생각) == structural semantics == structural semantics [[structural_semantics]] =,structural_semantics =,structural_semantics . structural_semantics WtEn:structural_semantics = https://en.wiktionary.org/wiki/structural_semantics x [[Date(2023-11-27T18:35:18)]] WpEn:Structural_semantics = https://en.wikipedia.org/wiki/Structural_semantics 구조적의미론 ? (내생각) "structural semantics" Ndict:"structural semantics" Naver:"structural semantics" Bing:"structural semantics" Ggl:"structural semantics" [[구조,structure]] == strict semantics / non-strict semantics == curr at [[의미론,semantics?action=highlight&value=strict]] == distributional semantics == WtEn:distributional_semantics Srch:distributional_semantics == ADDHERE == == ADDHERE == == ADDHERE == = Cmp: = [[신택스,syntax]] ---- WtEn:semantics Srch:semantics Srch:semantic_ Srch:semantic //twins copied from local http://www.aistudy.com/linguistics/semantics.htm https://foldoc.org/semantics https://everything2.com/title/semantics [[https://terms.naver.com/entry.naver?docId=1133904&cid=40942&categoryId=32972 두산백과: 의미론 semantics]] [[Namu:의미론]] http://emal.iptime.org/noriwiki/index.php/Semantics [[WpEn:Semantic]] = https://en.wikipedia.org/wiki/Semantics [[WpEn:Semantics_(computer_science)]] = https://en.wikipedia.org/wiki/Semantics_(computer_science) = https://en.wikipedia.org/wiki/Semantics_%28computer_science%29 [[WpJa:プログラム意味論]] = https://ja.wikipedia.org/wiki/プログラム意味論 (program semantics) = program_semantics =,program_semantics . program_semantics WtEn:program_semantics ? http://tunes.org/cliki/semantics.html