### Abstract

Numerous applications rely on implication rules either as models of causal relations among data, or as components of their reasoning and inference systems. Although mature and robust models of implication rules already exist for 'perfect' (e.g., boolean) scenarios, there is still a need for improving implication rule models when the data (or system models) are uncertain, ambiguous, vague, or incomplete. Decades of research have produced models for probabilistic and fuzzy systems. However, the work on uncertain implication rules under the Dempster-Shafer (DS) theoretical framework can still be improved. Given that DS theory provides increased robustness against uncertain/incomplete data, and that DS models can easily be converted into probabilistic and fuzzy models, a DS-based implication rule that is consistent with classical logic would definitely improve inference methods when dealing with uncertainty. We introduce a DS-based uncertain implication rule that is consistent with classical logic. This model satisfies reflexivity, contrapositivity, and transitivity properties, and is embedded into an uncertain logic reasoning system that is itself consistent with classical logic. When dealing with 'perfect' (i.e., no uncertainty) data, the implication rule model renders the classical implication rule results. Furthermore, we introduce an ambiguity measure to track degeneracy of belief models throughout inference processes. We illustrate the use and behavior of both the uncertain implication rule and the ambiguity measure in a human-robot interaction problem.

Original language | English |
---|---|

Title of host publication | Proceedings of the 16th International Conference on Information Fusion, FUSION 2013 |

Pages | 1934-1941 |

Number of pages | 8 |

State | Published - Dec 26 2013 |

Event | 16th International Conference of Information Fusion, FUSION 2013 - Istanbul, Turkey Duration: Jul 9 2013 → Jul 12 2013 |

### Other

Other | 16th International Conference of Information Fusion, FUSION 2013 |
---|---|

Country | Turkey |

City | Istanbul |

Period | 7/9/13 → 7/12/13 |

### Fingerprint

### ASJC Scopus subject areas

- Information Systems

### Cite this

*Proceedings of the 16th International Conference on Information Fusion, FUSION 2013*(pp. 1934-1941). [6641241]

**DS-based uncertain implication rules for inference and fusion applications.** / Nunez, Rafael C.; Dabarera, Ranga; Scheutz, Matthias; Briggs, Gordon; Bueno, Otavio; Premaratne, Kamal; Murthi, Manohar.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*Proceedings of the 16th International Conference on Information Fusion, FUSION 2013.*, 6641241, pp. 1934-1941, 16th International Conference of Information Fusion, FUSION 2013, Istanbul, Turkey, 7/9/13.

}

TY - GEN

T1 - DS-based uncertain implication rules for inference and fusion applications

AU - Nunez, Rafael C.

AU - Dabarera, Ranga

AU - Scheutz, Matthias

AU - Briggs, Gordon

AU - Bueno, Otavio

AU - Premaratne, Kamal

AU - Murthi, Manohar

PY - 2013/12/26

Y1 - 2013/12/26

N2 - Numerous applications rely on implication rules either as models of causal relations among data, or as components of their reasoning and inference systems. Although mature and robust models of implication rules already exist for 'perfect' (e.g., boolean) scenarios, there is still a need for improving implication rule models when the data (or system models) are uncertain, ambiguous, vague, or incomplete. Decades of research have produced models for probabilistic and fuzzy systems. However, the work on uncertain implication rules under the Dempster-Shafer (DS) theoretical framework can still be improved. Given that DS theory provides increased robustness against uncertain/incomplete data, and that DS models can easily be converted into probabilistic and fuzzy models, a DS-based implication rule that is consistent with classical logic would definitely improve inference methods when dealing with uncertainty. We introduce a DS-based uncertain implication rule that is consistent with classical logic. This model satisfies reflexivity, contrapositivity, and transitivity properties, and is embedded into an uncertain logic reasoning system that is itself consistent with classical logic. When dealing with 'perfect' (i.e., no uncertainty) data, the implication rule model renders the classical implication rule results. Furthermore, we introduce an ambiguity measure to track degeneracy of belief models throughout inference processes. We illustrate the use and behavior of both the uncertain implication rule and the ambiguity measure in a human-robot interaction problem.

AB - Numerous applications rely on implication rules either as models of causal relations among data, or as components of their reasoning and inference systems. Although mature and robust models of implication rules already exist for 'perfect' (e.g., boolean) scenarios, there is still a need for improving implication rule models when the data (or system models) are uncertain, ambiguous, vague, or incomplete. Decades of research have produced models for probabilistic and fuzzy systems. However, the work on uncertain implication rules under the Dempster-Shafer (DS) theoretical framework can still be improved. Given that DS theory provides increased robustness against uncertain/incomplete data, and that DS models can easily be converted into probabilistic and fuzzy models, a DS-based implication rule that is consistent with classical logic would definitely improve inference methods when dealing with uncertainty. We introduce a DS-based uncertain implication rule that is consistent with classical logic. This model satisfies reflexivity, contrapositivity, and transitivity properties, and is embedded into an uncertain logic reasoning system that is itself consistent with classical logic. When dealing with 'perfect' (i.e., no uncertainty) data, the implication rule model renders the classical implication rule results. Furthermore, we introduce an ambiguity measure to track degeneracy of belief models throughout inference processes. We illustrate the use and behavior of both the uncertain implication rule and the ambiguity measure in a human-robot interaction problem.

UR - http://www.scopus.com/inward/record.url?scp=84890812613&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84890812613&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84890812613

SN - 9786058631113

SP - 1934

EP - 1941

BT - Proceedings of the 16th International Conference on Information Fusion, FUSION 2013

ER -