38th International Symposium on Multiple Valued Logic (ismvl 2008)
Default Reasoning with Imperfect Information in Multivalued Logics
May 22-May 24
ISBN: 978-0-7695-3155-7
DOI Bookmark:
http://doi.ieeecomputersociety.org/10.1109/ISMVL.2008.45
The work provides an approach to default reasoningwith imperfect information using extended logic programsin multivalued logics given by bilattices. The paper introducesthe default semantics of an extended program usinga set of operators with interesting properties elegantly expressedin terms of lattice theory, including the ultimateevaluation based consequence operator and the default operatorcorresponding to two types of inference in presenceof imperfect information. We provide a computational approachfor the default semantics and relate our frameworkto relevant work.
Index Terms:
default reasoning, bilattices, imperfect information, multivalued logics
Citation:
Daniel Stamate, "Default Reasoning with Imperfect Information in Multivalued Logics," ismvl, pp.163-168, 38th International Symposium on Multiple Valued Logic (ismvl 2008), 2008
Usage of this product signifies your acceptance of the
Terms of Use.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||