安庆师范学院学报（自然科学版）
安慶師範學院學報（自然科學版）
안경사범학원학보（자연과학판）
JOURNAL OF ANQING TEACHERS COLLEGE(NATURAL SCIENCE)
2005年
4期
106-108
,共3页
谓词逻辑%推理%编程%推断
謂詞邏輯%推理%編程%推斷
위사라집%추리%편정%추단
基于应用层面,探讨谓词逻辑推理规则的逻辑有效性,并透过示例,对一类问题用编程方式实现逻辑推断,以拓宽机器证明的方式方法.
基于應用層麵,探討謂詞邏輯推理規則的邏輯有效性,併透過示例,對一類問題用編程方式實現邏輯推斷,以拓寬機器證明的方式方法.
기우응용층면,탐토위사라집추리규칙적라집유효성,병투과시례,대일류문제용편정방식실현라집추단,이탁관궤기증명적방식방법.
