计算机仿真
計算機倣真
계산궤방진
COMPUTER SIMULATION
2014年
11期
323-327
,共5页
规则自动生成%定理证明%几何本体
規則自動生成%定理證明%幾何本體
규칙자동생성%정리증명%궤하본체
Automatic rule generation%Theorem proof%Geometry ontology
平面几何领域规则生成主要是对领域内的内在联系进行提取或进行问题求解.关键规则目前主要依赖领域专家的编写,不具有扩展性和可持续性.通过对自然语言描述的平面几何定理的分析,构建其对应的对象和关系模型,提出了一种自动提取和生成几何关系模型对应规则的方法,以平面几何定理的机器证明为例,验证了此方法的可行性.改进方法还可进一步扩展至其它领域规则的自动生成.
平麵幾何領域規則生成主要是對領域內的內在聯繫進行提取或進行問題求解.關鍵規則目前主要依賴領域專傢的編寫,不具有擴展性和可持續性.通過對自然語言描述的平麵幾何定理的分析,構建其對應的對象和關繫模型,提齣瞭一種自動提取和生成幾何關繫模型對應規則的方法,以平麵幾何定理的機器證明為例,驗證瞭此方法的可行性.改進方法還可進一步擴展至其它領域規則的自動生成.
평면궤하영역규칙생성주요시대영역내적내재련계진행제취혹진행문제구해.관건규칙목전주요의뢰영역전가적편사,불구유확전성화가지속성.통과대자연어언묘술적평면궤하정리적분석,구건기대응적대상화관계모형,제출료일충자동제취화생성궤하관계모형대응규칙적방법,이평면궤하정리적궤기증명위례,험증료차방법적가행성.개진방법환가진일보확전지기타영역규칙적자동생성.
