Default Reasoning with Imperfect Information in Multivalued Logics

Stamate, Daniel. 2008. 'Default Reasoning with Imperfect Information in Multivalued Logics'. In: 38th International Symposium on Multiple Valued Logic (ismvl 2008). Dallas TX, United States 22-24 May 2008. [Conference or Workshop Item]

No full text available

Abstract 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:

Conference or Workshop Item (Paper)

Identification Number (DOI):

https://doi.org/10.1109/ISMVL.2008.45

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
6 June 2008Published

Event Location:

Dallas TX, United States

Date range:

22-24 May 2008

Item ID:

6830

Date Deposited:

16 Apr 2012 12:32

Last Modified:

18 Jul 2023 14:57

URI:

https://research.gold.ac.uk/id/eprint/6830

Edit Record Edit Record (login required)