Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Deduction And Theorem Proving (I.2.3) > Nonmonotonic Reasoning And Belief Revision (I.2.3...)  
 
Options:
 
  1-10 of 60 Reviews about "Nonmonotonic Reasoning And Belief Revision (I.2.3...)": Date Reviewed
  A new perspective on nonmonotonic logics
Gabbay D., Schlechta K., Springer International Publishing, New York, NY, 2016. 365 pp.  Type: Book (978-3-319468-15-0)

Nonmonotonic reasoning derives plausible conclusions from a theory. The theory is sometimes called background knowledge. If new information becomes available showing that some conclusions are wrong, one has to retract them. A common ap...

Feb 7 2018
  Belief revision in structured probabilistic argumentation
Shakarian P., Simari G., Moores G., Paulo D., Parsons S., Falappa M., Aleali A. Annals of Mathematics and Artificial Intelligence 78(3-4): 259-301, 2016.  Type: Article

Traditional logic assumes, sometimes implicitly, that we are absolutely sure about each statement S in the knowledge base (KB); the question is what we can deduce from this knowledge. In practice, we often have some ...

May 11 2017
  Krister Segerberg on logic of actions
Trypuz R., Springer Publishing Company, Incorporated, New York, NY, 2013. 300 pp.  Type: Book (978-9-400770-45-4)

The first volume in a series by Springer on logicians, this book is on the contributions of Krister Segerberg. Segerberg is an outstanding practitioner of logic in the treatment of philosophical problems, many of them dealing with even...

Jun 27 2014
  On the logic of lying
van Ditmarsch H., van Eijck J., Sietsma F., Wang Y. In Games, actions and social software. New York, NY: Springer-Verlag, 2012.  Type: Book Chapter

I found this study compelling, but hard going. The authors examine and model lying (or deceitful utterances) by dismantling and reassembling the logic of belief. They start with three St. Augustine statements, that lying is an R...

Nov 1 2012
  The model of appropriation: contribution of rational choice theory and cognitive science to a better technology
Zejda D.  IE 2011 (Proceedings of the 7th International Conference on Intelligent Environments, Nottingham, UK, Jul 25-28, 2011) 262-269, 2011.  Type: Proceedings

The model of appropriation presented here represents a simple model of reasoning that brings together concepts from rational choice theory and cognitive science to shed light on human cognition and behavior related to the human capacit...

Aug 6 2012
  Transactions on rough sets VI: commemorating life and work of Zdislaw Pawlak, Part I (Lecture Notes in Computer Science 4374)
Peters J., Skowron A., Düntsch I., Grzymala-Busse J., Orlowska E., Polkowski L., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. 499 pp.  Type: Book (9783540711988)

The concept of rough sets was introduced by Zdzisław Pawlak (1926--2006), and is a generalization of the standard notions of set theory, in that respect being similar to fuzzy set theory. It is apparently a quite ac...

Apr 3 2008
  Defeasible security policy composition for Web services
Lee A., Boyer J., Olson L., Gunter C.  Formal methods in security (Proceedings of the Fourth ACM Workshop on Formal Methods in Security, Alexandria, Virginia, Nov 3, 2006) 45-54, 2006.  Type: Proceedings

Defeasible logic is a rule-based nonmonotonic logic that is now being used in the design of applications in areas where specifications are naturally expressed in terms of rules. The application investigated in this paper—...

Feb 8 2007
  Updating beliefs with incomplete observations
de Cooman G., Zaffalon M. Artificial Intelligence 159(1-2): 75-125, 2004.  Type: Article

The issue the authors tackle in this excellent paper is simple enough to explain: what we typically do when faced with incomplete evidence is based on an important, but often unsatisfied assumption. As an example, suppose as a physicia...

Jun 2 2005
  Nonmonotonic proof systems: algebraic foundations
Ghosh S., Chakraborty M. Fundamenta Informaticae 59(1): 39-65, 2004.  Type: Article

In this mathematical research paper, the authors present an algebraic method for nonmonotonic proof systems, in the style of D. Gabbay [1]. More precisely, they study logical systems in which a nonmonotonic consequence relation is comb...

Oct 14 2004
  Formalizing defeasible logic in CAKE
Madalińska-Bugaj E., łukaszewicz W. Fundamenta Informaticae 57(2-4): 193-213, 2003.  Type: Article

Defeasible logic (DL) is an efficient nonmonotonic logic. In the last few years, several variants of DL have been presented to deal with different, and sometimes incompatible, intuitions of nonmonotonic reasoning [1]. This paper discus...

Jul 8 2004
 
 
 
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy