| « | August 2025 | » | | 日 | 一 | 二 | 三 | 四 | 五 | 六 | | | | | | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | | | | | | | |
|
公告 |
| 暂无公告... |
| Blog信息 |
|
blog名称:
日志总数:3
评论数量:4
留言数量:0
访问次数:40491
建立时间:2005年11月18日 |
| |
|
 关于ASP的一些小性质和其证明。
文章收藏
cairc 发表于 2005/12/25 12:50:02 |
转载自: http://ai.ustc.edu.cn/sharepoint/tiki-view_blog.php?blogId=76
关于ASP的一些小性质和其证明。
说明：
（1）一个ASP程序P，又两部分构成，R为规则集，包括default规则和一些命题形式（非
default）规则，统一的形式为，L0 <- L1, L2,..., Lk, not Lk+1,..., not Ln。F为事实集，表
达当前事实（context），形式为，L <- 。
（2）对于一个规则集R，其中所有出现在not后的文字构成的集合，记为NL。
（3）对于一个规则集R，一个文字集X，定义R*X表示根据X删除R中规则和not后得到正程序。
（4）AS(R,F)，表示又R并F构成的ASP程序的AS集。对于正程序，就表 |
|
|
Wisdom Words
文章收藏
cairc 发表于 2005/12/25 0:16:38 |
转载自: http://ai.ustc.edu.cn/sharepoint/tiki-view_blog.php?find=&blogId=3&offset=20&sort_mode=created_desc
Many people will walk in and out or your life, but only true friends will leave footprints in your heart.
To handle yourself, use your head,
To handle o |
|
« 1 ›
|