satisfiability 中文意思是什麼
satisfiability
解釋
可滿足性-
A consistency improving method based on possibility - satisfiability degree and weighted geometric mean
一種基於可能滿意度與加權幾何平均的一致性改進方法 -
Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )
第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討 -
35 ian horrocks, peter f patel - schneider. reducing owl entailment to description logic satisfiability. in proc
該方法支持靜態知識，動態過程和運行機制的有效的表示和推理。 -
Of the principal. and we show analytically and empirically that this model can be easily reduced to satisfiability problem and efficiently implemented by a modern sat solver
然而，他們不是在協議本身上進行分析，而是需要用戶對協議理想化idealizations的結果上進行分析，而這種所謂的理想化過程無法直接轉化為演算法 -
The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic
定義了擴展模糊描述邏輯的語法結構、語義解釋、知識庫形式以及基於可滿足性的推理問題。 -
Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis. the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science, which are important in theory and have wide applications in a lot of real - world problems
命題邏輯可滿足性（ sat ）問題和有限論域一階邏輯模型搜索（ folms ）問題是計算機理論科學中的經典問題，不僅在理論上有著重要的地位，而且在許多實際問題中得到了廣泛的應用。 -
It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly
這種方法可以對邏輯公式的原始形態直接進行計算，無需化簡。 -
By introducing model theory, we investigate the concept classification in description logic and present the algorithm that transforming the ontology defined in description logic to frame expression based on the satisfiability of concept interpretation
通過採用模型理論，以本體概念的解釋是否可滿足為基礎，研究了描述邏輯中概念的自動分類，並給出了將描述邏輯本體轉換為框架表示的演算法。 -
Abstract : it briefly introduces three basic formalizations of concept learning learning from interpretation, learning from entailment ( learning from partial interpretation ) and learning from satisfiability and discusses the reduction relation among the basic concept learning types
文摘:介紹了3種主要的概念學習形式解釋學習、斷定學習（部分解釋學習）和滿足學習，討論了這3種概念學習形式的歸約關系 -
Study of rational mining capacity in super - huge coal mine based on possibility - satisfiability method
滿意度方法的特大型礦井開采規模研究 -
The theory and applications of satisfiability testing, 6th int. conf.,
實驗結果表明，這種基於sat的方法是高效的 -
Possibility - satisfiability analysis of urban rational scale of population - take jinan as an example
特大型礦井持續開採的合理規模分析 -
Building and application of the currency crisis warning system based on possibility - satisfiability method
淺論高職學生自主學習英語能力的培養 -
International conference on theory and applications of satisfiability testing sat 05, lncs 3569, springer - verlag, st. andrews, uk, 2005, pp. 408 - 414
因此如果能夠把模型檢測規約到qbf的滿足性的判定上，將是解決狀態爆炸問題一個非常有效的方法。
分享友人