
Communication
=============

According the above analysis, self-consistent is very important for category representation. However, even when $\mathfrak{A}^{\alpha}$ is self-consistent, $\mathfrak{A}^{\alpha}$ may be something wrong. For example, [@Putnam1963Brains] has stated that madmen sometimes have consistent delusional systems. Why? As the final goal of a category is to help communication, different personal conceptual systems concerned on the category $\mathfrak{A}$ maybe have different representations, which results in misunderstanding, even contradiction.

For a communication between two men $\alpha$ and $\beta$ concerned on the category $\mathfrak{A}$, two simple cases about the category $\mathfrak{A}$ are discussed as follows.

One case is that only one man knows the category $\mathfrak{A}$. Without loss of generality, it is assumed that the man $\alpha$ knows $\mathfrak{A}$, i.e. he knows $\mathfrak{A}^{\alpha}$ and the man $\beta$ has no idea of $\mathfrak{A}$, then the man $\beta$ must learn the knowledge about the category $\mathfrak{A}$ from $\mathfrak{A}^{\alpha}$.

In order to simplify learning, it is supposed that the $\mathfrak{A}^{\beta}$ and $\mathfrak{A}^{\alpha}$ have the same outer name and all the relevant conceptual systems are plain. Under such assumptions, the man $\beta$ needs to learn how to represent $\mathfrak{A}$ in $L^{\beta}=\{\mathfrak{A}^{\beta}\}$. Hence, the above question can be described as follows: Let the input representation be $(O_A^{\alpha},I_A^{\alpha},\underline{A}^{\alpha},Sim_A^{\alpha})$ and the output representation be $(O_A^{\beta},I_A^{\beta},\underline{A}^{\beta},Sim_A^{\beta})$ with respect to a learning algorithm, if a subset of $(O_A^{\alpha},I_A^{\alpha})$ or $O_A^{\alpha}$ is known, try to output $(O_A^{\beta},I_A^{\beta},\underline{A}^{\beta},Sim_A^{\beta})$, which is a standard categorization problem and has been well studied in [@JianYu2014Categorization],[@JianYu2015Categorization].

The other case is that both sides in communication know the category $\mathfrak{A}$. Assume that the representation of the category
Communication 
 = = = = = = = = = = = = = 

 According the above analysis, self - consistent is very important for category theatrical performance. However, even when $ \mathfrak{A}^{\alpha}$ is self - reproducible, $ \mathfrak{A}^{\alpha}$ may be something wrong. For example, [ @Putnam1963Brains ] has express that lunatic sometimes have consistent delusional systems. Why? As the concluding finish of a category is to help communication, different personal conceptual systems concerned on the class $ \mathfrak{A}$ maybe have different representations, which result in misunderstanding, even contradiction. 

 For a communication between two men $ \alpha$ and $ \beta$ concerned on the category $ \mathfrak{A}$, two simple font about the category $ \mathfrak{A}$ are discussed as be. 

 One case is that only one man knows the class $ \mathfrak{A}$. Without loss of generalization, it is assumed that the man $ \alpha$ knows $ \mathfrak{A}$, i.e. he knows $ \mathfrak{A}^{\alpha}$ and the homo $ \beta$ has no idea of $ \mathfrak{A}$, then the man $ \beta$ must learn the knowledge about the class $ \mathfrak{A}$ from $ \mathfrak{A}^{\alpha}$. 

 In ordering to simplify learning, it is supposed that the $ \mathfrak{A}^{\beta}$ and $ \mathfrak{A}^{\alpha}$ have the same outer name and all the relevant conceptual systems are plain. Under such assumptions, the man $ \beta$ necessitate to learn how to represent $ \mathfrak{A}$ in $ L^{\beta}=\{\mathfrak{A}^{\beta}\}$. therefore, the above doubt can be identify as follows: Let the stimulation representation be $ (O_A^{\alpha},I_A^{\alpha},\underline{A}^{\alpha},Sim_A^{\alpha})$ and the output representation be $ (O_A^{\beta},I_A^{\beta},\underline{A}^{\beta},Sim_A^{\beta})$ with respect to a eruditeness algorithm, if a subset of $ (O_A^{\alpha},I_A^{\alpha})$ or $ O_A^{\alpha}$ is known, try to output $ (O_A^{\beta},I_A^{\beta},\underline{A}^{\beta},Sim_A^{\beta})$, which is a standard categorization problem and has been well studied in [ @JianYu2014Categorization],[@JianYu2015Categorization ]. 

 The other case is that both sides in communication know the category $ \mathfrak{A}$. Assume that the representation of the class

Comlunication
=============

According the xbove analysis, self-convistenf is verh important for category repcesebtatiin. However, even when $\mxthfrak{A}^{\appha}$ is welf-ronsistent, $\mathfczk{A}^{\alpha}$ may gc somztiing wrong. For gxample, [@Putndm1963Brains] has sdageb that madmen sometimes have consistqnt delislonal systems. Rhy? Sf ths final goal of a category is to hslp comkunication, digferent personal conceptuap sydtems concerned on the categotg $\mwrhfrak{A}$ maybd have different repreaentations, which results in misjnderxtanding, eceb clttradiction.

Hor a bommunication between two mem $\alpha$ and $\beba$ coicerbed on the category $\methfrak{A}$, two simple sases abogt the category $\matyfeak{A}$ dre giscjwsea aa holmows.

Onf cese is that only one mqn knows the categoty $\nathfrak{A}$. Witgout ljsf of generality, it is assumed that the kan $\alpha$ knows $\mathfrak{A}$, u.e. he knows $\mathfrak{A}^{\wlpha}$ and the man $\beta$ has no idea of $\mathfrak{A}$, then the mdn $\beva$ muwt uwagn the knowledge about the category $\mathfrak{A}$ rrpm $\mathfrak{A}^{\alphc}$.

In order to simlllfu learning, it ks sup'kssd that the $\mathfrwk{A}^{\beta}$ and $\nathfrak{A}^{\wlphs}$ have the same outer name qnd all the gelecant conceptual sydtems are puain. Undet such assumptions, the oan $\geta$ needs ho learn guw to represent $\oatmfrdk{A}$ in $L^{\beta}=\{\mathfrak{A}^{\beta}\}$. Rence, the abore questkon van be described as follows: Let the inpuh reptesentdtion be $(O_W^{\alpha},I_A^{\alpha},\underline{A}^{\alpha},Sim_E^{\elpha})$ and the ogtplt represzntatipn be $(O_A^{\beta},I_W^{\beta},\underline{C}^{\beta},Sim_C^{\beta})$ dith respebt to a lxarning algowithm, if a sutdet of $(O_A^{\alpia},I_A^{\alpha})$ or $I_A^{\alpha}$ is yvown, try to ouyput $(O_A^{\bena},N_A^{\beta},\undwrline{A}^{\beta},Sim_A^{\bete})$, whkdh is a standarb xategorization lroclei wnv has teen well stgdiea iv [@JianHu2014Categorizctkon],[@JoanYu2015Categorization].

Tve ofher case is that nobh sides un commugication know the category $\mathvrak{A}$. Asrume yhaj the representation of the catsgory
Communication ============= According the above analysis, self-consistent important category representation. even when $\mathfrak{A}^{\alpha}$ something For example, [@Putnam1963Brains] stated that madmen have consistent delusional systems. Why? As final goal of a category is to help communication, different personal conceptual systems on the category $\mathfrak{A}$ maybe have different representations, which results in misunderstanding, even For communication two $\alpha$ and $\beta$ concerned on the category $\mathfrak{A}$, two simple cases about the category $\mathfrak{A}$ are as follows. One case is that only one knows the category $\mathfrak{A}$. loss of generality, it is that man $\alpha$ $\mathfrak{A}$, he $\mathfrak{A}^{\alpha}$ and the $\beta$ has no idea of $\mathfrak{A}$, then the man $\beta$ must learn the knowledge about the category from $\mathfrak{A}^{\alpha}$. to simplify it supposed the $\mathfrak{A}^{\beta}$ and the same outer name and all systems are plain. Under such assumptions, the man needs to how to represent $\mathfrak{A}$ in $L^{\beta}=\{\mathfrak{A}^{\beta}\}$. the above question can be described as follows: the input representation be $(O_A^{\alpha},I_A^{\alpha},\underline{A}^{\alpha},Sim_A^{\alpha})$ and the output representation be $(O_A^{\beta},I_A^{\beta},\underline{A}^{\beta},Sim_A^{\beta})$ with respect to a if a subset of or $O_A^{\alpha}$ is try output which a standard problem and has been well studied in [@JianYu2014Categorization],[@JianYu2015Categorization]. The other case that both sides in communication know the category $\mathfrak{A}$. Assume representation the category

Communication
=============

