Logic versus Approximation

We construct a formula true in all models of the product fuzzy predicate logic over the standard product algebra on the unit real interval but unprovable in the product fuzzy logic (and hence having truth value less than 1 in some model over a non-standard linearly ordered product algebra). Gödel’s construction of a true unprovable formula of arithmetic is heavily used.

[1]  L. Barford,et al.  Signal interpretation for monitoring and diagnosis, a cooling system testbed , 1999, IMTC/99. Proceedings of the 16th IEEE Instrumentation and Measurement Technology Conference (Cat. No.99CH36309).

[2]  Philip N. Johnson-Laird,et al.  Thinking; Readings in Cognitive Science , 1977 .

[3]  Patrick Lambrix,et al.  Part-Whole Reasoning in an Object-Centered Framework , 2001, Lecture Notes in Computer Science.

[4]  Stefano Mizzaro,et al.  Towards a Theory of Epistemic Information , 2000, EJC.

[5]  Thomas Kämpke,et al.  Distance Patterns in Structural Similarity , 2006, J. Mach. Learn. Res..

[6]  Ulrich Müller-Kolck,et al.  Systematic introduction to expert systems: Knowledge representations and problem-solving methods , 1994 .

[7]  Donald A. Norman,et al.  Human Information Processing. , 1971 .

[8]  H. D. Rombach,et al.  THE EXPERIENCE FACTORY , 1999 .

[9]  Ernest Nagel,et al.  The Structure of Science , 1962 .

[10]  Michael M. Richter,et al.  The Knowledge Contained in Similarity Measures , 1995 .

[11]  Ingo Rechenberg,et al.  Evolutionsstrategie '94 , 1994, Werkstatt Bionik und Evolutionstechnik.

[12]  Richard O. Mason,et al.  Measuring information output: A communication systems approach , 1978, Inf. Manag..

[13]  Benno Stein,et al.  Generating Heuristics to Control Configuration Processes , 1998, Applied Intelligence.

[14]  Boi Faltings.  Probabilistic Indexing for Case-Based Prediction , 1997, ICCBR.

[15]  Hans-Paul Schwefel,et al.  Evolution and optimum seeking , 1995, Sixth-generation computer technology series.

[16]  Armin Stahl,et al.  Defining Similarity Measures: Top-Down vs. Bottom-Up , 2002, ECCBR.

[17]  Jonathan Cagan,et al.  Optimal Configuration Design: An Integrated Approach Using Grammars , 1998 .

[18]  Dorit S. Hochbaum,et al.  Approximation Algorithms for NP-Hard Problems , 1996 .

[19]  Bruce E. Hajek,et al.  The time complexity of maximum matching by simulated annealing , 1988, JACM.

[20]  John S. Gero,et al.  Design Prototypes: A Knowledge Representation Schema for Design , 1990, AI Mag..

[21]  Jean-Loup Faulon,et al.  Isomorphism, Automorphism Partitioning, and Canonical Labeling Can Be Solved in Polynomial-Time for Molecular Graphs , 1998, J. Chem. Inf. Comput. Sci..

[22]  Thomas Bäck,et al.  Evolutionary computation: Toward a new philosophy of machine intelligence , 1997, Complex..

[23]  R. Hartley.  Transmission of information , 1928 .

[24]  H. Maturana,et al.  The Tree of Knowledge: The Biological Roots of Human Understanding , 2007 .

[25]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[26]  Scott Henninger,et al.  Supporting Adaptable Methodologies to Meet Evolving Project Needs , 2002, XP/Agile Universe.

[27]  Benno Stein,et al.  Model Construction in Analysis and Synthesis Tasks , 2001 .

[28]  Scott W. Ambler,et al.  Agile modeling: effective practices for extreme programming and the unified process , 2002 .

[29]  Ramakrishnan Srikant,et al.  Mining quantitative association rules in large relational tables , 1996, SIGMOD '96.

[30]  Jaakko Hintikka,et al.  On Semantic Information , 1970 .

