Relations between theory revision and nonmonotonic logic.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

“Some direct theories of nonmonotonic inheritance”, in.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

Three influential papers on nonmonotonic logic appeared in 1980.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

One of the earliest attempts to formalize nonmonotonic reasoning.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

Epistemic logic has inspired other approaches to nonmonotonic logic.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

A logic is nonmonotonic if its consequence relation lacks this property.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

These theories are explained, and compared to other nonmonotonic logics, in.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

The real problem is not just nonlinearity but nonmonotonic – see my note on TTHH.    From Wordnik.com.  [Mo' Mo' Moberg « Climate Audit] Reference

The development of nonmonotonic logic also owes a great deal to the applied side of AI.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

Defaults and nonmonotonic reasoning are also well entrenched in computational linguistics.    From Wordnik.com.  [Defaults in Semantics and Pragmatics] Reference

It is also nonmonotonic in that the relation may disappear with the growth of information.    From Wordnik.com.  [Defaults in Semantics and Pragmatics] Reference

Early work in nonmonotonic logic does not seem to be aware of the analogy with conditional logic.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

The modal approach represents a “higher level of nonmonotonic involvement” than default logic.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

I mentioned how preferred models could be used to characterize a nonmonotonic consequence relation.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

Incorporating it in a nonmonotonic logic can complicate the theory considerably; see, for instance.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

So attempts to formalize the reasoning needed in planning also created a need for nonmonotonic logics.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

This provided a natural and highly specific challenge for those seeking to develop a nonmonotonic logic.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

But the resulting logic will become nonmonotonic because there are default rules and default operators in the language.    From Wordnik.com.  [Defaults in Semantics and Pragmatics] Reference

As the discussion above of truth maintenance indicated, it is very natural to think of nonmonotonic inferences as being hedged.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

Alex Lascarides and Nicholas Asher have developed techniques for formalizing discourse phenomena based on nonmonotonic logic; see.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

In retrospect, we can identify two sorts of approaches to nonmonotonic logic: those based on preference and those based on conflict.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

Sandewall 1994, uses preference semantics as a way to organize nonmonotonic solutions to the problems of reasoning about action and change.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

That is, a nonmonotonic inference may require not merely the presence of a set of proved conclusions, but the absence of certain other conclusions.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

In fact, as the more recent work in deontic logic shows, nonmonotonic logic provides a natural and useful way to modify the classical deontic logic.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

But nonmonotonic solutions to the framework have been extensively investigated and deployed; these lead to new and interesting lines of logical development.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

For this reason, systems of nonmonotonic inheritance tend to be expressively weak, and their relations to the more powerful nonmonotonic logic has never been fully clarified.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

Overdominance generated by nonmonotonic autoregulation.    From Wordnik.com.  [PLoS ONE Alerts: New Articles] Reference

This is a nonmonotonic bidding pattern; it does not follow the expected sequence of 'my bid did not work so I will bid higher.'.    From Wordnik.com.  [Newswise: Latest News] Reference

Frequencies of partial dominance/additive gene action (red bars) and overdominance (blue bars) for autoregulation with nonmonotonic dose-response relationship.    From Wordnik.com.  [PLoS ONE Alerts: New Articles] Reference

1992, “Maps between nonmonotonic logic and conditional logic”, in KR'92.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

I’ve been thinking, lately, that these fertility trends may wind up being nonmonotonic.    From Wordnik.com.  [How Many Generations of Imbeciles Is Enough?] Reference

We will formalize the inertial reasoning in this scenario using a nonmonotonic logic ” to be specific, we use Reiter's default logic.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

But inductive support is nonmonotonic.    From Wordnik.com.  [Inductive Logic] Reference

“Causal theories of nonmonotonic reasoning”, in.    From Wordnik.com.  [Logic and Artificial Intelligence] Reference

The picture changes dramatically with nonmonotonic dose-response curves (.    From Wordnik.com.  [PLoS ONE Alerts: New Articles] Reference

One way to achieve this type of sign motif in an autoregulatory regime is to let the gene regulatory function become nonmonotonic (.    From Wordnik.com.  [PLoS ONE Alerts: New Articles] Reference