基于一階謂詞邏輯的結構設計規(guī)范表示方法

張吉松　于澤涵　趙麗華

摘要：目前，基于BIM模型的合規(guī)性審查采用人工方式，工作量繁重且自動化程度低，開展自動合規(guī)性審查研究具有重要意義。在結構設計領域能夠有效支撐規(guī)范知識表示與推理并支持設計審查自動化的設計規(guī)范表達方法有待開發(fā)?；谝浑A謂詞邏輯，通過轉譯《混凝土結構設計規(guī)范》中的設計條款，提出一種結構設計規(guī)范規(guī)則表達和推理方法。該方法可實現(xiàn)將半結構化設計規(guī)范條款轉換為結構化知識并支持靈活查詢與推理，通過“謂詞定義”和“函數(shù)定義”轉譯設計規(guī)范中語言類、表格類和計算公式類設計條款，提出兩種規(guī)范條款謂詞定義方式。對于語言模糊類、表后注釋類和條款補充類的設計條款給出轉譯解決方案。提出的方法有效地解決了傳統(tǒng)一階謂詞對于結構設計條款表示不充分和不精確的問題，進而為設計規(guī)范的計算機表達提供一種參考方法。

關鍵詞：結構設計規(guī)范；知識表示；一階謂詞邏輯；合規(guī)性審查；人工智能

中圖分類號：TU17? ? ?文獻標志碼：A? ? ?文章編號：2096-6717（2024）01-0254-09

Representation of structural design specifications based on first-order predicate logic

ZHANG Jisong， YU Zehan， ZHAO Lihua

（School of Civil Engineering， Dalian Jiaotong University， Dalian 116028， Liaoning， P. R. China）

Abstract： At present， the code compliance checking based on BIM model are done manually with heavy workload and low information intelligence. It is of great significance to carry out the research on automatic compliance checking. As an important step， standard translation involves many fields such as philosophy， mathematics， mathematical logic， computer science， artificial intelligence， natural language processing and semantics. It is not only a research issue of interdisciplinary integration， but also a prerequisite for realizing the automation of building design and compliance checking. In the field of structural design， code representation methods which can effectively support knowledge representation， reasoning， and automation of compliance checking needs to be developed. Based on the first-order predicate logic， this paper proposes a method of expression and reasoning of structural design rules by translating the provisions in the “code for design of concrete structures”. Through the definition of “predicate” and “function”， the design provisions， table and formula in design specification are translated. It effectively solves the problem of insufficient and inaccurate representation of structural design clauses by using traditional first order predicates， and thus provides a reference for the computer expression of design specifications.

Keywords： structural design code； knowledge representation； first-order predicate logic； code compliance checking； artificial intelligence

在土木工程設計領域，結構設計規(guī)范的計算機表達是實現(xiàn)設計合規(guī)性審查的技術基礎與前提條件。對于結構設計合規(guī)性審查，中國實行施工圖設計審查制度，即由政府建設主管部門或其認定的審查機構負責，對施工圖是否符合有關法律法規(guī)的要求以及對涉及公共利益、公眾安全和工程建設強制性標準等內(nèi)容進行審查[1]，整個審查過程是采取人工審查的方法（圖紙+計算書），但人工審查存在自動化程度低、工作量繁重、審查過程規(guī)范化不足等問題。而且，檢驗結果很大程度上依賴于檢驗人員對規(guī)范的理解和經(jīng)驗，導致檢驗結果的主觀性較強。BIM技術的出現(xiàn)使得基于BIM模型的審查成為未來的發(fā)展趨勢。國家住建部頒布的《2016—2020年建筑業(yè)信息化發(fā)展綱要》，提出在未來探索基于BIM模型的合規(guī)性審查，提高設計審查效率與設計質量。

目前，對合規(guī)性審查的研究大致可分為兩個方面：基于施工圖的審查[2-4]和基于BIM模型的審查[5-8]。Eastman等[9]將基于BIM的合規(guī)性審查的過程分為4個部分：規(guī)范轉譯、BIM模型準備、規(guī)則執(zhí)行和推理、生成審查報告。其中，規(guī)范轉譯是實現(xiàn)自動合規(guī)性審查的前提條件和首要步驟。目前關于規(guī)范轉譯的方法大致可以分為：基于本體方法、基于規(guī)則引擎方法、基于語言開發(fā)方法和基于邏輯方法[10]，每種方法都具有一定的優(yōu)點以及局限性。其中，基于本體、規(guī)則引擎、語言開發(fā)的3種方法在對復雜規(guī)范進行轉譯時，常常出現(xiàn)以下問題：規(guī)范條款中信息的缺失、較低的靈活性和可維護性、建筑信息模型與規(guī)范條款的映射連接性較弱、無法解決模糊語言的轉譯問題、無法處理各規(guī)范條款之間的矛盾。而基于邏輯的規(guī)范轉譯方法經(jīng)過較長周期的發(fā)展顯現(xiàn)出了強于其他方法的優(yōu)勢，相較于其他方法，一階謂詞邏輯轉譯的規(guī)范條款可以將建筑元素與規(guī)則相連接，并且由于一階謂詞邏輯與自然語言的相通性，對于較為復雜的條款此方法可以依據(jù)規(guī)范上下文實現(xiàn)嵌套的規(guī)則表達，進而實現(xiàn)規(guī)則的自動化審查。另外，基于一階謂詞邏輯轉移的規(guī)范可以很好地轉換為SWRL語言的形式，在后續(xù)實現(xiàn)規(guī)范審查自動化的研究中能夠與基于本體以及規(guī)則引擎的方法相結合，最大程度發(fā)揮各類方法的優(yōu)勢。