[31]  M. Erwig.  The graph Voronoi diagram with applications , 2000 .

[32]  P. Embrechts,et al.  Chapter 8 – Modelling Dependence with Copulas and Applications to Risk Management , 2003 .

[33]  Ingo Wegener,et al.  On the Optimization of Monotone Polynomials by Simple Randomized Search Heuristics , 2005, Combinatorics, Probability and Computing.

[34]  Frank Neumann,et al.  Randomized Local Search, Evolutionary Algorithms, and the Minimum Spanning Tree Problem , 2004, GECCO.

[35]  C. P. Goodman,et al.  The Tacit Dimension , 2003 .

[36]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[37]  Hans Kleine Büning,et al.  On Boolean Models for Quantified Boolean Horn Formulas , 2003, SAT.

[38]  Benno Stein,et al.  Model Compilation and Diagnosability of Technical Systems , 2003 .

[39]  Alistair Cockburn,et al.  Agile Software Development , 2001 .

[40]  Thomas Jansen,et al.  UNIVERSITY OF DORTMUND REIHE COMPUTATIONAL INTELLIGENCE COLLABORATIVE RESEARCH CENTER 531 Design and Management of Complex Technical Processes and Systems by means of Computational Intelligence Methods Upper and Lower Bounds for Randomized Search Heuristics in Black-Box Optimization , 2004 .

[41]  Michael D. Rychener.  Expert Systems for Engineering Design , 1988 .

[42]  Uwe Husemeyer.  Heuristische Diagnose mit Assoziationsregeln , 2001 .

[43]  Ingo Wegener,et al.  Real royal road functions--where crossover provably is essential , 2001, Discret. Appl. Math..

[44]  Gene H. Golub,et al.  Matrix computations , 1983 .

[45]  Ken Schwaber,et al.  Agile Software Development with SCRUM , 2001 .

[46]  H. Hornich.  Logik der Forschung , 1936 .

[47]  Armin Stahl,et al.  Learning Feature Weights from Case Order Feedback , 2001, ICCBR.

[48]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[49]  Alonzo Church,et al.  A Bibliography of Symbolic Logic , 1936, Journal of Symbolic Logic.

[50]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[51]  John Bradshaw,et al.  Similarity and Dissimilarity Methods for Processing Chemical Structure Databases , 1998, Comput. J..

[52]  Sture Hägglund.  Introducing expert critiquing systems , 1993, Knowl. Eng. Rev..

[53]  Chun Wei Choo,et al.  The knowing organization , 2005 .

[54]  Edward H. Shortliffe,et al.  Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence) , 1984 .

[55]  Marcus Hoffmann.  Zur Automatisierung des Designprozesses fluidischer Systeme , 1999 .

[56]  Michael M. Richter,et al.  On the Notion of Similarity in Case-Based Reasoning , 1995 .

[57]  Pieter J. Mosterman,et al.  A Systematic Analysis of Measurement Selection Algorithms for Fault Isolation in Dynamic Systems , 1998 .

[58]  Peter Ingwersen,et al.  Information Retrieval Interaction , 1992 .

[59]  Ralph Bergmann,et al.  Similarity Assessment for Generalizied Cases by Optimization Methods , 2002, ECCBR.

[60]  Armin Stahl,et al.  Using Evolution Programs to Learn Local Similarity Measures , 2003, ICCBR.

[61]  Robert M. Losee,et al.  A Discipline Independent Definition of Information , 1997, J. Am. Soc. Inf. Sci..

[62]  Shang-Hua Teng,et al.  Smoothed analysis of algorithms: why the simplex algorithm usually takes polynomial time , 2001, STOC '01.

[63]  Douglas J. Klein,et al.  Computing Wiener-Type Indices for Virtual Combinatorial Libraries Generated from Heteroatom-Containing Building Blocks. , 2002 .

[64]  K. Gödel.  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[65]  I. Nonaka,et al.  The Knowledge Creating Company , 2008 .

