基于一階謂詞邏輯的結(jié)構(gòu)設(shè)計規(guī)范表示方法

打開文本圖片集

摘要：目前，基于BIM模型的合規(guī)性審查采用人工方式，工作量繁重且自動化程度低，開展自動合規(guī)性審查研究具有重要意義。在結(jié)構(gòu)設(shè)計領(lǐng)域能夠有效支撐規(guī)范知識表示與推理并支持設(shè)計審查自動化的設(shè)計規(guī)范表達方法有待開發(fā)?；谝浑A謂詞邏輯，通過轉(zhuǎn)譯《混凝土結(jié)構(gòu)設(shè)計規(guī)范》中的設(shè)計條款，提出一種結(jié)構(gòu)設(shè)計規(guī)范規(guī)則表達和推理方法。（剩余19028字）