需求就是描述 ◆可反驳的描述:领域的特性 陈述领域的某种特性,这种特性在原理上是可反驳的 ●可能实际上并不会去反驳它,但应该有这样的意识 可反驳性依赖于对我们正在描述的领域中的这个被指 代的现象的一种询问 个粗略的框架 是要被开发出来系统描述的一个尝试性描述 ●允许包含未定义的术语
需求就是描述 可反驳的描述：领域的特性 ◼ 陈述领域的某种特性，这种特性在原理上是可反驳的 ⚫ 可能实际上并不会去反驳它，但应该有这样的意识 ◼ 可反驳性依赖于对我们正在描述的领域中的这个被指 代的现象的一种询问 一个粗略的框架 ◼ 是要被开发出来系统描述的一个尝试性描述 ⚫ 允许包含未定义的术语
例子 ◆指代: MOTHER(X,M):表示M是X的母亲 定义: CHILD(X,Y): -MOTHER(Y,X),X ◆可反驳的描述 对所有M和X有, MOTHER(XM)→>_ MOTHER(MX) ◆粗略的框架: 每个人实际上都只属于一个家庭
例子 指代： MOTHER(X,M)：表示M是X的母亲 定义： CHILD(X,Y) ::= MOTHER(Y,X)FATHER(Y,X) 可反驳的描述： 对所有M和X有，MOTHER(X,M) → MOTHER(M,X) 粗略的框架： 每个人实际上都只属于一个家庭
描述的语气问题 ◆描述的不同语气 直述:给出一个事实 询问:问一个问题 ■命令:传递一个命令 ■假设:陈述一种可能 ■希求:表达一种愿望
描述的语气问题 描述的不同语气 ◼ 直述：给出一个事实 ◼ 询问：问一个问题 ◼ 命令：传递一个命令 ◼ 假设：陈述一种可能 ◼ 希求：表达一种愿望