1) default arguments
论元缺省
1.
This article examines the sentences in which the three-valence-verb representing by "jiyu" can be used,provides cognitive explanations on the regularly default arguments and thus further divides the three-valence-verb representing by "jiyu" into eight sub-categories.
本文拟讨论“给予”类三价动词所能适应的句式,对论元缺省规律提出认知上的解释,并由此进一步把“给予”类三价动词分为8个次类。
2) default argument
缺省变元
3) default theory
缺省理论
1.
Research on the Dynamics of Constrained Epistemic Default Theory;
带约束的认识缺省理论的动态特性研究
2.
The present paper investigates the representability of default theories by means of the set of extensions of a default theory.
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。
3.
Every default theory has its extension,and it is semimonotonic and cumulative.
提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法。
4) defeasible argumentation
缺省论证
1.
Logics for defeasible argumentation come into being under this condition.
单调的传统逻辑不能很好地处理常常出现在现实问题领域中的三类情况,即不完全的信息、不断变化的情况、以及求解复杂问题过程中生成的假设,缺省论证的逻辑正是适应这种需要而产生的。
5) C-default theory
C-缺省理论
6) bi-default theory
双缺省理论
1.
A novel theory called bi-default theory is proposed for handling inconsistent knowledge simultaneously in the context of default logic without leading to triviality of the extension.
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性。
补充资料：民国省元《净土圣贤录》
【民国省元《净土圣贤录》】
省元，姓贺，山东蓬莱人。少入庠食饩，因友死为料理丧事，遂觉人命无常，起出世想。乃渡海至奉天，及高丽等地访师。到处访遍，仍回奉天辽阳千山中会寺，礼思公禅师剃度。继于天津海光寺受戒。后又出关返寺，礼祖谒师。寻至上方山住静。后移云梯庵，静住苦修，对于禅宗大旨，颇有领略。庚子变乱，难民群集山中，元令一心念佛，均获安全。阅数年，来北京。民国戊午，与拈花寺全朗和尚晤，一见倾心。庚申即移住拈花寺，全和尚即许终身供养，遂两次闭关，共历九年。出关后，四众云集请开示。元云，文字般若，口头三昧，都不中用。唯四威仪中，单提一句阿弥陀佛，时时觉照，字字分明念去。加以真信切愿，决定求生西方，自得真实受用。由是自行化他，一以净土为归。全和尚，亦从此益敬。及量源和尚继席，待遇尤隆。故尝语人曰，我于拈花，人地饭三缘具足，容将由此生西矣。时有霞光法师，后省二年来寺，志同道合，同修净业，因约互送往生。至民国壬申九月二十四日，行动如常，唯饮食稍减，体力渐微，依然精勤念佛。是日霞法师戏问，往生否。元应曰，我往生，汝送我乎。霞曰，必亲送。量和尚，见其容倦，即延医诊治，无甚效。复欲再延医，元云，时节已至，何用医为。至二十六日，则常问时刻。有人悟其意，云其将于夜十二时西归。至晚，霞法师云，此是最要关节，请提起精神念佛。元云，老僧最爱念佛。时缁素亦多为助念。少顷，即起趺坐。霞问，心明白乎。元曰，我何不明白。旋即抬头西望数次，众仍同为助念，元乃含笑而逝，时二十七日子时，世寿七十二，戒腊三十七，霞师果为亲送。逝后，异香满室，旬余不散，有不信佛法者，曰，此香水假饰而致。则奇香愈为馥郁，非寻常香气可比，使阐提无从谤议，知为确生西方。茶毗后三日，众集收检灵骨，屈映光居士，亦其皈依弟子，知其修持真实，当有舍利。是日后至，问，见舍利乎。众曰，未。屈礼毕，舍利顿现，五色璀璨，多至千数，众皆获得。浃旬后，屈居士等数人再至茶毗所，复各检得舍利数粒。（丁桂樵据屈映光函述）○（按屈函丁时尚未办妥骨灰后遵遗命将骨灰成粉和面灰作丸袋盛附轮带青岛投海中至时骨丸自热为软抛完袋中又有舍利此版成后丁桂樵徐蔚如等均再函令补云）
省元，姓贺，山东蓬莱人。少入庠食饩，因友死为料理丧事，遂觉人命无常，起出世想。乃渡海至奉天，及高丽等地访师。到处访遍，仍回奉天辽阳千山中会寺，礼思公禅师剃度。继于天津海光寺受戒。后又出关返寺，礼祖谒师。寻至上方山住静。后移云梯庵，静住苦修，对于禅宗大旨，颇有领略。庚子变乱，难民群集山中，元令一心念佛，均获安全。阅数年，来北京。民国戊午，与拈花寺全朗和尚晤，一见倾心。庚申即移住拈花寺，全和尚即许终身供养，遂两次闭关，共历九年。出关后，四众云集请开示。元云，文字般若，口头三昧，都不中用。唯四威仪中，单提一句阿弥陀佛，时时觉照，字字分明念去。加以真信切愿，决定求生西方，自得真实受用。由是自行化他，一以净土为归。全和尚，亦从此益敬。及量源和尚继席，待遇尤隆。故尝语人曰，我于拈花，人地饭三缘具足，容将由此生西矣。时有霞光法师，后省二年来寺，志同道合，同修净业，因约互送往生。至民国壬申九月二十四日，行动如常，唯饮食稍减，体力渐微，依然精勤念佛。是日霞法师戏问，往生否。元应曰，我往生，汝送我乎。霞曰，必亲送。量和尚，见其容倦，即延医诊治，无甚效。复欲再延医，元云，时节已至，何用医为。至二十六日，则常问时刻。有人悟其意，云其将于夜十二时西归。至晚，霞法师云，此是最要关节，请提起精神念佛。元云，老僧最爱念佛。时缁素亦多为助念。少顷，即起趺坐。霞问，心明白乎。元曰，我何不明白。旋即抬头西望数次，众仍同为助念，元乃含笑而逝，时二十七日子时，世寿七十二，戒腊三十七，霞师果为亲送。逝后，异香满室，旬余不散，有不信佛法者，曰，此香水假饰而致。则奇香愈为馥郁，非寻常香气可比，使阐提无从谤议，知为确生西方。茶毗后三日，众集收检灵骨，屈映光居士，亦其皈依弟子，知其修持真实，当有舍利。是日后至，问，见舍利乎。众曰，未。屈礼毕，舍利顿现，五色璀璨，多至千数，众皆获得。浃旬后，屈居士等数人再至茶毗所，复各检得舍利数粒。（丁桂樵据屈映光函述）○（按屈函丁时尚未办妥骨灰后遵遗命将骨灰成粉和面灰作丸袋盛附轮带青岛投海中至时骨丸自热为软抛完袋中又有舍利此版成后丁桂樵徐蔚如等均再函令补云）
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条