Grice's Tweety

Tweety is a bird,
therefore, Tweety flies.

There is a symbol here, which I'm trying to trace.

Here for the record, the entry in the OED:

MONOTONIC: Of a function or quantity: varying in such a way that it either never increases or never decreases. Of a sequence: consisting of terms that vary in this way. = monotone a. and sb. A. 2, monotonous a. 3.

1901 Ann. Math. II. 116
It follows that f(s) is a monotonic function that actually decreases in parts of the interval.

1908 T. J. I'A. Bromwich Introd. Theory Infinite Series i. 5
A sequence in which a n + 1 for all values of n is called an increasing sequence; and similarly if a n + 1 for all values of n, the sequence is called decreasing. Both increasing and decreasing sequences are included in the term monotonic sequences.

1923 Proc. Cambr. Philos. Soc. XXI. 633
Z shall be monotonic considered as a function of rho

1957 G. E. Hutchinson Treat. Limnol. I. v. 251
The velocity at any point in a fluid could be expressed as a continuous
monotonic or regularly oscillating function of time.

1968 E. T. Copson Metric Spaces i. 16
Every bounded monotonic sequence of real numbers is convergent.

1970 Nature 3 Oct. 36/2
The rate of uptake of calcium by the isolated reticulum..also displayed
monotonic dependence on the concentration of free Ca2+ in the medium.

1973 Jrnl. Genetic Psychol. CXXII. 327

Young-adult responses were.. even more clearly a monotonic function of
actual figure age than were preschool responses.

And below for some online links with Grice.

Cheers,

JL

--

Citation details: Commonsense entailment: a modal theory of ...
... to derive conversational implicatures. In ... is presented. Grice s
maximsprovide ... theory
of non-monotonic reasoning ... of temporal implicature, and outlined ...
http://www.citeseer.nj.nec.com/context/9629/0


Citation details: An Application of Default Logic to Speech ...
... Model of Conversational Context - Massimo ... inferences and
implicature inferences as ... 3.2.
5 Non monotonic Reasoning, Belief ... Levesque 1990; Grice 1957 ...
http://www.citeseer.nj.nec.com/context/9046/0


Review of Levinson
... based on monotonic principles (as ... the term "non-monotonicity" is
... scalar implicature
that ... generalized conversational implicatures ... picture. Grice's
conversational ...
http://www.ccat.sas.upenn.edu/~haroldfs/dravling/levinson.html


LINGUIST List 6.1457: APAHE, AAAI
... if any do Grice's maxims and Cooperative ... as use of non-monotonic
reasoning, abduction ... been
in modeling conversational implicature? How well ...
http://www.emich.edu/~linguist/issues/6/6-1457.html


20th WCP: Modus Ponens, Modus Tollens, and Likeness
... principle" of HP Grice which yields to conversational implicature,(9)
sometimes
we ... defined form, on non-monotonic bases. We can ...
http://www.bu.edu/wcp/Papers/Logi/LogiDagl.htm


Abstracts von AG 11 / Abstracts of Workshop 11
... a non-monotonic character) between ... of individual (non conventional)
communicative ... Zwar
hat Grice durch den ... to an implicature on the ... the conversational
maxims ...
http://www.ling.uni-konstanz.de/pages/dgfs/Pages/Abstracts/abstractsa...
ml


http://www2.rz.hu-berlin.de/asg/blutner/CaseStudies.pdf
... Gricean framework of conversational implicature can be reformulated ...
first part of
Grice's quantity maxim (make ... to be non-monotonic. (8) a ...


Untitled
... if any do Grice's maxims and cooperative ... as types of conversational
implicature?
What is the ... as use of non-monotonic reasoning, abduction ...
http://www.mlnet.org/community/events/cfps/aaai-ss96.ascii


CONTEXT'99 Program
... consequence is non-monotonic. We will ... what is non-monotonically
entailed ... formally
encode Grice's notion of conversational implicature - and to ...
http://www.cs.unitn.it/CONTEXT-99/abstracts.html


http://www.uni-erfurt.de/wissenschaftsphilosophie/PragmKnow.pdf
... pragmatics Non-monotonic C-dependency Conversational implicatures
Relevance ... have a
non-relative compa ... Harvester Press. Grice, HP ... and Implicature", in
...


Nonmonotonic Reasoning Workshops
... The International Workshops on Nonmonotonic Reasoning (NM) aim to bring
together
active researchers interested in the area of nonmonotonic reasoning to
discuss ...
Description: International Workshops on Nonmonotonic Reasoning.
Category: Science > Math > Logic and Foundations > Conferences
http://www.kr.org/nm/


LPNMR'01
... 6th International Conference on Logic Programming and Nonmonotonic
Reasoning
September 17-19, 2001 Vienna, Austria See also: KI-2001. Supported by: ...=


Description: 6th International Conference on Logic Programming and
Nonmonotonic Reasoning. Vienna, Austria; 17--19...
Category: Science > Math > Logic and Foundations > Conferences
http://www.kr.tuwien.ac.at/lpnmr01/


NM'98
Seventh International Workshop on Nonmonotonic Reasoning. ... Nonmonotonic
Reasoning
in the Service of Elaboration Tolerance John McCarthy, Stanford University.
...
http://www.saturn.hut.fi/~ini/nmrw98.html


Logic Programming and Nonmonotonic Reasoning
WELCOME to the LPNMR! Key Resource Links 2 Go Logic_Programming. Special
Interest Group on Logic Programming and Nonmonotonic Reasoning. ...
Description: Forum for exchange of information on the area of logic
programming (LP) and nonmonotonic reasoning...
Category: Computers > Programming > Languages > Logic-based
http://www.cs.engr.uky.edu/~lpnmr/


Logic Programming and Nonmonotonic Reasoning at Kentucky
... Logic programming and nonmonotonic reasoning (LPNMR) is an active
research area in
the Computer Science Department at the University of Kentucky. The research
...
http://www.cs.engr.uky.edu/~lpnmr/kent_lpnmr.html


IJCAI - Workshop Home
IJCAI-2001 Workshop. Nonmonotonic Reasoning, Action
and Change. ... An intelligent agent exploring ...
http://cafe.newcastle.edu.au/nrac2001/CFP.html


Formalized Nonmonotonic Reasoning
next up previous Next: Some Formalizations and their Up: ARTIFICIAL
INTELLIGENCELOGIC
AND Previous: Introduction. Formalized Nonmonotonic Reasoning. ...
http://www.www-formal.stanford.edu/jmc/ailogic/node2.html


Gesellschaft für Informatik - Fachgruppe 1.2.2 - [ Translate this page ]
... Feste Einrichtungen. Aktuelles Workshop Seventh International Workshop
on Nonmonotonic
Reasoning Workshop Workshop on Computational Aspects of Nonmonotonic ...
http://www.haiti.cs.uni-potsdam.de/~fg122/


MITECS: Nonmonotonic Logics
Nonmonotonic Logics. ... Gottlob, G. (1992). Complexity results for
nonmonotonic
logics. Journal of Logic and Computation 2(3):397-425. ...
http://www.cognet.mit.edu/MITECS/Articles/morgenstern.html


Nonmonotonic Reasoning, Action and Change
... uncover principled mechanisms upon which to build intelligent reasoning
agents.
Nonmonotonic Reasoning, Reasoning about Action and Belief Revision have
been ...
http://www.frey.newcastle.edu.au/~nrac/nrac97.html