合規(guī)性審查的自動化推理基于兩方面信息：源于BIM模型的設計信息和源于設計規(guī)范的設計條款信息。設計信息可以表示為“邏輯事實”，規(guī)范條款信息可以表示為“邏輯規(guī)則”。采用基于邏輯的信息表示，可以作為推理技術的基礎。基于一階謂詞邏輯的推理非常適合于自動化合規(guī)性審查，原因為：邏輯的二元性（滿足或不滿足）符合合規(guī)性審查的二元性（符合或不符合）；形式化定義的邏輯可以充分表示合規(guī)性審查（建筑規(guī)范信息和BIM模型信息）中的“概念”（或實體）和“關系”；與程序編程語言（例如C語言需要描述解決方案步驟）不同，邏輯編程是描述性的，只需要描述領域內(nèi)的規(guī)則和事實即可，如果設計信息和設計條款信息能夠以邏輯形式正確表示，推理就可以以完全自動化的方式進行；各種自動推理技術，例如檢索和合一（unification）問題，可以在已經(jīng)較為成熟的邏輯推理機中（logic reasoners）使用[11]。

中國土木工程領域的結構設計規(guī)范具有4個特點：數(shù)量繁多且相互平行嵌套；規(guī)范條款中含有模糊語言；時效性；半結構化文檔。由于這些特點，結構設計規(guī)范的計算機表達轉譯工作充滿了諸多困難，尤其是當規(guī)范條款中涉及模糊語言時，由于中文的特殊性，這些條款很難準確地轉譯為計算機語言，所以選擇合適的方法是決定規(guī)范轉譯工作難易的關鍵所在。筆者基于一階謂詞邏輯，提出一種結構設計規(guī)范表達方法，并選取《混凝土結構設計規(guī)范》中部分條款進行轉譯以證明其可行性。首先，通過分析一階謂詞邏輯的特點，將結構設計規(guī)范分為語言類明確條款、語言類模糊條款、表格類和公式類。其次，提出了通過“謂詞定義”和“函數(shù)定義”兩種方法，轉譯設計規(guī)范中語言類、表格類和計算公式類設計條款，對結構設計規(guī)范條款進行精確表示以便支持后續(xù)推理和合規(guī)性審查。最后，總結一階謂詞邏輯在規(guī)范轉譯方面的局限性（對于模糊語言處理上）以及未來研究建議。

1 研究現(xiàn)狀

關于規(guī)范轉譯的方法大致可以分為4類，分別是基于本體方法、基于規(guī)則引擎方法、基于語言開發(fā)方法和基于邏輯方法。在基于本體的方法中，Zarli等[12]和Wang等[13]分別利用基于語義網(wǎng)的本體技術構建了施工、風險和解決措施等概念類和關系，并基于其建立了一致性檢查的安全規(guī)則[14]?；谝?guī)則引擎方法的研究工作開展也較為廣泛，如SWRL （Semantic Web Rule Language）規(guī)則，Ding等[15]和Lu等[16]分別構建了地下風險本體、施工風險本體，利用本體的概念和屬性，在本體中使用插件SWRL規(guī)則編輯器直接構建檢查規(guī)則；目前，商業(yè)合規(guī)性檢查軟件有Solibri Model Checker（SMC）和CORENETe-PlanCheck等使用基于規(guī)則的方法，中國有廣聯(lián)達BIM審圖軟件與廣州市施工圖設計文件審查管理系統(tǒng)。這些審查系統(tǒng)大部分都只針對建筑設計的合規(guī)性檢查，對于結構設計的合規(guī)性檢查則涉及較少。有代表性的合規(guī)性審查系統(tǒng)如表1所示。

較為典型的是基于語言開發(fā)的方法，Eastman等[9]為了在不同服務器上編輯規(guī)則，提出開發(fā)一種不受平臺環(huán)境限制的規(guī)則翻譯語言，如JAVA、SQL等；而后，Lee等[22]開發(fā)了建筑環(huán)境和分析語言（Building Environment Rule and Analysis，BERA），用于對建筑流通和空間規(guī)劃進行更復雜的代碼編碼和代碼檢查，并提出了基于建筑環(huán)境規(guī)則擴展語言的自動符合性檢查，以確?？臻g規(guī)劃要求和可視性得到滿足。

