Titlebook: Nonmonotonic and Inductive Logic; Second International Gerhard Brewka,Klaus P. Jantke,Peter H. Schmitt Conference proceedings 1993 Springer

Encounter

书目名称Nonmonotonic and Inductive Logic影响因子(影响力)




书目名称Nonmonotonic and Inductive Logic影响因子(影响力)学科排名




书目名称Nonmonotonic and Inductive Logic网络公开度




书目名称Nonmonotonic and Inductive Logic网络公开度学科排名




书目名称Nonmonotonic and Inductive Logic被引频次




书目名称Nonmonotonic and Inductive Logic被引频次学科排名




书目名称Nonmonotonic and Inductive Logic年度引用




书目名称Nonmonotonic and Inductive Logic年度引用学科排名




书目名称Nonmonotonic and Inductive Logic读者反馈




书目名称Nonmonotonic and Inductive Logic读者反馈学科排名

Observe

All I know about Tweety,I know” to the logic, where “this” can be understood as the knowledge base of the agent in question. In this paper we introduce a new construct, which allows us to express that “this is all I know about a certain subject matter.“ This relativized all-I-know concept turns out to be sufficient to model autoepistemic reasoning.

euphoria

coddle

Probabilistic inference of approximations, but with bounded density. We have obtained hierarchies of classes of functions identifiable with different probabilities up to sets with fixed density. The obtained hierarchies turn out to be different from those which we have in the case of exact identification.

使迷惑

978-3-540-56433-1Springer-Verlag Berlin Heidelberg 1993

dissent

Nonmonotonic and Inductive Logic978-3-540-47557-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

干旱

arthroplasty

indifferent

Deductive generalization in a default logic setting,In this paper, we study how several patterns of deductive generalization from positive and negative examples can be relaxed to handle forms of defeasible reasoning, using default logic as a case study. We compare the resulting paradigms and establish the logical conditions under which they can take place.

Stress

Normal form results for default logic,In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.