According the Above analySis, seLf-cOnsIsTent Is veRy important for CAtegOry representation. HowevEr, eveN wHEn $\maTHfRak{A}^{\aLpha}$ is sELf-CONsiStEnT, $\maThFRaK{A}^{\alpHa}$ mAy be somEthing wronG. FoR eXample, [@Putnam1963bRaIns] has statEd tHat madmen somEtiMes havE cOnsIStent DelUsionAl systEMs. Why? AS the final GoAL of a caTEgory is TO HeLp coMmunication, differENt PErsonal conceptUal sysTeMS cONCerNed On the categOrY $\mathFRak{A}$ mayBE hAVE DifFErent represenTations, whicH ResUlts in MiSunDErstanDing, eVeN ConTradiction.

FOr a cOmmunicatIon betWEen two mEN $\alpha$ aNd $\beta$ ConCerNed oN ThE cAteGoRY $\maTHfRak{a}$, Two Simple caSeS aBout tHe caTEGORy $\maThfRak{A}$ Are diScussed as follOws.

one cASe iS that Only oNe maN kNows tHe cateGory $\mAtHfrak{A}$. Without loSs of GeneralitY, it Is AssUmEd thaT The man $\AlpHa$ kNows $\matHfrak{A}$, i.E. He kNoWS $\MAtHfrak{A}^{\alpha}$ and the mAn $\BETa$ Has no ideA of $\matHFrAk{a}$, Then the mAn $\BetA$ musT LEarn tHe knOWlEdge abouT the caTEgOrY $\mathfrAk{a}$ from $\mAtHfrAk{A}^{\Alpha}$.

iN ordEr to siMplify leArninG, It is supposed thAT the $\mathfrak{A}^{\BEtA}$ ANd $\MAthfRak{a}^{\alpha}$ have tHe saME outEr naME aNd aLL the rElevaNt COnCEptual systems are plaIn. under sUch asSumptions, the mAn $\beta$ needS TO Learn how To rePReSEnt $\mathfrak{A}$ in $l^{\beta}=\{\Mathfrak{A}^{\bETa}\}$. Hence, tHe aboVe questiOn can be deSCRibed as fOllOws: let The INPuT representatiON Be $(O_A^{\AlPha},I_A^{\alPha},\UnderliNe{A}^{\AlpHa},SIm_A^{\AlPha})$ and the Output rePrEsEnTaTioN be $(O_A^{\BEta},I_A^{\betA},\uNdeRlIne{a}^{\beta},sIm_A^{\betA})$ with RespEcT tO A leArning aLGoRIThm, iF a SuBset Of $(O_a^{\aLpha},I_a^{\alpHA})$ or $o_A^{\alpha}$ Is known, trY to OUtpuT $(O_a^{\bEta},I_A^{\beTa},\underline{A}^{\bEtA},Sim_A^{\beta})$, wHiCh iS a stanDARd categoRization problem and has beEN well stUdiEd in [@JIanYU2014CategoriZatIon],[@JiaNYu2015cAtegorIzatioN].

The oThEr cASE is thAT BoTh sIdEs in communICAtiOn knoW tHe caTegory $\mAthfrak{A}$. Assume that THe rEpresentation Of tHe caTEGoRy

Communication
=========== ==

Accord ing t heabo ve  ana lysi s, self-consis t entis very important forcateg or y  rep r es entat ion. Ho w ev e r , e ve nwhe n$ \m athfr ak{ A}^{\al pha}$ is s elf -c onsistent, $ \ ma thfrak{A}^ {\a lpha}$ may b e s omethi ng  wr o ng. F orexamp le, [@ P utnam1 963Brains ]h as sta t ed that m ad mensometimes have co n si s tent delusiona l syst em s .W h y?Asthe finalgo al of a categ o ry i s  to help communic ation, diff e ren t pers on alc oncept ual s ys t ems  concernedon t he catego ry $\m a thfrak{ A }$ mayb e have  di ffe rent re pr ese nt a tio n s,  wh i chresultsin  m isund erst a n d i ng,eve n co ntrad iction.

Fora c ommu n ica tionbetwe en t wo  men$\alph a$ an d$\beta$ concern ed o n the cat ego ry  $\ ma thfra k {A}$,two  si mple ca ses abo u t t he c a te gory $\mathfrak{A} $a r ediscusse d as f o ll ow s .

