Default Reasoning with Imperfect Information in Multivalued Logics
Stamate, Daniel. 2008. Default Reasoning with Imperfect Information in Multivalued Logics. 38th International Symposium on Multiple Valued Logic, n/a, pp. 163-168. ISSN 0195-623X [Article]
No full text availableAbstract or Description
The work provides an approach to default reasoning with imperfect information using extended logic programs in multivalued logics given by bilattices. The paper introduces the default semantics of an extended program using a set of operators with interesting properties elegantly expressed in terms of lattice theory, including the ultimate evaluation based consequence operator and the default operator corresponding to two types of inference in presence of imperfect information. We provide a computational approach for the default semantics and relate our framework to relevant work.
Item Type: |
Article |
||||
Identification Number (DOI): |
|||||
Departments, Centres and Research Units: |
|||||
Dates: |
|
||||
Item ID: |
9380 |
||||
Date Deposited: |
30 Oct 2013 17:23 |
||||
Last Modified: |
20 Jun 2017 13:09 |
||||
Peer Reviewed: |
Yes, this version has been peer-reviewed. |
||||
URI: |
![]() |
Edit Record (login required) |