리즈닝,reasoning

Difference between r1.5 and the current

@@ -23,4 +23,9 @@
Up: system ( [[시스템,system]] ... )
}

[[equational_reasoning]]
[[equational_reasoning]] =,equational_reasoning =,equational_reasoning . equational_reasoning
{
'''equational reasoning'''
}// equational reasoning .... NN:"equational reasoning" x(202407) Naver:"equational reasoning" Bing:"equational reasoning" Ggl:"equational reasoning"
 
http://www.aistudy.com/reasoning/reasoning.htm



인퍼런스,inference의 번역:
추론,inference이 압도적, (hence the pagename)
추리 - 가끔
리즈닝,reasoning의 번역:
추론 - 많음.
추리
논증 - 일단 아규먼트,argument에서 argument 뜻 중 하나의 pagename을 옛날에 RR 논증,argument으로 하긴 했는데...

inductive_reasoning ~= induction
deductive_reasoning ~= deduction
연역(적) 추리|추론|...
abductive_reasoning ~= abduction
혹시 ~=(비슷)이 아니고 완전히 같은 것인지?

reasoning_system =,reasoning_system . reasoning_system WtEn:reasoning_system x 2023-11-05
{
reasoning system
추리|추론|논증 시스템|체계
정보기술information_technology 용어. 이미 알려진/접근 가능한(available) 지식,knowledge으로부터 논리적 방법(deduction induction 등)을 사용해서 결론,conclusion,,(i.e. 판단, 결과,result, 결정,decision)을 생성하는(i.e. 이끌어내는),, software_system. AI와 knowledge-based_system { knowledge-based system (KBS) REL: reasoning_system knowledge_base 추론엔진,inference_engine ----WpEn:Knowledge-based_systems = https://en.wikipedia.org/wiki/Knowledge-based_systems } 에서 중요한 역할을 하는 시스템.


equational_reasoning =,equational_reasoning =,equational_reasoning . equational_reasoning
{
equational reasoning
}// equational reasoning .... NN:equational reasoning x(202407) Naver:equational reasoning Bing:equational reasoning Ggl:equational reasoning