基于邏輯的規(guī)范轉譯方法研究工作時間跨度較大，其起源可以追溯到古希臘哲學家亞里士多德的三段論?，F(xiàn)代最早可追溯到1969年，由Fenves等[23]開創(chuàng)性地發(fā)明了決策表，將復雜的規(guī)范條款用精確簡練的決策表形式來表示；而后Fenves等[24]于1987年發(fā)明了用于表示和處理設計標準的標準分析、綜合和表達（SASE）模型，后續(xù)很多學者針對此模型自動化開展大量其他相關研究和開發(fā)工作（Nyman等[25]、Harris等[26]、Garret等[27]、Wang[28]、Dym等[29]、Cronembold等[30]、Lopez等[31]）。使用SASE模型進行設計包括3個步驟：確定合適的分類器；根據(jù)分類詞確定適用條款；使用規(guī)則處理規(guī)定。其中，第1步和第2步定義了規(guī)范組織子模型的處理，第3步定義了標準規(guī)范的處理，規(guī)范自動分類在過去沒有得到有效的處理，直到1990年左右才開始成為一個研究問題[32]。同時，步驟2和步驟3的自動化已經(jīng)被許多研究人員用于結構部件設計。Salama等[33]從規(guī)范性文件和文件規(guī)定的角度出發(fā)，運用邏輯和本體技術實現(xiàn)規(guī)則的自動分類和轉譯。而后，為了提高規(guī)范編輯的可讀性，Solihin等[34]提出了一種基于概念圖的規(guī)則編輯方法，概念圖識別規(guī)則的概念，分析獨立的子規(guī)則，總結其約束和屬性，最后實現(xiàn)它們的鏈接，而后基于建筑、工程、施工全領域中的多類規(guī)范，引入一個跨應用程序域的通用規(guī)則分類，使用其適用于計算機合規(guī)審查的所有方面設計標準[35-36] 。

一階謂詞邏輯的基礎是數(shù)理邏輯，數(shù)理邏輯是研究推理邏輯規(guī)律的一個數(shù)學分支，也被稱為符號邏輯。數(shù)理邏輯是以符號化為特點的形式化理論，注重形式推理而不重視數(shù)值計算，采用特殊的數(shù)學符號語言，并給出推理規(guī)則來建立推理體系。數(shù)理邏輯包含命題演算與謂詞演算，而一階謂詞邏輯正是在命題邏輯基礎上提出的，比如“凡是A都是B，C是A，所以C是B?！边@個推理在命題邏輯中是不能被準確描述的，假設這3個命題分別為p、q、r，則正確的推理形式應為（p?q）→r，但是將p、q、r賦予其他值時這個推理則不成立，也就是說、這個推理形式并非重言式，正是由于命題邏輯的這種局限性，想要進一步剖析簡單命題，則必須要引入謂詞、變量以及量詞的概念，進而研究其邏輯關系，于是構成了謂詞邏輯。

一階謂詞邏輯表示一條知識是通過將個詞體、謂詞、量詞根據(jù)所要表達知識的語義以邏輯聯(lián)結詞相連接，形成謂詞公式。謂詞邏輯就是研究它們的形式結構、邏輯性質、謂詞關系及從中導出的規(guī)律。謂詞邏輯在數(shù)據(jù)庫（如用謂詞邏輯將關系數(shù)據(jù)庫中的數(shù)據(jù)子語言表示出來并優(yōu)化）、教育（如智能答疑系統(tǒng)）、人工智能科學等方面都有很廣泛的應用。謂詞公式主要由5個部分組成，分別是個體詞、謂詞、量詞、邏輯連接詞以及語法符號，如圖1所示。

2 研究方法

2.1 規(guī)范條款分類與選擇

目前中國混凝土結構設計涉及的設計規(guī)范主要包括：《高層建筑混凝土結構技術規(guī)程》（04JGJ 3—2010）、《混凝土結構設計規(guī)范》[37]（GB 50010—2010，以下簡稱《混規(guī)》）、《建筑地基基礎設計規(guī)范》（GB 50007—2011）、《建筑結構荷載規(guī)范》（GB 50009—2012）、《建筑抗震設計規(guī)范》（GB 50011—2010）等。在以上規(guī)范中所包含的條款種類大體具有4個特點：1）數(shù)量繁多且相互平行嵌套，中國現(xiàn)在正在施行大約40本結構設計規(guī)范，包括混凝土、鋼結構、木結構、荷載、可靠性、防火等多個方面，且各規(guī)范之間關系復雜，既有相互平行關系，同時也存在規(guī)范之間的引用與嵌套；2）規(guī)范條款中含有模糊語言，在中國很多規(guī)范中會出現(xiàn)“適量”“不宜”等概念性詞語，此類條款對結構審查的規(guī)范性影響較大；3）時效性，大部分的建筑規(guī)范都會隨時間更新或修訂，這就使規(guī)范衍生出大量的修訂版本與解釋性手冊，增大了人工規(guī)范審查的工作量；4）半結構化文檔，不同本規(guī)范對同一建筑部位有不同規(guī)定，可能會出現(xiàn)條款沖突的情況。

按照一階謂詞邏輯轉譯的難易程度分為4類：1）語言類明確條款，條款由語言敘述，且規(guī)定明確，無模糊語言，可直接轉譯為一階謂詞邏輯公式，例如《混規(guī)》第11.3.5條規(guī)定，框架梁截面尺寸應符合下列要求∶截面寬度不宜小于200 mm、截面高度與寬度的比值不宜大于4、凈跨與截面高度的比值不宜小于4；2）語言類模糊條款，條款由語言敘述，但規(guī)定不明確，含有“適當”“不宜”等模糊語言，由于此類條款多作為注釋出現(xiàn)，所以可利用一階謂詞邏輯的全部量詞和存在量詞進行轉譯；3）表格類條款，此類條款需要先轉述為語言類條款，再進行轉譯，例如《混規(guī)》第11.3.6條中表11.3.6-1，可將第一格中條款轉述為：“一級抗震等級框架梁支座處縱向受拉鋼筋配筋率大于0.4與80ft/fy中的較大值”，再轉譯為一階謂詞邏輯公式；4）計算公式類條款，此類條款由于包含復雜的計算公式，使得其轉譯難度大大增加，而在轉譯的過程中對于公式可以有多種處理方式。

根據(jù)上述分類情況，可以把利用一階謂詞公式表示規(guī)則條款總結為3個步驟：首先，定義條款中的個體詞與謂詞，確定每個謂詞及個體的確切含義，在定義個體詞與謂詞時參考現(xiàn)行IFC標準對實體進行分類，提高轉譯結果的兼容性，以便后續(xù)在BIM模型合規(guī)性審查中，條款與模型中實體逐一對應；其次，根據(jù)所要表達規(guī)則條款，將個體詞帶入每個謂詞中的變量；最后，根據(jù)規(guī)則條款的具體語義，用適當?shù)倪B接符號將各個謂詞連接起來，形成謂詞公式。由此看出，不同謂詞定義方式可以展現(xiàn)出不同的規(guī)范轉譯方法，所以在基于一階謂詞邏輯轉譯結構設計規(guī)范時，要靈活選擇謂詞的定義方式。

在結構設計規(guī)范中，總則、總體規(guī)定等原則性條款多是闡述規(guī)范適用范圍、該規(guī)范的相關解釋以及制定標準，不在本文的轉譯范圍內(nèi)。選取《混規(guī)》第11.3節(jié)、第11.4節(jié)共計27條規(guī)范條款進行轉譯，其中包含結構設計規(guī)范中大部分條款類型，較具有代表性，用以驗證基于一階謂詞邏輯的結構設計規(guī)范表達方法可行性。

2.2 語言類規(guī)范條款轉譯

無論規(guī)范條款語言描述明確與否，在針對語言類條款的轉譯時，都是由自然語言中直接確定條款的主體，即該條款所規(guī)定作用對象，并進行謂詞的定義，而后進行限定條件謂詞定義，最后以合適的邏輯連接詞相連接，進而轉譯為一階謂詞邏輯公式。由此看出，語言類條款轉譯較為直接，但不同的謂詞定義方式可以展現(xiàn)出不同的轉譯結果，以《混規(guī)》第11.3.5條、第11.3.7條為例，提出兩種謂詞定義方式，第1種以第11.3.5條為例，將限定條件定義為一個整體謂詞，這樣的定義方式適用于所規(guī)定部位較為明確簡潔的條款，其優(yōu)點在于可以減少定義謂詞數(shù)量，缺點是不便于后續(xù)的數(shù)據(jù)調(diào)用；第2種方式以第11.3.7條為例，將限定條件細化分別定義為多個謂詞，這樣的定義方式適用于定義規(guī)定較為復雜的構件，雖然會增加所定義謂詞的數(shù)量，但是利于后續(xù)調(diào)用且規(guī)定較為明確具體。轉譯結果如表2所示。

2.3 表格類規(guī)范條款轉譯

由于一階謂詞邏輯與人類思維活動規(guī)律及自然語言的貼合性，在轉譯表格類規(guī)范條款時，首先需要針對表格內(nèi)容將其轉述為更易轉譯的語言類條款，再按照轉譯語言類條款的方式轉譯，以《混規(guī)》第11.4.16條為例（一、二、三、四級抗震等級的各類結構的框架柱、框支柱，其軸壓比不宜大于表11.4.16規(guī)定的限值），表中第1條數(shù)據(jù)可以表述為“在框架結構體系中，一級抗震等級的框架柱軸壓比不宜大于0.65”，其余數(shù)據(jù)以相同的方式進行轉述，轉譯結果選取語言類規(guī)范條款的第2種謂詞定義方法進行展示。轉譯結果如表3所示。

2.4 計算公式類規(guī)范條款轉譯

計算公式類條款中的語言敘述部分仍然與轉譯語言類條款相同，不同的是計算公式類條款包含復雜的結構計算公式，而能否更準確地轉譯計算式是決定此類條款轉譯成功與否的關鍵，基于一階謂詞表達計算公式可以有多種方法，根據(jù)前文一階謂詞公式組成成分——多元謂詞及個體函數(shù)，提出兩種不同的轉譯計算公式的方法：1）利用謂詞定義計算式，通過定義多元謂詞的方式，逐個定義計算公式，將公式中各項變量與常量定義為個體詞；2）利用函數(shù)定義計算式，在一階謂詞邏輯中，函數(shù)表示一個個體到另一個個體的映射，函數(shù)沒有真值可言，例如《混規(guī)》第11.4.5條中規(guī)定“一級抗震等級框架角柱彎矩設計值為11.4.1條中規(guī)定的一級抗震等級框架柱彎矩設計值乘以增大系數(shù)1.1”，首先可以定義關系謂詞EQUAL（x，y）表示x的值為y，再定義函數(shù)f（x）=1.1x，則這個命題以一階謂詞邏輯可以表達為“EQUAL（x，father（y））”，x與y分別定義為一級抗震等級框架角柱矩設計值與框架柱彎矩設計值。由于規(guī)范中大部分計算公式都是由一個多項式對構件某些屬性進行規(guī)定，所以可以把多項式定義為函數(shù)供謂詞公式調(diào)用，這種方法相比于第一種可以大量減少謂詞的定義。以《混規(guī)》第11.4.6條為例列舉兩種轉譯方法，轉譯結果選取語言類規(guī)范條款的第一種謂詞定義方法進行展示，轉譯結果如表4所示。

3 分析與討論

基于一階謂詞邏輯提出的結構設計規(guī)范表示方法核心在于提取出規(guī)范條款的規(guī)定主體與限定條件，進而轉譯為一階謂詞公式，這種轉譯方式與建筑信息模型（BIM）有較高的契合度與可操作性，所提取出的規(guī)定主體可以對應為模型中的實體，限定條件即為對實體屬性的限制。

從算法的角度，基于BIM模型的合規(guī)性審查，其關鍵步驟可以分為3步：1）規(guī)范轉譯，即將規(guī)范的條款自動提取并轉譯成相應的“邏輯規(guī)則”；2）模型信息提取，即從BIM模型中提取相關信息并轉換成“邏輯事實”；3）將以上的“邏輯規(guī)則”與“邏輯事實”進行合規(guī)性比較，即采用自動推理機推理“邏輯事實”是否符合“邏輯規(guī)則”，得出最終的結論。

一階謂詞邏輯主要應用在上面提到的第1步，即將規(guī)范中的設計條款轉譯成計算機可識別的規(guī)則。如果與人工智能中的自然語言處理技術相結合，構建專業(yè)領域語料庫和知識庫是前提條件。目前，盡管規(guī)范轉譯的方法有很多，包括基于決策表、基于硬編碼（程序編程語言）、基于軟編碼（語義規(guī)則等）、基于對象等，但其大部分都需要手動（或半自動）進行規(guī)則提取和編碼，至今還沒有一種被廣泛接受的有效方法。規(guī)范轉譯未來可以與人工智能中的自然語言處理技術、機器學習以及深度學習等算法相結合，逐步實現(xiàn)轉譯過程的自動化。目前一階謂詞邏輯轉譯規(guī)范的方法需要較高的專業(yè)性，其轉譯過程目前還需人工干預，由專業(yè)人員將規(guī)范條款轉譯為合適的謂詞公式形式。但一階謂詞邏輯與其他方法比較的優(yōu)勢在于，如果設計規(guī)范條款信息和BIM模型信息能夠以邏輯形式正確表示，推理就可以以完全自動化的方式進行，無需人工手動干預。例如將轉譯后的謂詞公式與SWRL語言相結合可編譯為SWRL FOL的形式，借助本體構建工具protege可將建筑信息模型與轉譯后的規(guī)則構建為本體的形式。在規(guī)范轉譯的過程中參考IFC標準進行謂詞的定義，不僅可以實現(xiàn)轉譯工作的標準化，而且可以更好地與建筑信息模型結合，再利用基于SWRL語言的推理機進行規(guī)則的推理與審查，進而實現(xiàn)建筑信息模型的自動化合規(guī)審查。

基于一階謂詞邏輯表示結構設計規(guī)范可以極大發(fā)揮一階謂詞邏輯的優(yōu)點，轉譯的規(guī)范條款較準確，可應用性較高，但是在轉譯過程中也遇到一些問題，總結為3點：

1）基于一階謂詞邏輯轉譯規(guī)范條款時，雖然很好地解決了一部分相對模糊的語言，但都是基于后續(xù)注解較為明確的前提，還有部分模糊語言無法實現(xiàn)轉譯，只能通過精確量化的方式進行轉譯，這樣在轉譯過程中難免出現(xiàn)誤差。在人工審查圖紙過程中，對于規(guī)范條款中的模糊語言處理方式大多是根據(jù)審查人員的從業(yè)經(jīng)驗來進行主觀判斷，如果通過精確量化的方式進行模糊條款轉譯則其結果與主觀判斷差別不大，無法實現(xiàn)更加精準的規(guī)范審查。所以，對于規(guī)范條款中模糊語言的處理方法以及結構設計規(guī)范的標準化問題還有待進一步的研究。

