First-order logic for reasoning under uncertainty using rough sets

被引：0
|
作者：
Parsons, S.
Kubat, M.
机构：
来源：
Journal of Intelligent Manufacturing | 1994年 / 5卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] A 1ST-ORDER LOGIC FOR REASONING UNDER UNCERTAINTY USING ROUGH SETS
    PARSONS, S
    KUBAT, M
    JOURNAL OF INTELLIGENT MANUFACTURING, 1994, 5 (04) : 211 - 223
  • [2] Anytime reasoning in first-order logic
    Vanderveen, KB
    Ramamoorthy, CV
    NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1997, : 142 - 148
  • [3] Reasoning About Truth in First-Order Logic
    Strannegard, Claes
    Engstrom, Fredrik
    Nizamani, Abdul Rahim
    Rips, Lance
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2013, 22 (01) : 115 - 137
  • [4] A Decidable First-Order Logic for Medical Reasoning
    Kamide, Norihiro
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II: 15TH INTERNATIONAL CONFERENCE, KES 2011, 2011, 6882 : 235 - 245
  • [5] Reasoning about taxonomies in first-order logic
    Thau, David
    Ludaescher, Bertram
    ECOLOGICAL INFORMATICS, 2007, 2 (03) : 195 - 209
  • [6] Reasoning About Truth in First-Order Logic
    Claes Strannegård
    Fredrik Engström
    Abdul Rahim Nizamani
    Lance Rips
    Journal of Logic, Language and Information, 2013, 22 : 115 - 137
  • [7] Towards abductive reasoning in first-order logic
    Liliana Reyes-Cabello, A.
    Aliseda-Llera, Atocha
    Nepomuceno-Fernandez, Angel
    LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) : 287 - 304
  • [8] Reasoning under Uncertainty Based on Linguistic Truth-Valued Lattice Values First-Order Logic (II)
    Deng, Wenhong
    Lai, Jiajun
    Xu, Yang
    He, Xingxing
    Zhang, Jiafeng
    ICCIT: 2009 FOURTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND CONVERGENCE INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2009, : 1666 - 1669
  • [9] LINGUISTIC UNCERTAINTY REASONING BASED ON GRADATIONAL LATTICE-VALUED FIRST-ORDER LOGIC
    Chang, Zhiyan
    Xu, Yang
    He, Xingxing
    Xu, Weitao
    Zhong, Xiaomei
    INTELLIGENT DECISION MAKING SYSTEMS, VOL. 2, 2010, : 649 - 654
  • [10] Uncertainty Reasoning based on Gradational Lattice-Valued First-Order Logic Lvfl
    Chang, Zhiyan
    Xu, Yang
    Du, Weifeng
    Wu, Minghui
    ISIP: 2009 INTERNATIONAL SYMPOSIUM ON INFORMATION PROCESSING, PROCEEDINGS, 2009, : 9 - +
12345