knowledge n. 1.知識;學(xué)識,學(xué)問。 2.了解,理解;消息。 3.認(rèn)識。 4.〔古語〕學(xué)科。 5.〔古語〕性關(guān)系。 book knowledge書本知識。 K- is power. 〔諺語〕知識就是力量。 practical knowledge實際的知識。 secondhand knowledge第二手知識,傳授來的知識。 working knowledge of French 法語知識學(xué)到能應(yīng)用的地步。 I have no knowledge of London. 我對倫敦毫無所知。 It is within your knowledge that ... 這是你所知道的。 The knowledge of our victory caused great joy. 我們獲得勝利的消息傳來,萬眾歡騰。 perceptual knowledge感性認(rèn)識。 logical [rational] knowledge理性認(rèn)識。 the theory of knowledge【哲學(xué)】認(rèn)識論。 branches of knowledge學(xué)科。 carnal knowledge性經(jīng)驗;【法律】性關(guān)系。 come to sb.'s knowledge被某人知道。 common [general] knowledge眾所周知,常識。 grow out of (sb.'s) knowledge被忘掉了。 have some [a general, a thorough] knowledge of 懂得一點,懂得一個大概,精通。 not to my knowledge我知道并不是那樣。 out of all knowledge(變得)認(rèn)不出來,無法辨認(rèn)。 to my knowledge據(jù)我知道。 to sb.'s certain knowledge據(jù)某人確知。 to the best of my knowledge據(jù)我所知,就我所知而論(=so far as I know)。 Too much knowledge makes the head bald. 〔諺語〕知識太多老得快。 without sb.'s knowledge 不通知某人,背著某人。
Based on the above research work , a prototype of visualized management tool for temporal knowledge is put forward 最后,對時態(tài)知識的可視化管理展開研究。
( ii ) to deal with the timeliness , regionalism and complexity of college board management policy , we proposed the concept of temporal knowledge and its formalization 針對這些特點我們提出時態(tài)知識的概念,研究了時態(tài)知識的形式化表示方法以及在cbmdis中的實現(xiàn)方法。
Second , temporal logic is adopted to describe the temporal attributes of the static knowledge and the temporal relations , constraints of the dynamic knowledge , with which are dealt as isolated temporal knowledge 二、采用時態(tài)邏輯描述靜態(tài)知識的時態(tài)屬性以及動態(tài)知識的時態(tài)關(guān)系和約束,把它們獨立出來作為時態(tài)知識進行處理。
At last , we proposed the concept of temporal knowledge in cbmdis . ( iii ) to improve the efficiency of information collection in the system and make the performances of fact management distinct operations , we used the event technology initiative ( 3 )為提高系統(tǒng)中信息采集處理的效率,更好地實現(xiàn)事實與知識處理的功能分離,本系統(tǒng)引用了主動數(shù)據(jù)庫中的“事件”技術(shù)。
Thirdly , the ookr model is extended as the ooktr with the component to describe the temporal knowledge , and then it forms the model of ootkr . moreover , the bnf semantics and structures of this model are given . furthermore , the prototype of the visualized management tool for temporal knowledge is shown on the base of the former work 三、在面向?qū)ο蟮闹R表達模型結(jié)構(gòu)中擴展了描述時態(tài)知識的部分,使之成為面向?qū)ο蟮臅r態(tài)知識表達模型,進而給出了bnf語法和結(jié)構(gòu)描述,并提出了時態(tài)知識可視化管理的原型。
As the verification of the theory , the temporal knowledge of sidss is re - described with the ootkm on the base of the former related research work . besides , some examples are taken to show how to describe the structured temporal knowledge and the non - structured temporal knowledge . a prototype of the visualized management tool for temporal knowledge is also shown with the example 作為理論的驗證,本文在總結(jié)前期相關(guān)工作的基礎(chǔ)上,應(yīng)用該模型重新描述了sidss中的時態(tài)知識,詳細舉例說明了如何描述結(jié)構(gòu)化時態(tài)知識和非結(jié)構(gòu)化時態(tài)知識,并給出了時態(tài)知識可視化管理工具的原型,介紹了其結(jié)構(gòu)和原理。
Secondly , three main blanches of temporal logic , which are linear - time temporal logic , branching - time temporal logic and interval temporal logic , are further introduced . moreover , the ootkm with its bnf formal descriptions are put forward and further study about the methods to represent temporal knowledge are introduced . moreover , the inference mechanism and algorithm are also analyzed 其次,進一步描述了時態(tài)邏輯的三大分支:線性時態(tài)邏輯、分支時態(tài)邏輯以及分區(qū)時態(tài)邏輯;然后引入面向?qū)ο蟮臅r態(tài)知識表達模型,給出了其bnf語法,分析如何描述領(lǐng)域時態(tài)知識,并研究了時態(tài)知識推理機制和算法。