Sciweavers

1373 search results - page 220 / 275
» What is Fuzzy Logic
Sort
View
ENTCS
2010
92views more  ENTCS 2010»
13 years 10 months ago
Two Ways to Common Knowledge
It is not clear what a system for evidence-based common knowledge should look like if common knowledge is treated as a greatest fixed point. This paper is a preliminary step towar...
Samuel Bucheli, Roman Kuznets, Thomas Studer
SYNTHESE
2008
68views more  SYNTHESE 2008»
13 years 10 months ago
Some remarks on the bearing of model theory on the theory of theories
The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the "stru...
William Demopoulos
AAAI
2007
14 years 1 months ago
An Investigation into Computational Recognition of Children's Jokes
bstract or nonliving entities act or are described as living. And living things gain extra benefits such as animals talking. For this reason, the standard scripts are modified to a...
Julia M. Taylor, Lawrence J. Mazlack
NDJFL
1998
105views more  NDJFL 1998»
13 years 10 months ago
Idempotent Full Paraconsistent Negations are not Algebraizable
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...
Jean-Yves Béziau
AWIC
2003
Springer
14 years 4 months ago
From Search Engines to Question-Answering Systems - The Need for New Tools
Abstract Search engines, with Google at the top, have many remarkable capabilities. But what is not among them is the deduction capability—the capability to synthesize an answer ...
Lotfi A. Zadeh