Building validation tools for knowledge-based systems

The Expert Systems Validation Associate (EVA), a validation system under development at the Lockheed Artificial Intelligence Center for more than a year, provides a wide range of validation tools to check the correctness, consistency and completeness of a knowledge-based system. A declarative meta-language (higher-order language), is used to create a generic version of EVA to validate applications written in arbitrary expert system shells. The architecture and functionality of EVA are presented. The functionality includes Structure Check, Logic Check, Extended Structure Check (using semantic information), Extended Logic Check, Semantic Check, Omission Check, Rule Refinement, Control Check, Test Case Generation, Error Localization, and Behavior Verification

Kolmogorov Complexity in perspective. Part II: Classification, Information Processing and Duality

We survey diverse approaches to the notion of information: from Shannon entropy to Kolmogorov complexity. Two of the main applications of Kolmogorov complexity are presented: randomness and classification. The survey is divided in two parts published in a same volume. Part II is dedicated to the relation between logic and information system, within the scope of Kolmogorov algorithmic information theory. We present a recent application of Kolmogorov complexity: classification using compression, an idea with provocative implementation by authors such as Bennett, Vitanyi and Cilibrasi. This stresses how Kolmogorov complexity, besides being a foundation to randomness, is also related to classification. Another approach to classification is also considered: the so-called "Google classification". It uses another original and attractive idea which is connected to the classification using compression and to Kolmogorov complexity from a conceptual point of view. We present and unify these different approaches to classification in terms of Bottom-Up versus Top-Down operational modes, of which we point the fundamental principles and the underlying duality. We look at the way these two dual modes are used in different approaches to information system, particularly the relational model for database introduced by Codd in the 70's. This allows to point out diverse forms of a fundamental duality. These operational modes are also reinterpreted in the context of the comprehension schema of axiomatic set theory ZF. This leads us to develop how Kolmogorov's complexity is linked to intensionality, abstraction, classification and information system.Comment: 43 page

Some topics in fuzzy logic

2008-2009Si trattano diversi aspetti della logica fuzzy, in particolare: 1) le proprietà preservate da un modello fuzzy ogniqualvolta esso è sottoposto a qualche genere di modifica; 2) la programmazione logica fuzzy, la logica della similarità e la metaprogrammazione, considerando la relazione di sinonimia tra predicati; 3) la connessione tra logica fuzzy e teoria dei bireticoli per il trattamento sia della verità che del grado di informazione.VIII n.s

Type-theoretic logic with an operational account of intensionality

We formulate a Curry-typed logic with fine-grained intensionality within Turner?s typed predicate logic. This allows for an elegant presentation of a theory that corresponds to Fox and Lappin?s property theory with curry typing, but without the need for a federation of languages. We then consider how the fine-grained intensionality of this theory can be given an operational interpretation. This interpretation suggests itself as expressions in the theory can be viewed as terms in the untyped lambda-calculus, which provides a model of computation

Personalizing the GAMS Cross-Index

The NIST Guide to Available Mathematical Software (GAMS)system at http://gams.nist.gov serves as the gateway to thousands of scientific codes and modules for numerical com-putation.We describe the PIPE personalization facility for GAMS,whereby content from the cross-index is specialized for a user desiring software recommendations for a specific problem instance.The key idea is to (i)mine structure,and (ii)exploit it in a programmatic manner to generate personalized web pages.Our approach supports both content based and collaborative personalization and enables information integration from multiple (and complementary)web resources.We present case studies for the domain of linear,second-order,elliptic partial differential equations that indicate strong empirical evidence for the usefulness of our semi-automatic approach