Alpha-satisfiability and alpha-lock resolution for a lattice-valued logic LP(X)

Xingxing He, Yang Xu, Yingfang Li, Jun Liu, Luis Martinez, Da Ruan, Jan Wagemans

Research outputpeer-review


This paper focuses on some automated reasoning issues for a kind of lattice-valued logic LP(X) based on lattice-valued algebra. Firstly some extended strategies from classical logic to LP(X) are investigated in order to verify theAlpha-satisability of formulae in LP(X) while the main focus is given on the role of constant formula played in LP(X) in order to simply the verication procedure in the semantic level. Then, an alpha-lock resolution method in LP(X) is proposed and the weak completeness of this method is proved. The work will provide a support for the more e±cient resolution based automated reasoning in LP(X).
Original languageEnglish
Title of host publicationHybrid Artificial Intelligence Systems
Place of PublicationHeidelberg, Germany
StatePublished - Jun 2010
EventHybrid Artificial Intelligence Systems - 5th International Conference HAIS2010, San Sebastián
Duration: 23 Jun 201025 Jun 2010

Publication series

NameLecture Notes in Artificial Intelligence


ConferenceHybrid Artificial Intelligence Systems
CitySan Sebastián

Cite this