<?xml version="1.0" encoding="gb2312"?>

<!-- RSS generated by oioj.net on 4/16/2004 ; 感谢LeXRus提供 RSS 2.0 文档; 此文件可自由使用，但请保留此行信息 --> 
<!-- Source download URL: http://blogger.org.cn/blog/rss2.asp       -->
<rss version="2.0">

<channel>
<title>cairc的博客</title>
<link>http://blogger.org.cn/blog/blog.asp?name=cairc</link>
<description>cairc的博客</description>
<copyright>blogger.org.cn</copyright>
<generator>W3CHINA Blog</generator>
<webMaster>webmaster@blogger.org.cn</webMaster>
<item>
<title><![CDATA[关于ASP的一些小性质和其证明。]]></title>
<link>http://blogger.org.cn/blog/more.asp?name=cairc&amp;id=10769</link>
<author>cairc</author>
<pubDate>2005/12/25 12:50:02</pubDate>
<description><![CDATA[转载自: <A href="http://ai.ustc.edu.cn/sharepoint/tiki-view_blog.php?blogId=76" target=_blank>http://ai.ustc.edu.cn/sharepoint/tiki-view_blog.php?blogId=76</A><BR><BR>关于ASP的一些小性质和其证明。 <BR><BR>说明： <BR>（1）一个ASP程序P，又两部分构成<R,F>，R为规则集，包括default规则和一些命题形式（非 <BR><BR>default）规则，统一的形式为，L0 &lt;- L1, L2,..., Lk, not Lk+1,..., not Ln。F为事实集，表 <BR><BR>达当前事实（context），形式为，L &lt;- 。 <BR>（2）对于一个规则集R，其中所有出现在not后的文字构成的集合，记为NL。 <BR>（3）对于一个规则集R，一个文字集X，定义R*X表示根据X删除R中规则和not后得到正程序。 <BR>（4）AS(R,F)，表示又R并F构成的ASP程序的AS集。对于正程序，就表示其AS。 <BR>（5）p，p1，p2表示文字集，也可对应为事实。 <BR><BR>Lemma 1 : <BR>对于某个R，任意X，X包含于NL，如果 AS(R*X, X)和NL的交集包含于X，则必然存在事实集F，使得 <BR><BR>，对于ASP程序<R,F>的某个AS A，有R*X= R*A。 <BR>&nbsp;证：取F'=AS(R*X, X)，则满足后面的要求，得证。+ <BR><BR><BR>Lemma 2 : <BR>对于某个R，任意F，有ASP程序<R,F>，对<R,F>的任意AS A，必然存在X，X包含于NL，使得AS(R*X, X)和NL的交集包含于X，且R*X=R*A。 <BR>&nbsp;证：取X'为A和NL的交集，则满足要求，得证。+ <BR><BR><BR>Lemma 3: <BR>对某个R，任意X，X包含于NL，如果 AS(R*X, X\/p)和NL的交集包含于X，则必然存在事实集F，使得，对于ASP程序<R,F>的某个AS A，有R*X= R*A，且p包含与A。 <BR>&nbsp;证：取F=AS(R*X, p\/X)，则满足要求，得证。+ <BR><BR><BR>Lemma 4: <BR>对于某个R，任意F，有ASP程序<R,F>，对<R,F>的任意AS A，p包含于A，则必然存在X，X包含于NL，使得AS(R*X, X\/p)和NL的交集包含于X，且R*X=R*A。 <BR><BR>Def : <BR>p1 |-(R) p2定义为：对任意X，若X包含于NL，且AS(R*X, X\/p1)和NL的交集包含于X，则必要p2包含于AS(R*X, p1\/X)。 <BR><BR>Them : <BR>p1 |-(R) p2 iff <BR>对任意F，对于ASP程序<R,F>，对<R,F>的任意AS A，若p1包含于A则必有p2包含于A。 <BR>&nbsp;证：懒得打了。用到了Lemma 3和Lemma 4。+ <BR><BR><BR>总结：1。前面引理发现了对于一个R可能的reduction或信念扩展的方式需满足的条件。 <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2。在特定知识p下reduction或信念扩展的方式需满足的条件。 <BR><BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3。定义了两文字集间关于某个R上的推出关系，以此可以有很多应用，一个就是特殊优先。 <BR><BR><BR>下一步工作： <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1。扩展p1 |-(R) p2，定义类似的两规则体间的推出关系，即加入not的处理。 <BR><BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2。沿着利用特殊优先结局矛盾或AS间排序这条路，利用前面定义的p1 |-(R) p2，将其补全成为一个完整的东西。 <BR><BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3。考虑其他应用。 <BR><BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4。ASP是混在一块的，Default logic在命题逻辑下形式，从知识表达的角度，考虑ASP程序中规则应如何分类，并表达对应的知识。 <BR><BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;5。考虑，Reiter的normal default theory中规则特殊形式，在ASP中类似考虑。 <BR><BR>]]></description>
</item><item>
<title><![CDATA[Wisdom Words]]></title>
<link>http://blogger.org.cn/blog/more.asp?name=cairc&amp;id=10766</link>
<author>cairc</author>
<pubDate>2005/12/25 0:16:38</pubDate>
<description><![CDATA[转载自: <A href="http://ai.ustc.edu.cn/sharepoint/tiki-view_blog.php?find=&amp;blogId=3&amp;offset=20&amp;sort_mode=created_desc" target=_blank>http://ai.ustc.edu.cn/sharepoint/tiki-view_blog.php?find=&amp;blogId=3&amp;offset=20&amp;sort_mode=created_desc</A><BR><BR>
<DIV align=center>Many people will walk in and out or your life, but only true friends will leave footprints in your heart. </DIV><BR><BR>
<DIV align=center>To handle yourself, use your head, </DIV><BR>
<DIV align=center>To handle others, use your heart. </DIV><BR><BR>
<DIV align=center>Anger is only one letter short of danger. </DIV><BR><BR>
<DIV align=center>If someone betrays you once, it's his fault. </DIV><BR>
<DIV align=center>If he betrays you twice, it's your fault. </DIV><BR><BR>
<DIV align=center>Great minds discuss ideas; </DIV><BR>
<DIV align=center>Average minds discuss events; </DIV><BR>
<DIV align=center>Small minds discuss people. </DIV><BR><BR>
<DIV align=center>God gives every bird it's food, but he does not throw it into it's nest. </DIV><BR><BR>
<DIV align=center>He who loses money, loses much; </DIV><BR>
<DIV align=center>He who loses a friend, loses more; </DIV><BR>
<DIV align=center>He who loses faith, loses all. </DIV><BR><BR>
<DIV align=center>Beautiful young people are acts of nature, </DIV><BR>
<DIV align=center>But beautiful old people are works of art. </DIV><BR><BR>
<DIV align=center>Learn from the mistakes of others. </DIV><BR>
<DIV align=center>You can't live long enough to make them all yourself. </DIV><BR><BR>
<DIV align=center>The tongue weighs practically nothing, but so few people can hold it. </DIV>]]></description>
</item><item>
<title><![CDATA[From: http://pagead2.googlesyndication.com/pagead/ads?client=ca-pub-1683803802533351&dt=1132582911903&lmt=1132582911&prev_fmts=468x15_0ads_al_s%2C300x250_as&format=468x60_as&output=html&chan...]]></title>
<link>http://blogger.org.cn/blog/more.asp?name=cairc&amp;id=10044</link>
<author>cairc</author>
<pubDate>2005/11/21 22:21:53</pubDate>
<description><![CDATA[转载自: <A href="http://pagead2.googlesyndication.com/pagead/ads?client=ca-pub-1683803802533351&amp;dt=1132582911903&amp;lmt=1132582911&amp;prev_fmts=468x15_0ads_al_s%2C300x250_as&amp;format=468x60_as&amp;output=html&amp;channel=2684631196&amp;url=http%3A%2F%2Fwww.ieee.org.cn%2Fdispbbs.asp%3FboardID%3D62%26ID%3D23441&amp;color_bg=FFFFFF&amp;color_text=CCCCCC&amp;color_link=000000&amp;color_url=CCCCCC&amp;color_border=FFFFFF&amp;ad_type=image&amp;ref=http%3A%2F%2Fwww.ieee.org.cn%2Flist.asp%3Fboardid%3D62&amp;cc=12&amp;u_h=768&amp;u_w=1024&amp;u_ah=738&amp;u_aw=1024&amp;u_cd=32&amp;u_tz=480&amp;u_java=true" target=_blank>http://pagead2.googlesyndication.com/pagead/ads?client=ca-pub-1683803802533351&amp;dt=1132582911903&amp;lmt=1132582911&amp;prev_fmts=468x15_0ads_al_s%2C300x250_as&amp;format=468x60_as&amp;output=html&amp;channel=2684631196&amp;url=http%3A%2F%2Fwww.ieee.org.cn%2Fdispbbs.asp%3FboardID%3D62%26ID%3D23441&amp;color_bg=FFFFFF&amp;color_text=CCCCCC&amp;color_link=000000&amp;color_url=CCCCCC&amp;color_border=FFFFFF&amp;ad_type=image&amp;ref=http%3A%2F%2Fwww.ieee.org.cn%2Flist.asp%3Fboardid%3D62&amp;cc=12&amp;u_h=768&amp;u_w=1024&amp;u_ah=738&amp;u_aw=1024&amp;u_cd=32&amp;u_tz=480&amp;u_java=true</A><BR><BR>]]></description>
</item>
</channel>
</rss>