A logical theory of nonmonotonic inference and belief change

Authors:
Alexander Bochman
Affiliations:
Holon Academic Institute of Technology, Holon, Israel
Venue:
A logical theory of nonmonotonic inference and belief change
Year:
2001

Citing 0
Cited 23

A representation theorem for recovering contraction relations satisfying wci

Theoretical Computer Science
Brave Nonmonotonic Inference and Its Kinds

Annals of Mathematics and Artificial Intelligence
Normal conditions for inference relations and injective models

Theoretical Computer Science
Similarity between preferential models

Theoretical Computer Science
A characterization theorem for injective model classes axiomatized by general rules

Theoretical Computer Science
A causal approach to nonmonotonic reasoning

Artificial Intelligence
Additive Consolidation with Maximal Change

Electronic Notes in Theoretical Computer Science (ENTCS)
Default logic generalized and simplified

Annals of Mathematics and Artificial Intelligence
Issues in Designing Logical Models for Norm Change

Organized Adaption in Multi-Agent Systems
A causal approach to nonmonotonic reasoning

Artificial Intelligence
Mereological theories of concepts in granular computing

Transactions on computational science II
A general family of preferential belief removal operators

LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Double preference relations for generalised belief change

Artificial Intelligence
Argumentation and rules with exceptions

Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Rational closure for defeasible description logics

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Norm-system revision: theory and application

Artificial Intelligence and Law
Nonmonotonic logics and their algebraic foundations

CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Possible world semantics for defeasible deontic logic

DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Revision over partial pre-orders: a postulational study

SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Knowledge acquisition: Past, present and future

International Journal of Human-Computer Studies
Causal dynamic inference

Annals of Mathematics and Artificial Intelligence
Identifying the class of maxi-consistent operators in argumentation

Journal of Artificial Intelligence Research
Defeasible inheritance-based description logics

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

This monograph provides logical foundations and a uniform description for nonmonotonic reasoning and belief change. The approach to these subjects is based on a powerful notion of an epistemic state that subsumes existing models for both nonmonotonic inference and belief change. Many results and constructions in the book are completely new and have not appeared in earlier literature.The book is primarily intended for experts in artificial intelligence and knowledge representation who are interested in tools for describing common sense reasoning tasks, as well as in the representation capabilities of such tools. Due to an extensive use of a logical machinery, the book is also of interest to general logicians.