2）雖然對于包含計算公式類的規(guī)范條款提出了兩種基于一階謂詞邏輯的轉譯方式，但兩種方式工作量較繁重且其實現(xiàn)還需研究與考證。一階謂詞邏輯在知識表示中的應用較廣泛，對于計算公式的表示方法層出不窮，其中不乏很多方法可以為規(guī)范條款轉譯提供借鑒與參考，對于公式類條款的轉譯方式還有很大研究空間。

3）對于規(guī)范條款主體提取的方式只是其中兩種，并且這兩種方式轉譯都需提供數(shù)據(jù)龐大的定義對照表，對于主體的提取還可以選取更加細化的方式，使得轉譯結果更加簡潔。不同的主體提取方式或者基于一階謂詞邏輯的不同轉譯思路，對規(guī)范轉譯的復雜程度影響很大，如需確定基于一階謂詞邏輯表達規(guī)范的最方便、快捷的方法，需要做的調(diào)查與研究工作還有很多。

從上述轉譯過程中遇到的問題可以看出，一階謂詞邏輯同樣有一定局限性，這種局限性更多地體現(xiàn)在對于模糊語言以及計算公式的處理上，從更嚴謹?shù)慕嵌葋碚f，規(guī)范規(guī)定“適當放寬”和“適當減小”，“適當”的范圍是多少，并沒有明確規(guī)定。同時，對于在轉譯過程中的“一詞多義”和“一句多義”等問題，一階謂詞的語法和語義無法直接轉譯，需要先將該條款所包含的多種含義都羅列出來，將每種可能的含義轉譯為可量化的條款，進而才能轉譯成一階謂詞的表達。一些由于一階謂詞邏輯局限性而無法轉譯或轉譯困難的條款類型如表5所示。

消除這種局限性的辦法有很多。第一，可以將設計規(guī)范先進行“轉述”，再進行相關的轉譯；第二，可以加強中國規(guī)范的結構性，減少類似“適量”“不宜”等模糊語言的出現(xiàn)；第三，一階謂詞邏輯在規(guī)范表達領域的研究還可以更加深入，繼續(xù)研究更多簡潔、準確的表達方式與謂詞定義方法，也可以與面向對象技術相結合，或利用更高階的謂詞邏輯解決此類問題。針對“一詞多義”和“一句多義”等問題，未來可以借助自然語言處理和機器學習等相關統(tǒng)計算法統(tǒng)計出所有可能性并進行轉譯。

4 結論

分析中國結構設計規(guī)范的主要特點與規(guī)范轉譯的方法，進而可以更好地進行轉譯，選取一階謂詞邏輯表示結構設計規(guī)范條款。利用一階謂詞邏輯在表達自然語言方面的特點，使其對于結構設計規(guī)范的轉譯工作提供幫助。為證明一階謂詞邏輯轉移規(guī)范的可行性，選取《混凝土結構設計規(guī)范》中部分條款進行轉譯，并對選取條款按照轉譯的難易程度進行分類，不同類型條款有不同的轉譯步驟，相同的條款也可以根據(jù)不同的謂詞定義方式展現(xiàn)出不同的轉譯結果。討論了一階謂詞邏輯邏輯在規(guī)范轉譯領域的可行性與局限性。提出的轉譯方法并不局限于結構設計規(guī)范的轉譯，也可以引申至其他專業(yè)設計規(guī)范的轉譯工作。

采用謂詞邏輯轉譯規(guī)范看似簡單，實則涉及哲學、數(shù)學、數(shù)理邏輯、計算機科學、自然語言處理、語義學、結構設計等領域，是一個多學科交叉融合且比較復雜的問題。結構設計規(guī)范條文的計算機表達對于檢驗建筑結構合規(guī)性的重要程度不言而喻，而隨著科技的飛速發(fā)展，結構設計的合規(guī)性審查被各國愈發(fā)重視，想要更好地實現(xiàn)對于建筑結構的自動審查，其關鍵是準確地轉譯規(guī)范條款。提出一種基于一階謂詞邏輯的結構設計規(guī)范表示方法，將結構設計規(guī)范轉譯為計算機可識別的語言，為推動建筑結構設計自動化和審查自動化進程提供一種參考方法。

參考文獻

[1]? 邢雪嬌， 鐘波濤， 駱漢賓， 等. 基于BIM的建筑專業(yè)設計合規(guī)性自動審查系統(tǒng)及其關鍵技術[J]. 土木工程與管理學報， 2019， 36（5）： 129-136.

XING X J， ZHONG B T， LUO H B， et al. Automatic code compliance checking for design drawings of architecture major and its key technologies based on BIM [J]. Journal of Civil Engineering and Management， 2019， 36（5）： 129-136. （in Chinese）

