Results 1  10
of
26
Analogical mapping by constraint satisfaction
 COGNITIVE SCIENCE
, 1989
"... A theory of analogical mapping between source and target analogs based upon Interacting structural, semantic, and pragmatic constraints is proposed here. The structural constraint of isomorphism encourages mappings that maximize the consistency of relational corresondences between the elements of th ..."
Abstract

Cited by 276 (19 self)
 Add to MetaCart
A theory of analogical mapping between source and target analogs based upon Interacting structural, semantic, and pragmatic constraints is proposed here. The structural constraint of isomorphism encourages mappings that maximize the consistency of relational corresondences between the elements of the two analogs. The constraint of semantic similarity supports mapping hypotheses to the degree that mapped predicates have similar meanings. The constraint of progmafic central/! / favors mappings involving elements the analogist believes to be Important in order to achieve the purpose for which the analogy Is being used. The theory is implemented in a computer program called ACME (Analogical Constraint Mapping Engine), which represents constraints by means of a network of supporting and competing hypotheses regarding what elements to map. A cooperative algorithm for parallel constraint satisfaction identifies mapping hypotheses that collectively represent the overall mapping that best fits the interacting constraints. ACME has been applied to a wide range of examples that include problem analogies, analogical arguments, explanatory analogies, story analogies, formal analogies, and metaphors. ACME is sensitive to semantic and pragmatic Information if it Is available,.and yet able to compute mappings between formally Isomorphic analogs without any similar or identical elements. The theory Is able to account for empirical findings regarding the impact of consistency and similarity on human processing of analogies.
Dynamic Algebras as a wellbehaved fragment of Relation Algebras
 In Algebraic Logic and Universal Algebra in Computer Science, LNCS 425
, 1990
"... The varieties RA of relation algebras and DA of dynamic algebras are similar with regard to definitional capacity, admitting essentially the same equational definitions of converse and star. They differ with regard to completeness and decidability. The RA definitions that are incomplete with respect ..."
Abstract

Cited by 35 (5 self)
 Add to MetaCart
The varieties RA of relation algebras and DA of dynamic algebras are similar with regard to definitional capacity, admitting essentially the same equational definitions of converse and star. They differ with regard to completeness and decidability. The RA definitions that are incomplete with respect to representable relation algebras, when expressed in their DA form are complete with respect to representable dynamic algebras. Moreover, whereas the theory of RA is undecidable, that of DA is decidable in exponential time. These results follow from representability of the free intensional dynamic algebras. Dept. of Computer Science, Stanford, CA 94305. This paper is based on a talk given at the conference Algebra and Computer Science, Ames, Iowa, June 24, 1988. It will appear in the proceedings of that conference, to be published by SpringerVerlag in the Lecture Notes in Computer Science series. This work was supported by the National Science Foundation under grant number CCR8814921 ...
Relation Algebras of Intervals
 ARTIFICIAL INTELLIGENCE
, 1994
"... Given a representation of a relation algebra we construct relation algebras of pairs and of intervals. If the representation happens to be complete, homogeneous and fully universal then the pair and interval algebras can be constructed direct from the relation algebra. If, further, the original rel ..."
Abstract

Cited by 15 (3 self)
 Add to MetaCart
Given a representation of a relation algebra we construct relation algebras of pairs and of intervals. If the representation happens to be complete, homogeneous and fully universal then the pair and interval algebras can be constructed direct from the relation algebra. If, further, the original relation algebra is !categorical we show that the interval algebra is too. The complexity of relation algebras is studied and it is shown that every pair algebra with infinite representations is intractable. Applications include constructing an interval algebra that combines metric and interval expressivity.
Preference modelling
 State of the Art in Multiple Criteria Decision Analysis
, 2005
"... This paper provides the reader with a presentation of preference modelling fundamental notions as well as some recent results in this field. Preference modelling is an inevitable step in a variety of fields: economy, sociology, psychology, mathematical programming, even medicine, archaeology, and ob ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
This paper provides the reader with a presentation of preference modelling fundamental notions as well as some recent results in this field. Preference modelling is an inevitable step in a variety of fields: economy, sociology, psychology, mathematical programming, even medicine, archaeology, and obviously decision analysis. Our notation and some basic definitions, such as those of binary relation, properties and ordered sets, are presented at the beginning of the paper. We start by discussing different reasons for constructing a model or preference. We then go through a number of issues that influence the construction of preference models. Different formalisations besides classical logic such as fuzzy sets and nonclassical logics become necessary. We then present different types of preference structures reflecting the behavior of a decisionmaker: classical, extended and valued ones. It is relevant to have a numerical representation of preferences: functional representations, value functions. The concepts of thresholds and minimal representation are also introduced in this section. In section 7, we briefly explore the concept of deontic logic (logic of preference) and other formalisms associated with "compact representation of preferences " introduced for special purposes. We end the paper with some concluding remarks.
The Discovery Of My Completeness Proofs
 Bulletin of Symbolic Logic
, 1996
"... This paper deals with aspects of my doctoral dissertation 1 ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
This paper deals with aspects of my doctoral dissertation 1
Do We Need Metamodels AND Ontologies for Engineering Platforms
 In Proceedings of the 1st ICSE Int. Workshop on Global Integrated Model Management
, 2006
"... In this paper we show how the joint use of metamodeling and ontologies allows to describe domain knowledge for a complex domain. Ontologies are used as stabilized descriptions of the business domain while metamodels allow a fine description of the domain (to be constructed in the initial phases of m ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
In this paper we show how the joint use of metamodeling and ontologies allows to describe domain knowledge for a complex domain. Ontologies are used as stabilized descriptions of the business domain while metamodels allow a fine description of the domain (to be constructed in the initial phases of modeling). We propose to use an ontology for anticipated categorization, i.e., as a “natural ” complement of the formal system which is induced by the metamodel. 1
An FCA interpretation of Relation Algebra
, 2006
"... This paper discusses an interpretation of relation algebra and fork algebra with respect to FCA contexts. In this case, "relation algebra" refers to the DeMorganPeirceSchroederTarski algebra and not to the "relational algebra" as described by Codd. The goal of this interpretation is to provide ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
This paper discusses an interpretation of relation algebra and fork algebra with respect to FCA contexts. In this case, "relation algebra" refers to the DeMorganPeirceSchroederTarski algebra and not to the "relational algebra" as described by Codd. The goal of this interpretation is to provide an algebraic formalisation of objectrelational databases that is based on binary relations and thus closer to FCA and formal contexts than the traditional formalisation based on Codd. The formalisation provides insights into certain symmetries (among quantifiers) and the use of ternary relations and partwhole relations for building relational databases.
Applications of Alfred Tarski's Ideas in Database Theory
 Proceedings of the 15th International Workshop on Computer Science Logic. LNCS 2142
, 2001
"... Many ideas of Alfred Tarski  one of the founders of modern logic  find application in database theory. We survey some of them with no attempt at comprehensiveness. Topics discussed include the genericity of database queries; the relational algebra, the Tarskian definition of truth for the relation ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Many ideas of Alfred Tarski  one of the founders of modern logic  find application in database theory. We survey some of them with no attempt at comprehensiveness. Topics discussed include the genericity of database queries; the relational algebra, the Tarskian definition of truth for the relational calculus, and cylindric algebras, relation algebras and computationally complete query languages; real polynomial constraint databases; and geometrical query languages.