结构化论辩系统——限制性反驳和非限制性反驳（英文）

近年来,形式论辩研究在人工智能领域受到越来越多的关注。形式论辩研究的目标之一是沟通人类推理和机器推理,为实现这一目的,近年来多个结构化论辩系统被提出,如ABA、ASPIC~+、ASPIC~-等。不同的研究在系统设定上有不同的选择,本文关注的是对论证间反驳关系定义的两种不同选择:限制性反驳和非限制性反驳。为了验证哪种选择更符合人类推理直觉,本文给出了一个实证研究,研究结果显示非限制性反驳更符合人类直觉。由于非限制性反驳可能导致论辩系统推理结果违反理性公设,这一结论说明目前的结构化论辩形式体系在自然性和合理性的兼顾上还需改进。     

吉林省举办全省宫观负责人学习班

１９９８年１１月１７日，在辽源福寿宫举办了吉林省首次道教宫观负责人学习班。这次学习班以落实中国道协第六届代表会议精神为主题。吉林省宗教局局长戚发祥、辽源市副市长徐增力等有关领导莅会祝贺并作了重要讲话。由中国道协理事、辽源道协副会长、福寿宫监院赵理修传...     

陌生的魅力

在金色的秋日，我踏上北去的列车，望着车窗外晃过的一株株白杨，感到一个人的旅行，的确有些孤独有些寂寞。为了不使旅行变得冗长而乏味，我主动地和躺在对面铺位上的男青年聊起了一些轻松的话题。聊了一会儿，我发觉他外表虽丑，内心却不俗，知识渊博，又很幽默，说到好笑的话题，我们便相视而捧腹。因为陌生，我们都很轻松自如，因为陌生，我们没有必要伪装掩饰自己。     

明星失恋妙语录

不管明星的名气有多大,有一点是和我们相同的:都经历过失恋。失恋的明星偶尔也会像常人般发出些感慨,或者带点哲理,或者莫名其妙。刘若英失恋就像吃酸味冰淇淋。“失恋就像吃酸味冰淇淋,心     

种一株心兰

唐代著名的慧宗禅师常为弘法讲经而云游四方。有一回,他临行前吩咐弟子看护好寺院的数十盆兰花。弟子们深知禅师酷爱兰花,因此侍弄兰花非常殷勤。但一天深夜,狂风大作,暴雨如注,偏偏当晚弟子们一时疏忽将兰花遗忘在了户外。第二天清晨,弟子们后悔不迭,眼前是倾倒的花架,破碎的花盆,棵棵兰花,憔悴不堪,狼藉遍地。