[2]? 王亞楠， 彭亞萍， 趙勁松. 基于AutoCAD的二次開發(fā)實現(xiàn)框架結構數(shù)字化審核[J]. 工業(yè)建筑， 2018， 48（Sup）： 119-120， 128.

WANG Y N， PENG Y P， ZHAO J S. Realization of digital audit of frame structure based on secondary development of AutoCAD [J]. Industrial Construction， 2018， 48（Sup）： 119-120， 128. （in Chinese）

[3]? 龍資. 框架結構施工圖審查過程數(shù)字化的研究[D]. 武漢： 武漢理工大學， 2014.

LONG Z. The procedural digital research for construction drawing review of frame structure [D]. Wuhan： Wuhan University of Technology， 2014. （in Chinese）

[4]? 褚江. 剪力墻及框架–剪力墻結構施工圖審查過程數(shù)字化的研究[D]. 武漢： 武漢理工大學， 2014.

CHU J. The research of construction drawing review digitization about shearwall structure and frame-shearwall structure [D]. Wuhan： Wuhan University of Technology， 2014. （in Chinese）

[5]? 張吉松， 趙麗華， 崔英輝， 等. 基于BIM模型的結構設計審查方法研究[J]. 圖學學報， 2021， 42（1）： 133-140.

ZHANG J S， ZHAO L H， CUI Y H， et al. Code compliance checking of structural design based on BIM model [J]. Journal of Graphics， 2021， 42（1）： 133-140. （in Chinese）

[6]? 呂豐. BIM環(huán)境下基于本體技術的模型合規(guī)性自動檢查[D]. 南昌： 華東交通大學， 2021.

LYU F. Automatic model compliance check based on ontology technology in BIM environment [D]. Nanchang： East China Jiaotong University， 2021. （in Chinese）

[7]? 張笑彥. 計算式BIM技術在建筑設計合規(guī)性審查中的應用研究[D]. 山東 青島： 青島理工大學， 2021.

ZHANG X Y. Research on the application of computational BIM technology in the compliance checking for architectural design [D]. Qingdao， Shandong： Qingdao Tehcnology University， 2021. （in Chinese）

[8]? 陳遠， 張雨， 康虹. 基于專家系統(tǒng)和BIM的建筑設計合規(guī)性自動檢查系統(tǒng)研究[J]. 土木建筑工程信息技術， 2020， 12（5）： 1-6.

CHEN Y， ZHANG Y， KANG H. Research on automated compliance checking system for architectural design based on expert system and BIM [J]. Journal of Information Technology in Civil Engineering and Architecture， 2020， 12（5）： 1-6. （in Chinese）

[9]? EASTMAN C， LEE J M， JEONG Y S， et al. Automatic rule-based checking of building designs [J]. Automation in Construction， 2009， 18（8）： 1011-1033.

[10]? 林佳瑞， 郭建鋒. 基于BIM的合規(guī)性自動審查[J]. 清華大學學報（自然科學版）， 2020， 60（10）： 873-879.

LIN J R， GUO J F. BIM-based automatic compliance checking [J]. Journal of Tsinghua University （Science and Technology）， 2020， 60（10）： 873-879. （in Chinese）

[11]? ZHANG J S， EL-GOHARY N M. Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking [J]. Automation in Construction， 2017， 73： 45-57.

[12]? ZARLI A， YURCHYSHYNA A， LE THANH N， et al. Towards an ontology-based approach for formalizing expert knowledge in the conformity-checking model in construction[M]//eWork and eBusiness in Architecture， Engineering and Construction. London： Taylor & Francis， 2008： 447-456.

[13]? WANG H H， BOUKAMP F. Ontology-based representation and reasoning framework for supporting job hazard analysis [J]. Journal of Computing in Civil Engineering， 2011， 25（6）： 442-456.

[14]? 吳松飛， 鄧逸川， 申琪玉， 等. BIM支持的施工安全規(guī)范合規(guī)檢查研究綜述[J]. 圖學學報， 2018， 39（6）： 1156-1164.

WU S F， DENG Y C， SHEN Q Y， et al. A review on research and applications of BIM-based construction safety compliance checking [J]. Journal of Graphics， 2018， 39（6）： 1156-1164. （in Chinese）

[15]? DING L Y， ZHONG B T， WU S， et al. Construction risk knowledge management in BIM using ontology and semantic web technology [J]. Safety Science， 2016， 87： 202-213.

[16]? LU Y， LI Q M， ZHOU Z P， et al. Ontology-based knowledge modeling for automated construction safety checking [J]. Safety Science， 2015， 79： 11-18.

[17]? CompanySolibri. Model Checker [EP/OL]. [2018-02-10]. http：//www.solibri.com/.

[18]? LEE Y C， EASTMAN C M， LEE J K. Automated rule-based checking for the validation of accessibility and visibility of a building information model [C]//2015 International Workshop on Computing in Civil Engineering， June 21-23， 2015， Austin， Texas. 2015.

