Measuring formula-variable relevance in four-valued logic by forgetting | |
Liang, Xin ; Lin, Zuoquan | |
2013 | |
英文摘要 | This paper discusses an approach to evaluate the relevance between a formula and a variable in it under the four-valued semantics. In the existing literature, for the classical two-valued propositional logic, there are definitions of whether a variable is independent to a certain formula. These definitions are based on forgetting, which is an operation to maintain and manage knowledge bases. Forgetting has its semantic connections with relevance. In the previous work in which the authors of this paper participated, an approach of quantitatively defining formula-variable relevance in two-valued propositional logic was proposed, which not only gave the judgement of relevant or not, but also gave a measurement of how relevant they are (i.e., the degree of relevance), also using the tool of variable forgetting. In this paper, we adapt the method to four-valued logic. Because forgetting has not been defined in four-valued logic yet, our first step is to define forgetting in four-valued logic. Then we will define formula-variable relevance quantitatively in four-valued logic. It will be a tool for the management of the knowledge bases under four-valued logic. ? 2013 Springer-Verlag Berlin Heidelberg.; EI; 0 |
语种 | 英语 |
出处 | EI |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/315508] ![]() |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Liang, Xin,Lin, Zuoquan. Measuring formula-variable relevance in four-valued logic by forgetting. 2013-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论