述詞邏輯 的英文怎麼說

中文拼音 [shùcíluó]
述詞邏輯 英文
predicate logic
  • 述 : Ⅰ動詞（陳說; 敘述） state; relate; narrate Ⅱ名詞（姓氏） a surname
  • 詞 : 名詞1 （說話或詩歌、文章、戲劇中的語句） speech; statement; lines of play 2 （一種韻文形式 起於唐...
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 邏輯 : logic
  1. Which term describes a modification of a logical relationship that delays a successor task

    下列哪個名詞描述了導致下一項任務延遲的邏輯關系的改變？
  2. Deductive database is introduction to knowledge and inferring mechnism in artificial intelligece in traditional database. studying it needs very strict theory model as background. relation model and datalog model can describe world

    演繹數據庫是人工智慧中的知識及其推理機制在傳統數據庫中的引入，對它的研究需要有非常嚴謹的理論模型為背景，它用關系模型（描述事實）和datalog模型（描述規則）來描述世界，演繹數據庫中主要採用一階謂詞邏輯表示。
  3. But at the time i became speechless, didn ' t know where to start, and couldn ' t find suitable words to describe what i saw, what i knew … seemed that the most beautiful languages couldn ' t describe the beautiful and special landscape ; after a period of time, when i could partially dictated it, but couldn ' t express it in writing, because it is half similar with publicly recognized logic, i even worried about that would cause unnecessary misunderstanding, when i cautiously wrote down some so - called essays, the people listening to my story seemed half understand, they just felt fresh, described by the academic term is “ quite creative ”

    但那時候，我卻張口舌，不知道從那兒說起，竟然找不到合適的詞匯描繪我看到的、知道的… …好象再美的語言也不能描述這個美麗奇特的景色；當我經過一段時間，能夠部分口述它的時候，卻也很難用文字邏輯地表達出來，因為它和現實公認的我所知道的邏輯既相同也不同，我甚至很擔心引起不必要的誤會；等我小心翼翼地寫出一些所謂的論文一類的東西的時候，聽我講「故事」的人們好象似明白又不明白，他們都覺得新鮮，用學術界的說法是「很有新意」 。
  4. This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web. the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment. in order to represent knowledge, logical formula, relational axioms and rules, there is a need for primitives specifying prepositional formula, predictive formula and horn clause, and relations between properties and relational axiomx

    本文對web語義化過程中部分關鍵問題和基於語義化web的kms進行了研究，主要的創新性工作包括：定義了邏輯公式及關系公理描述原語的ontology語義： web環境中用標記語言描述對象和資源，為了在語義化web上表示知識、邏輯公式、關系公理和規則，需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關系的關系原語。
  5. This paper described the essential theory of expert system, and many kinds of knowledge expression, such as producing rule, semantic network frame, predicate logic, and knowledge expression in home. and it recommended many kinds of reasoning technology, such as positive chain, inverse chain, uncertainty reasoning. it depicted principle, essential character of com and realization of com

    本文介紹了專家系統的基本理論，和產生式、語義網路、框架、謂詞邏輯等多種知識表達方式以及國內所採用的農業知識表達方式，並描述了正向鏈、反向鏈、不確定性等多種推理技術，還闡述了com原理及其基本特性，以及com組件的實現。
  6. A predicate is something said about an argument or it states the logical relation linking the arguments n a sentence

    一個謂詞是關于論元的陳述，或者說明一個句子的論元間的邏輯關系。
分享友人
分享到 Line

分享到臉書