检索结果-南通市图书馆

Commonsense Reasoning and nonmonotonic Aggregation Connectives on Fuzzy Sets

在线全文

学校读者我要写书评

暂无评论

High Technology Letters 1995年第2期1卷 43-47页

作者：刘东波 Institute of China Electronic System Engineering Company Beijing 100039 P. R. China

Commonsense representation and manipulation based on fuzzy logic is a new research field which handles the incompleteness, error-tolerability (allow exceptions) and uncertainty associated with commonsense knowledge. In this paper, we introduce a pair of nonmonotonic aggregation connectives on fuzzy sets-soft intersection and soft union, in the light of Zadeh’s fuzzy set theory. Some important features of the nonmonotonic connectives are also discussed.

关键词： cussed. Commonsense knowledge nonmonotonic reasoning Fuzzy sets Soft intersection Soft union

nonmonotonic propositional logic

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2021年第3期15卷 215-216页

作者： Wei LI Yuefei SUI Yuhui WANG State Key Laboratory of Software Development Environment Beihang UniversityBeijing 100191China Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of SciencesBeijing 100190China School of Computer and Control Engineering University of Chinese Academy of SciencesBeijing 100049China Information Technology Center China Reinsurance(Group)CorporationBeijing 100033China

Propositional logic[1]is basic,based on which other logics are *** deduction system for propositional logic is *** logics are a class of logics which deduction systems are *** ones are default logic[2,3],R-calculus[4]... 详细信息

关键词： default propositional nonmonotonic

nonmonotonic　TRUTH　MAINTENANCE　SYSTEMS

在线全文

学校读者我要写书评

暂无评论

Journal of Shanghai Jiaotong university(Science) 1996年第1期1卷 83-87页

作者： Yang Jie Shi Pengfei (Institute of Image Processing and Pattern Recognition)

ＮＯＮＭＯＮＯＴＯＮＩＣＴＲＵＴＨＭＡＩＮＴＥＮＡＮＣＥＳＹＳＴＥＭＳ＊ＹａｎｇＪｉｅＳｈｉＰｅｎｇｆｅｉ（ＩｎｓｔｉｔｕｔｅｏｆＩｍａｇｅＰｒｏｃｅｓｓｉｎｇａｎｄＰａｔｅｒｎＲｅｃｏｇｎｉｔｉｏｎ）Ａｂｓｔｒａｃ... 详细信息

ＮＯＮＭＯＮＯＴＯＮＩＣＴＲＵＴＨＭＡＩＮＴＥＮＡＮＣＥＳＹＳＴＥＭＳ＊ＹａｎｇＪｉｅＳｈｉＰｅｎｇｆｅｉ（ＩｎｓｔｉｔｕｔｅｏｆＩｍａｇｅＰｒｏｃｅｓｓｉｎｇａｎｄＰａｔｅｒｎＲｅｃｏｇｎｉｔｉｏｎ）ＡｂｓｔｒａｃｔＴｒｕｔｈｍａｉｎｔｅｎａｎｃｅ...

关键词： artificial intelligence nonmonotonic truth maintenance stratified truth maintenance nonmonotonic reasoning

THE RELATIONS BETWEEN nonmonotonic TRUTH MAIN-TENANCE AND nonmonotonic LOGICS

在线全文

学校读者我要写书评

暂无评论

Journal of Shanghai Jiaotong university(Science) 1999年第1期4卷 24-28页

作者：杨杰凌旭峰杨勇

ＩｎｔｒｏｄｕｃｔｉｏｎＣｏｎｖｅｎｔｉｏｎａｌｄｅｄｕｃｔｉｖｅｉｎｆｅｒｅｎｃｅｉｓｍｏｎｏｔｏｎｉｃ，ａｎｄｉｔｉｓｉｎｓｕｆｉｃｉｅｎｔｔｏｓｏｌｖｅｐｒｏｂｌｅｍｓｉｎｃｏｍ－ｍｏｎｓｅｎｓｅｒｅａｓｏｎｉ... 详细信息

ＩｎｔｒｏｄｕｃｔｉｏｎＣｏｎｖｅｎｔｉｏｎａｌｄｅｄｕｃｔｉｖｅｉｎｆｅｒｅｎｃｅｉｓｍｏｎｏｔｏｎｉｃ，ａｎｄｉｔｉｓｉｎｓｕｆｉｃｉｅｎｔｔｏｓｏｌｖｅｐｒｏｂｌｅｍｓｉｎｃｏｍ－ｍｏｎｓｅｎｓｅｒｅａｓｏｎｉｎｇｅｆｉｃｉｅｎｔｌｙ．Ｎｏｎｍ...

关键词： artificial intelligence nonmonotonic truth maintenance stratified truth maintenance prioritized nonmonotonic logics

Horn style deduction relation

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 1998年第3期41卷 280-287页

作者：张玉平 Department of Computer Science Beijing Univ. Aero./Astronaut. Beijing 100083 China

The deduction relation in logics is the relation between two formulas, which can be characterized by proof theoretic inference rules. Following the inference rules in Gentzen proof theory, a class of deduction relations called Horn style deduction relations is defined. By theorems in model theory, it is proved that this relation cannot extend the deductive power of classical deduction relation. Therefore, we reach a conclusion that when generalizing classical logic with the purpose of getting nonmonotonic deduction relation, negative assertions in the definition should be used.

关键词： model theory proof theory nonmonotonic logic.

The open logic and its relation to circumscription

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 1999年第1期42卷 44-53页

作者：林作铨李未 Department of Informatics Peking University Beijing China Department of Computer Science Beijing University of Aeronautics and Astronautics Beijing China

The open logic is defined by model theory which can be viewed as a process-based nonmonotonic logic. Some new notions and results of open logic are introduced. The relation of open logic to circumscription is studied,... 详细信息

关键词： open logic nonmonotonic logic circumscription.

Dialectic operator fuzzy logic

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 1996年第1期39卷 1-10页

作者：程晓春姜云飞刘叙华 Open Lab for Symbolic Computation and Knowledge Engineering Department of Computer ScienceJilin UniversityChangchun 130023China

Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and *** can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowledge is incons... 详细信息

关键词： operator fuzzy logic relevant logic nonmonotonic logic paraconsistent logic.

A Logical Approach to Emulation of Higher Mental Processes

在线全文

学校读者我要写书评

暂无评论

Journal of Harbin Institute of Technology(New Series) 1995年第2期2卷 33-38页

作者：陈志强洪家荣

ＡＬｏｇｉｃａｌＡｐｐｒｏａｃｈｔｏＥｍｕｌａｔｉｏｎｏｆＨｉｇｈｅｒＭｅｎｔａｌＰｒｏｃｅｓｓｅｓＣＨＥＮＺｈｉｑｉａｎｇ；ＨＯＮＧＪｉａｒｏｎｇ（陈志强，洪家荣）（Ｄｅｐｔ．ｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，Ｈ... 详细信息

ＡＬｏｇｉｃａｌＡｐｐｒｏａｃｈｔｏＥｍｕｌａｔｉｏｎｏｆＨｉｇｈｅｒＭｅｎｔａｌＰｒｏｃｅｓｓｅｓＣＨＥＮＺｈｉｑｉａｎｇ；ＨＯＮＧＪｉａｒｏｎｇ（陈志强，洪家荣）（Ｄｅｐｔ．ｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＨａｒｂｉｎＩｎｓｔｉｔｕｔｅｏｆＴ...

关键词： ss:Insight learning intuition acquisition abduction induction nonmonotonic reasoning