[66]  B. C. Brookes.  The foundations of information science , 1980 .

[67]  Brian Detlor,et al.  Web Work: Information Seeking and Knowledge Work on the World Wide Web , 2000 .

[68]  Yann Ollivier,et al.  Rate of convergence of crossover operators , 2003, Random Struct. Algorithms.

[69]  Armin Stahl,et al.  Learning of knowledge-intensive similarity measures in case-based reasoning , 2004 .

[70]  David C. Brown,et al.  Design Problem Solving: A Research Agenda , 1989 .

[71]  Richard Mattessich,et al.  On the Nature of Information and Knowledge and the Interpretation in the Economic Sciences , 1993, Libr. Trends.

[72]  B. Chandrasekaran,et al.  Deep versus Compiled Knowledge Approaches to Diagnostic Problem-Solving , 1982, Int. J. Man Mach. Stud..

[73]  Kenneth D. Forbus,et al.  Building Problem Solvers , 1993 .

[74]  Ming Li,et al.  An Introduction to Kolmogorov Complexity and Its Applications , 2019, Texts in Computer Science.

[75]  Geraldine Fitzpatrick.  Emergent Expertise Sharing in a New Community , 2001 .

[76]  M. Richter,et al.  Utility-Oriented Matching: A New Research Direction for Case-Based Reasoning , 2001 .

[77]  C. Morris,et al.  Signs, Language and Behavior , 1947 .

[78]  Tomasz Imielinski,et al.  Mining association rules between sets of items in large databases , 1993, SIGMOD Conference.

[79]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[80]  Thomas K.  Distributed Generation of Fastest Paths , .

[81]  Keith Devlin,et al.  Logic and information , 1991 .

[82]  Dimitris K. Agrafiotis,et al.  Stochastic Similarity Selections from Large Combinatorial Libraries. , 2000 .

[83]  Jussi Myllymaki,et al.  Visual exploration of large data sets , 1996, Electronic Imaging.

[84]  Roberto Todeschini,et al.  Handbook of Molecular Descriptors , 2002 .

[85]  R. Carnap.  Foundations of Logic and Mathematics , 1937 .

[86]  Michael M. Richter,et al.  Similarity and Utility in Non-Numerical Domains , 1999 .

[87]  Ingo Wegener,et al.  On the analysis of a simple evolutionary algorithm on quadratic pseudo-boolean functions , 2005, J. Discrete Algorithms.

[88]  Christiaan J. J. Paredis,et al.  Behavioral model composition in simulation-based design , 2002, Proceedings 35th Annual Simulation Symposium. SS 2002.

[89]  Randall Davis,et al.  Expert Systems: Where Are We? And Where Do We Go from Here? , 1982, AI Mag..

[90]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[91]  Ingo Wegener,et al.  Evolutionary Algorithms and the Maximum Matching Problem , 2003, STACS.

[92]  Christiaan J. J. Paredis,et al.  Composable Models for Simulation-Based Design , 2001, Engineering with Computers.

[93]  Giuseppe Lancia,et al.  Algorithmic strategies in combinatorial chemistry , 2000, SODA '00.

[94]  Thomas Jansen,et al.  The Analysis of Evolutionary Algorithms—A Proof That Crossover Really Can Help , 2002, Algorithmica.

[95]  K. Sweeney.  Personal knowledge , 2006, BMJ : British Medical Journal.

[96]  Gerhard Fischer,et al.  Embedding critics in design environments , 1993, The Knowledge Engineering Review.

[97]  Christoph Arndt,et al.  Information Measures: Information and its Description in Science and Engineering , 2001 .

[98]  Bo Leuf,et al.  The Wiki Way: Quick Collaboration on the Web , 2001 .

[99]  Alfred Tarski,et al.  Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[100]  Jon Barwise,et al.  Information Flow: The Logic of Distributed Systems , 1997 .

[101]  J. De Kleer.  AI (Artificial Intelligence) Approaches to Troubleshooting , 1984 .