[19]? QI J， ISSA R R A， OLBINA S， et al. Use of building information modeling in design to prevent construction worker falls [J]. Journal of Computing in Civil Engineering， 2014， 28（5）： A4014008.

[20]? NAWARI， NAWARI O. Automating codes conformance in structural domain [C]//International Workshop on Computing in Civil Engineering. 2011： 569-577.

[21]? 王詩旭. 基于BIM的規(guī)則檢查技術輔助建筑設計方法研究： 以四川大學華西醫(yī)技樓項目為例[D]. 重慶： 重慶大學， 2015.

WANG S X. A study on the method of architecture design assited by rule checking technology based on BIM： Practice and exploration on the Sichuan University， West China Hospital Medical Technology Building Project [D]. Chongqing： Chongqing University， 2015. （in Chinese）

[22]? LEE J K， EASTMAN C M， LEE Y C. Implementation of a BIM domain-specific language for the building environment rule and analysis [J]. Journal of Intelligent & Robotic Systems， 2015， 79（3/4）： 507-522.

[23]? FENVES S J， GAYLORD E H， GOEL S K. Decision table formulation of the 1969 aisc specification [R]. Urbaba， Illinois： University of Illinois， 1969.

[24]? FENVES S J， WRIGHT R N， STAHL F I， et al. Introduction to SASE [R]. National Bureau of Standards， 1987.

[25]? NYMAN D J， FENVES S J. Organizational model for design specifications [J]. Journal of the Structural Division， 1975， 101（4）： 697-716.

[26]? HARRIS J R， WRIGHT R N. Organization of building standards [R]. National Bureau of Standards， 1981.

[27]? GARRETT J H， FENVES S J. A knowledge-based standards processor for structural component design [J]. Engineering with Computers， 1987， 2（4）： 219-238.

[28]? WANG T J. Generic design standards processing in a knowledge-based expert system environment [J]. Journal of Computing in Civil Engineering， 1987， 2（1）： 68-87.

[29]? DYM C L， HENCHEY R P， DELIS E A， et al. A knowledge-based system for automated architectural code checking [J]. Computer-Aided Design， 1988， 20（3）： 137-145.

[30]? CRONEMBOLD J R， LAW K H. Automated processing of design standards [J]. Journal of Computing in Civil Engineering， 1988， 2（3）： 255-273.

[31]? LOPEZ L A， ELAM S， REED K. Software concept for checking engineering designs for conformance with codes and standards [J]. Engineering with Computers， 1989， 5（2）： 63-78.

[32]? LEE S. Knowledge based approach to checking designs for conformance with standards [D]. Urbaba， Illinois： University of Illinois at Urbana-Champaign， 1988.

[33]? SALAMA D A， EL-GOHARY N M. Automated compliance checking of construction operation plans using a deontology for the construction domain [J]. Journal of Computing in Civil Engineering， 2013， 27（6）： 681-698.

[34]? SOLIHIN W， EASTMAN C. A knowledge representation approach in BIM rule requirement analysis using the conceptual graph [J]. Journal of Information Technology in Construction， 2016， 21： 370-401.

[35]? ISMAIL A S， ALI K N， IAHAD N A. A Review on BIM-based automated code compliance checking system [C]//2017 International Conference on Research and Innovation in Information Systems （ICRIIS）. July 16-17， 2017， Langkawi， Malaysia. IEEE， 2017： 1-6.

[36]? SOLIHIN W， EASTMAN C. Classification of rules for automated BIM rule checking development [J]. Automation in Construction， 2015， 53： 69-82.

[37]? 混凝土結構設計規(guī)范： GB 50010—2010 [S]. 北京： 中國建筑工業(yè)出版社， 2011.

Code for design of concrete structures： GB 50010—2010 [S]. Beijing： China Architecture & Building Press， 2011. （in Chinese）

（編輯? 胡玲）

DOI： 10.11835/j.issn.2096-6717.2022.031

收稿日期：2021?12?16

基金項目：遼寧省科技廳博士科研啟動基金（2019-BS-041）；遼寧省教育廳青年科技人才育苗項目（JDL2019036）；遼寧省教育廳基礎研究項目（JDL 2019018）

作者簡介：張吉松（1983-），男，博士，主要從事BIM技術研究，E-mail：13516000013@163.com。

通信作者：趙麗華（通信作者），女，博士，副教授，E-mail zhaolihua1015@126.com。

Received： 2021?12?16

Foundation items： PhD Research Startup Foundation of Department of Science & Technology of Liaoning Province （No. 2019-BS-041）; Scientific Talents Breeding Foundation of Educational Department of Liaoning Province （No. JDL2019036）; Fundamental Research Foundation of Educational Department of Liaoning Province （No. JDL 2019018）

Author brief： ZHANG Jisong （1983- ）， PhD， main research interest： building information modelling technology， E-mail： 13516000013@163.com.

corresponding author：ZHAO Lihua （corresponding author）， PhD， associate professor， E-mail： zhaolihua1015@126.com.