Resolution based on six lattice-valued proposition logic LP/sub 6/(X)
D Meng, X Wang, K Qin - SMC'03 Conference Proceedings …, 2003 - ieeexplore.ieee.org
Resolution-based automated reasoning theory is an important and active research field in
artificial intelligence. It is used to judge the satisfiability of any logic formula. With the
development of classical and non-classical logic, the resolution theory and method based
on different logic system has been discussed widely and deeply. In the present paper, a new
resolution principle by using ultrafilter in LP/sub 6/(X) is put forward. Different from existed
method of resolution, this resolution in this paper is based on ultrafilter of lattice implication …
artificial intelligence. It is used to judge the satisfiability of any logic formula. With the
development of classical and non-classical logic, the resolution theory and method based
on different logic system has been discussed widely and deeply. In the present paper, a new
resolution principle by using ultrafilter in LP/sub 6/(X) is put forward. Different from existed
method of resolution, this resolution in this paper is based on ultrafilter of lattice implication …
Resolution principle based on six lattice-valued proposition logic LP/sub 6/(X)
D Meng, Y Xu, X Qiu, K Qin - Proceedings of the 2003 …, 2003 - ieeexplore.ieee.org
Resolution-based automated reasoning theory is an important and active research field in
artificial intelligence. It is used to judge the satisfiability of any logic formula. With the
development of classical and non-classical logic, the resolution theory and method based
on different logic system has been discussed widely and deeply. In the present paper, a new
resolution principle by using ultrafilter in LP/sub 6/(X) is put forward. Different from existed
method of resolution, this resolution in this paper is based on ultrafilter of lattice implication …
artificial intelligence. It is used to judge the satisfiability of any logic formula. With the
development of classical and non-classical logic, the resolution theory and method based
on different logic system has been discussed widely and deeply. In the present paper, a new
resolution principle by using ultrafilter in LP/sub 6/(X) is put forward. Different from existed
method of resolution, this resolution in this paper is based on ultrafilter of lattice implication …
Showing the best results for this search. See all results