[102]  Ingo Wegener,et al.  Fitness Landscapes Based on Sorting and Shortest Paths Problems , 2002, PPSN.

[103]  Barry Smyth,et al.  Retrieving Adaptable Cases: The Role of Adaptation Knowledge in Case Retrieval , 1993, EWCBR.

[104]  Benno Stein,et al.  Functional models in configuration systems , 1995 .

[105]  Stefano Mizzaro,et al.  On the Foundations of Information Retrieval , 1996 .

[106]  Abhiram G. Ranade,et al.  How to emulate shared memory , 1991, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[107]  Andrew Chi-Chih Yao,et al.  Probabilistic computations: Toward a unified measure of complexity , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[108]  Gregory J. Chaitin,et al.  Algorithmic Information Theory , 1987, IBM J. Res. Dev..

[109]  David J. Israel,et al.  What is information , 1990 .

[110]  S. Kraemer.  Steps to an Ecology of Mind: Gregory Bateson , 1993, British Journal of Psychiatry.

[111]  Donald D. Spencer,et al.  Computers in Society , 1975 .

[112]  A. Gehlen.  Der Mensch : seine Natur und seine Stellung in der Welt , 1952 .

[113]  Thibaud Latour,et al.  A New Graph Descriptor for Molecules Containing Cycles. Application as Screening Criterion for Searching Molecular Structures within Large Databases of Organic Compounds , 2001, J. Chem. Inf. Comput. Sci..

[114]  Robert Haas,et al.  Enabeling communities of practice at EADS Airbus , 2000 .

[115]  T. Erickson,et al.  Knowledge Communities: Online Environments for Supporting Knowledge Management and its Social Contex , 2001 .

[116]  D. Aldous.  Minimization Algorithms and Random Walk on the $d$-Cube , 1983 .

[117]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[118]  Paul I. Barton,et al.  Modeling, simulation and sensitivity analysis of hybrid systems , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[119]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[120]  P. Fishburn.  The Axioms of Subjective Probability , 1986 .

[121]  James A. Highsmith,et al.  Adaptive Software Development: A Collaborative Approach to Managing Complex Systems , 1999 .

[122]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

[123]  Paul A. Studer,et al.  Information science and the phenomenon of information , 1978, J. Am. Soc. Inf. Sci..

[124]  A. Balaban,et al.  Topological Indices and Related Descriptors in QSAR and QSPR , 2003 .

[125]  Peter Struss,et al.  "Physical Negation" Integrating Fault Models into the General Diagnostic Engine , 1989, IJCAI.

[126]  Peter Willett,et al.  Similarity Searching in Databases of Three-Dimensional Molecules and Macromolecules. , 1993 .

[127]  John G. Kemeny,et al.  A logical measure function , 1953, Journal of Symbolic Logic.

[128]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[129]  Saul Greenberg,et al.  Using a Room Metaphor to Ease Transitions in Groupware , 1998 .

[130]  Yuval Rabani,et al.  A computational view of population genetics , 1995, STOC '95.

[131]  A. J. Ayer.  The problem of knowledge : 1956 ; and Probability and evidence : 1972 , 2004 .

[132]  J. Armstrong.  Knowledge and Belief , 1953 .

[133]  Frank Brakemeier.  Wissensakquisition für Expertensysteme , 1989 .

[134]  E. Antonsson,et al.  FORMAL ENGINEERING DESIGN SYNTHESIS FORMAL ENGINEERING DESIGN SYNTHESIS , 2002 .

[135]  W. B. Gallie.  THE DEVELOPMENT OF PEIRCE'S PHILOSOPHY , 1962 .

[136]  G. Bateson,et al.  Mind and Nature: A Necessary Unity , 1979 .

[137]  Wolfgang Lenski,et al.  Foundational Aspects of Knowledge-Based Information Systems in Scientific Domains , 1997 .

[138]  Nicholas J. Belkin,et al.  The cognitive viewpoint in information science , 1990, J. Inf. Sci..