One c as e i s th a t  only  one ma n knowsthe ca t eg or y $\mat hf rak{A} $.  Wi tho ut lo s s of  gener ality, i t isa ssumed that th e  man $\alpha$ kn o w s$ \mat hfr ak{A}$, i.e . he know s $\ m at hfr a k{A}^ {\alp ha } $a nd the man $\beta$ha s no i dea o f $\mathfrak{ A}$, thent h e  man $\b eta$ mu s t learn the kn owled ge about t h e catego ry $\ mathfrak {A}$ from $ \mathfra k{A }^{ \al pha } $ .
In order tos i mpli fy  learni ng,  it issup pos edtha tthe $\mat hfrak{A} ^{ \b et a} $ a nd $\ m athfrak{ A} ^{\ al pha }$ ha v e thesameoute rna m e a nd allt he r elev an tconc ept ua l sys tems are  plain.  Under su cha ssum pt io ns, the  man $\beta$ne eds to lea rn  ho w to r e p resent $ \mathfrak{A}$ in $L^{\b e ta}=\{\ mat hfrak {A}^ {\beta}\} $.Hence,  th e  above  quest ion c an  be d escri b e dasfo llows: Let t heinput  r epre sentati on be $(O_A^{\alph a },I _A^{\alpha},\ und erli n e {A }^{ \ al p ha} ,S i m_A ^ { \alpha})$ and t he outputre p re sentationb e $ (O _A^{\be ta},I_A ^{\be t a},\und erline{A} ^{\beta}, Si m_A^ { \ bet a})$ withrespectto a lear n ing a l go rithm , i f a su bs etof $( O_A^{\ a lph a},I_ A^{\al ph a})$ o r $O_ A^ {\alpha} $ is known, try to outp ut $(O _A^{\ bet a},I_A^{\ bet a },\ underline {A}^ {\beta},Si m_A ^{\ beta} )$, which  isa  s tan d ard c ateg o rizationp ro ble m an d has beenw e l l s tudie d i n  [@Jia nYu2 014Categorization ] ,[@JianYu2015C ateg o r iza tio n ].
Th e other case i s t ha t both sid es  in communi cation k no w  thecatego ry $\m athfrak { A }$ .  Assum e th atthe repre sen ta t ion ofth ec ategor y

Communication
=============

According the_above analysis,_self-consistent is very important_for category_representation._However, even_when_$\mathfrak{A}^{\alpha}$ is self-consistent,_$\mathfrak{A}^{\alpha}$ may be_something wrong. For example,_[@Putnam1963Brains] has stated_that_madmen sometimes have consistent delusional systems. Why? As the final goal of a category_is_to help_communication,_different_personal conceptual systems concerned on_the category $\mathfrak{A}$ maybe have_different representations,_which results in misunderstanding, even contradiction.

For a communication_between_two men $\alpha$_and $\beta$ concerned on the category $\mathfrak{A}$, two simple_cases about the category $\mathfrak{A}$ are_discussed as follows.

One_case_is_that only one man_knows the category $\mathfrak{A}$. Without loss_of generality, it is assumed that_the man $\alpha$ knows $\mathfrak{A}$, i.e. he_knows $\mathfrak{A}^{\alpha}$ and the man $\beta$_has no idea of $\mathfrak{A}$,_then the_man $\beta$ must learn the_knowledge about the_category $\mathfrak{A}$_from $\mathfrak{A}^{\alpha}$.

In order_to simplify learning, it is supposed_that the $\mathfrak{A}^{\beta}$_and $\mathfrak{A}^{\alpha}$ have the same outer_name_and all the_relevant_conceptual_systems are_plain. Under such_assumptions,_the man_$\beta$_needs to learn how to represent_$\mathfrak{A}$_in $L^{\beta}=\{\mathfrak{A}^{\beta}\}$. Hence, the above question can_be described as follows:_Let_the input representation be_$(O_A^{\alpha},I_A^{\alpha},\underline{A}^{\alpha},Sim_A^{\alpha})$ and the output representation_be $(O_A^{\beta},I_A^{\beta},\underline{A}^{\beta},Sim_A^{\beta})$ with respect to a_learning algorithm,_if a_subset of $(O_A^{\alpha},I_A^{\alpha})$ or $O_A^{\alpha}$ is known, try to output $(O_A^{\beta},I_A^{\beta},\underline{A}^{\beta},Sim_A^{\beta})$,_which is a standard categorization problem_and has been well_studied in_[@JianYu2014Categorization],[@JianYu2015Categorization].

The_other case is_that_both sides_in communication know the category $\mathfrak{A}$. Assume_that the_representation of the category