posts - 9,  comments - 11,  trackbacks - 0
定义:由下列规则形成
    (1) 个体常量和个体变量是项。
    (2) 若f是n元个体函数且 t1, t2, … tn 是项,则 f(t1, t2, … tn) 也是项。
    (3) 所有项都只由(1) (2) 生成。
定义:原子公式
若 P(x1, x2, … xn)是n元谓词, t1, t2, … tn是项,则称 P(t1, t2, … tn)为谓词逻辑的原子公式。
定义:合式公式
1.原子公式是wff;
2.若A是wff,则(~A)也是;
3.若A、B是wff,且在A、B中同时出现的个体变量同为约束或同为自由,则A∧B、A∨B、A→B、A«B也是wff;
4.若A是wff,x在A中是自由的,则"x(A)、$x(A)也是wff;
5.只有有限次使用上述四条规则形成的才是wff。

可得其文法如下:

Formula -> Formula → Formula | Formula « Formula

               | Formula ∧ Formula | Formula ∨ Formula | ~Formula

               | "Variable(Formula) | $Variable(Formula)

               | Relation

Relation -> RelationSym(TermList)

RelationSym -> Constant

TermList -> Term(,Term)*

Term -> Function

          | Variable

          | Constant

Function -> FunctionSym(TermList)

FunctionSym -> [a-b]+

Variable -> [a-b]+

Constant -> [A-Z][a-zA-Z]*

posted on 2009-05-28 11:13 lingol 阅读(1617) 评论(5)  编辑 收藏 引用

FeedBack:
# re: 一阶谓词逻辑归结推理系统(1)[未登录]
2009-05-28 12:59 | TH
x(A)、$x(A)是指的∀xA , ∃xA吧?  回复  更多评论
  
# re: 一阶谓词逻辑归结推理系统(1)
2009-05-28 15:44 | 狼狗
@TH
??  回复  更多评论
  
# re: 一阶谓词逻辑归结推理系统(1)
2010-03-25 23:37 | 区立斌
不知能否提供C语言实现的谓词逻辑归结推理系统供参考和学习?请发到oulibin@126.com,万分感谢!  回复  更多评论
  
# re: 一阶谓词逻辑归结推理系统(1)
2012-10-07 01:38 | key
不知現在還有沒人上這個博客,, 想請教下關於 謂詞演算的系統設計,, 我是從 csdn上找到這裡的.. 郵箱 363325971@qq.com 望指導...  回复  更多评论
  
# re: 一阶谓词逻辑归结推理系统(1)
2012-10-09 05:02 | key
不知現在還有沒人上這個博客,, 想請教下關於 謂詞演算的系統設計,, 我是從 csdn上找到這裡的.. 郵箱 363325971@qq.com 望指導...  回复  更多评论
  

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理


<2024年3月>
252627282912
3456789
10111213141516
17181920212223
24252627282930
31123456

留言簿(5)

随笔档案

文章档案

搜索

  •  

最新评论

阅读排行榜

评论排行榜