邏輯語 的英文怎麼說
中文拼音 [luóyǔ]
邏輯語
英文
lojban-
Type logical semantics for discontinuous quantifier
邏輯語義處理Firstly, related research work on agent, multi - agent system ( mas ), robot, multi - robot system ( mrs ) and auv are described. then, based on the famous bdi theory, extended bdi model ( xbdi model ) is presented. in xbdi model, every robot or agent has own mental states, such as beliefs, desires, goals, intentions and behavioral property, such as roles, capabilities, plans, know - hows
本文在簡要介紹agent及mas 、機器人及多機器人,尤其是水下機器人技術的研究現狀及發展趨勢之後,在目前廣為使用的bdi模型基礎之上,提出了適用於水下機器人的擴展bdi模型( exendedbdimodel ,以下簡稱為xbdi模型) ,描述了xbdi - agent的結構和功能、定義了xbdi邏輯語言l _ x 、給出了xbdi - agent的心智狀態的表示及處理方法、並給出了xbdi系統的運行演算法。Then discusses common knowledge representation method such as predicate logic, semantic network, production rule, frame etc. and probes into the application of predicate logic in epr system
然後,較詳細地討論了謂詞邏輯、語義網路、產生式規則和框架等常用的知識表示方法,重點研究了謂詞邏輯知識表示技術在電子病歷系統中應用問題。The contributions of this paper include the following : ( 1 ) we establish a new form of the modal logical characterization satisfying - bisimulation in nomal case. ( 2 ) we introduce a new modal operator
( 2 )引入一個新模態詞,並在此基礎上使用新的模態邏輯語言給出一個更具一般性的-互模擬的模態邏輯特徵。The compound classes parser is quite complex, since it implements a full logical language interpreter and returns an
復合類解析器十分復雜,因為它實現完整的邏輯語言解釋器並返回邏輯表達式的We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity. xyz / e is able to describe the dynamic semantics and static operations of component, and to formally describe system in different hierarchy
由於構件可能具有不同的抽象層次和粒度,我們採用了時序邏輯語言xyz e作為構件描述語言,這種語言能夠描述構件的靜態語義和動態執行,並且能在不同抽象層次上對系統進行形式化描述。To study the interpreting mode for words ' abnormal functional meanings, we must distinguish logical semantic mode from linguistic variant so as to interpret the abnormal functional meanings accurately and correctly in chinese dictionaries
探討詞的非常規功能義的釋義模式要注意區分邏輯語義模式與語言表達變式,以期在語文辭書中準確地、規范地說解詞的非常規功能義。Just as illustrated in quite a few scholars ' academic monographs, it is always assumed that connectives indicate the grammatical connections and logical - semantic relations between clauses
摘要連接性詞語的功能在語法上起連接作用,在語義上體現小句之間的邏輯語義關系。Abstract : because of its concise and skilled logical language, ticino school becomes the model combining basic principles of modern architecture with local culture
文摘:瑞士的提契諾學派以他們精練而嫻熟的邏輯語言成為現代建築的基本原理與地方文化結合的典範。What is more, connectives also indicate the logical - semantic relations between sentences, paragraphs in a text and those within a text
在句子、段落和篇章層次上,連接性詞語也同樣體現句子之間、段落之間、篇章內部的邏輯語義關系。Logical semantic analysis on semantic stress in transitional complex sentences
轉折復句語意重心的邏輯語義分析The common exceptions : you need an elsif branch, the logical statement controlling the loop is too complex, or you have a problem with inverted boolean statements that haunts you
常見的例外情況是:需要一個elseif ( )分支,控制循環的邏輯語句過于復雜,或者您不善於使用經常困擾您的反轉boolean語句。Restricted logic grammar
受限邏輯語法Modular logic grammar
模塊化邏輯語法Syntactic system of lattice - valued propositional logic based on finite lattice implication algebra
基於有限格蘊涵代數的格值命題邏輯語法系統I had to write a separate parser for these complex logical statements
我必須為這些復雜的邏輯語句編寫單獨的解析器。An operator to indicate the relationship between two parts of a logical statement
一種運算符,用來指明一個邏輯語句的兩部分之間的關系。Logic statements like while and switch that allow flexible business processes that can change process flow based on the specific case
像while和switch這樣的邏輯語句,提供了靈活的業務流程,可以根據特定的情況改變流程Clauses can be grouped to operate as a single unit separate from the rest of the query ; like putting parentheses around an expression in a mathematical equation or logic statement
可以對子句進行分組,使其作為獨立於查詢的其餘部分的一個單元來工作,這類似於在數學等式或邏輯語句中的表達式兩側加上括號。Query clauses can be grouped to operate as a single unit separate from the rest of the query, similar to putting parentheses around an expression in a mathematical equation or logic statement. when you group clauses, the
可以對查詢子句進行分組,使其作為獨立於查詢的其餘部分的一個單元來工作,這類似於在數學等式或邏輯語句中的某個表達式兩側加上括號。分享友人