Uncontroversial Default Logic
Copyright policy )Uncontroversial Default Logic
Summary: Many variants of default logics exist. Two of the main differences among them arise from the choice between local and global consistency, and the choice of whether or not to accept maximally successful sets of defaults. In this paper, we characterize theories that do not depend at all on what makes the semantics different, that is, theories for which these two choices do not matter. A result that is proved for such theories holds not only for all the considered semantics, but also for every other semantics that differs from them on the two choices.
- Roma Tre University Italy
- Sapienza University of Rome Italy
Logic in artificial intelligence, Knowledge representation, knowledge representation, default logic, nonmonotonic logic, Other nonclassical logic, artificial intelligence; default logic; knowledge representation; nonmonotonic logic; nonmonotonic reasoning
Logic in artificial intelligence, Knowledge representation, knowledge representation, default logic, nonmonotonic logic, Other nonclassical logic, artificial intelligence; default logic; knowledge representation; nonmonotonic logic; nonmonotonic reasoning
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).2 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!