Representation and reduction of decision system based on semantics of extended propositional modal logic

被引：0
作者：
Zhang, Xiaoru [1 ]
Zhang, Zaiyue [1 ]
Cao, Cungen [2 ]
Huang, Zhisheng [3 ]
机构：
[1] School of computer Science and Engineering of Jiangsu University of Sci. and Tech., China
[2] Institute of Computing Technology, The Chinese Academy of Science, Beijing 100190, China
[3] The Department of Artificial Intelligence, Vrije University of Amsterdam, Netherlands
来源：
Journal of Computational Information Systems | 2011年 / 7卷 / 11期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：4071 / 4081
相关论文
共 50 条
[41]   Logic Programming in Assumption-Based Argumentation Revisited - Semantics and Graphical Representation [J].
Schulz, Claudia ;
Toni, Francesca .
PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, :1569-1575
[42]   Description of fuzzy first-order modal logic based on constant domain semantics [J].
Zhang, ZY ;
Sui, YF ;
Cao, CG .
ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, PT 1, PROCEEDINGS, 2005, 3641 :642-650
[43]   Model Action Semantics Representation and its Negotiation Algorithm in Decision Support System [J].
Zhang, Bo ;
Xiang, Yang ;
Zhang, Bei ;
Wang, Dong .
2008 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-31, 2008, :5317-5320
[44]   The Theory of Truth Degree on Vector Representation of Formula in n-valued Lukasiewicz Propositional Logic System [J].
Gao Xiaoli ;
Hui Xiaojing ;
Zhu Naidiao .
PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, :3704-3709
[45]   A modal logic-based model of traffic system [J].
Suzuki, T ;
Zanma, T ;
Ishida, M .
IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 2002, :1740-1745
[46]   AN INTERVAL-BASED MODAL LOGIC FOR SYSTEM SPECIFICATION [J].
LI, RW ;
CARMO, J .
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 :281-292
[47]   A canonical form based decision procedure and model checking approach for propositional projection temporal logic [J].
Duan, Zhenhua ;
Tian, Cong ;
Zhang, Nan .
THEORETICAL COMPUTER SCIENCE, 2016, 609 :544-560
[48]   Algebraic semantics of a system of logic based on a finite ordered set [J].
Nour, A .
MATHEMATICAL LOGIC QUARTERLY, 1999, 45 (04) :457-466
[49]   A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making [J].
Xinxin Wang ;
Zeshui Xu ;
Xunjie Gou .
Fuzzy Optimization and Decision Making, 2020, 19 :251-274
[50]   A logic-based knowledge representation for authorization with delegation (extended abstract) [J].
Li, N ;
Feigenbaum, J ;
Grosof, BN .
PROCEEDINGS OF THE 12TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, 1999, :162-174
12345