Nonmonotonic Reasoning with Multiple Belief Sets

J. Engelfriet, H. Herre, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

In the present paper we introduce nonmonotonic belief set operators and selection operators to formalize and to analyze multiple belief sets in an abstract setting. We define and investigate formal properties of belief set operators as absorption, congruence, supradeductivity and weak belief monotony. Furthermore, it is shown that for each belief set operator satisfying strong belief cumulativity there exists a largest monotonic logic underlying it, thus generalizing a result for nonmonotonic inference operations. Finally, we study abstract properties of selective inference operations connected to belief set operators and which are used to choose one of the possible views.
Original languageEnglish
Title of host publicationPractical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings
PublisherSpringer/Verlag
Pages331-344
Number of pages15
Volume1085
ISBN (Print)3540613137, 9783540613138
DOIs
Publication statusPublished - 1996
EventInternational Conference on Formal and Applied Practical Reasoning, FAPR 1996 - Bonn, Germany
Duration: 3 Jun 19967 Jun 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume1085
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Formal and Applied Practical Reasoning, FAPR 1996
CountryGermany
CityBonn
Period3/06/967/06/96

Keywords

  • Belief sets
  • Knowledge representation
  • Nonmonotonic inference

Fingerprint Dive into the research topics of 'Nonmonotonic Reasoning with Multiple Belief Sets'. Together they form a unique fingerprint.

Cite this