9436541
Experimental Study of a Similarity Metric for Retrieving Pieces from Structured Plan Cases: Its Role in the Originality of Plan Case Solutions
This paper describes a quantitative similarity metric and its contribution to achieve original plan solutions. This similarity metric is used by an iterative process of piece retrieval from structured plan cases. Within our approach plan cases are tree-like networks of pieces (goals and actions). These case pieces are ill-related each other by links (explanations). These links may be classified as hierarchical or temporal, antecedent or consequent, and explicit or implicit. Besides links, each case piece has also information about its properties (the attributes-value pairs), its hierarchical and temporal position in the case (the address), and about its constraints in the relationship with others (the constraints). The similarity metric computes a similarity value between two case pieces taking into account similarities between these case piece's information types. Each time a problem is proposed, different weights are given to some of those similarities, with the aim of solving it with an original solution. This similarity metric is used by the system INSPIRER (ImagiNation taking as Source Past and Imperfectly REalated Reasonings). We illustrate the role of the similarity metric in the creativity of solutions, focusing specially their originality, with the presentation of the experimental results obtained in the musical composition domain, which is considered by us as a planning domain.
15250271
Evaluation of Case-Based Maintenance Strategies in Software Design
CBR applications running in real domains can easily reach thousands of cases, which are stored in the case library. Retrieval times can increase greatly if the retrieval algorithm can not cope with such an amount of cases. Redundancy can also be a problem, focusing retrieval alternatives in a very restricted search space. Basically, the system's performance starts to degrade with the increase of the case-base size. Case-base maintenance allows CBR systems to deal with this problem, mainly through the use of case selection criteria. In this paper we present an experimental study about several case-base maintenance policies developed till now. We adapted and implemented these policies to a CBR system for software reuse and design, testing the applicability of these policies to cases with a complex representation (combination of tree and graph representations).
18713951
Using CBR for Semantic Analysis of Software Specifications
Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language understanding in CASE tools, thus improving the designer/tool communication. In this paper, we present a CBR approach for the generation of UML class diagrams from natural language text. This approach is implemented in a CASE tool, with the goal of helping the software designer create the first system model. We describe the natural language conversion module and give an overview of the tool in which it is integrated. Experimental results for retrieval and adaptation mechanisms are also presented.
11245975
Experiments with free concept generation in Divago
This paper presents a set of experiments we carried out with, Divago, a system that is an attempt to implement our ideas towards a computational model of creativity. It is expected to be able to generate novel concepts out of previous knowledge. Here we show its behaviour with a large dataset constructed independently by other researchers consisting of over 170 nouns (for a project named C^3). Each noun is represented with a syntax that is equivalent to the one adopted for Divago. We apply a two step experimentation procedure, which starts by ''training'' the system with ''preferred outcomes'' and then allowing it to do free generation, constrained by the pragmatic goal of a given query. We evaluate the results and make a short discussion regarding well-defined criteria of novelty and usefulness. We also present a comparison with a similar experiment done with C^3.
5517190
A Model for Creativity in Creature Generation
This paper brings a proposal and general specification of a new project that aims to apply Conceptual Blending (Fauconnier and Turner 1998) as a process of creature generation in games. The project we describe is based on Divago (Pereira and Cardoso, 2003 and should be able to bring novelty among creatures that populate a game. Moreover, it is expected to extend these capabilities to other objects in a game, towards a very dynamic environment. Since this is a work in progress, we provide the first preliminary results or experimental examples and try to provide the reader with a clear image of the framework to be followed.
9759378
Noun Sense Disambiguation with WordNet for Software Design Retrieval
Natural language understanding can be used to improve the usability of intelligent Computer Aided Software Engineering (CASE) tools. For a software designer it can be helpful in two ways: a broad range of natural language terms in the naming of software objects, attributes and methods can be used; and the system is able to understand the meaning of these terms so that it could use them in reasoning mechanisms like information retrieval. But, the problem of word sense disambiguation is an obstacle to the development of computational systems that can fully understand natural language. In order to deal with this problem, this paper presents a word sense disambiguation method and how it is integrated with a CASE tool.
6376797
Sharing engineering information and knowledge
This paper describes an agent-based recommendation system developed to support knowledge acquisition and sharing processes. Its purpose is to aid the process of community building, specially in the early phase of peer search and recognition in a distributed engineering environment, where multidisciplinary teams must be established. In this kind of problem information about possible candidates to make up the teams must be gathered from all available channels, including the electronic ones. Due to privacy issues, Web based data mining systems are not efficient for the purpose of constructing candidate's profiles, even if they can offer some help; therefore a distributed solution that permits each candidate's workplace to be explored was developed. As a means of aggregating collected knowledge for sharing, a conceptual model, relating candidate's profiles and their knowledge domain was developed in the form of an ontology. This strategy allows the system to be specialised in terms of the candidates' main knowledge domain.
10111787
Golomb Rulers: The Advantage of Evolution
In this paper we present a new evolutionary algorithm designed to efficiently search for optimal Golomb rulers. The proposed approach uses a redundant random keys representation to codify the information contained in a chromosome and relies on a simple interpretation algorithm to obtain feasible solutions. Experimental results show that this method is successful in quickly identifying good solutions and that can be considered as a realistic alternative to massive parallel approaches that need several months or years to discover high quality Golomb rulers.
7441581
Quantifiers, Anaphora, and Intensionality
The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semanticinterpretations can be formalized in linear logic in a way thatcorrectly explains the observed interactions between quantifier scopeambiguity, bound anaphora and intensionality.Our linear-logic formalization of the compositional properties ofquantifying expressions in natural language obviates the need forspecial mechanisms, such as Cooper storage, in representing thescoping possibilities of quantifying expressions. Instead, thesemantic contribution of a quantifier is recorded as a linear-logicformula whose use in a proof will establish the scope of thequantifier. Different proofs can lead to different scopes. In eachcomplete proof, the properties of linear logic ensure thatquantifiers are properly scoped.The interactions between quantified NPs and intensional verbs such as’’seek‘‘ are also accounted for in this deductive setting. A singlespecification in linear logic of the argument requirements ofintensional verbs is sufficient to derive the correct readingpredictions for intensional-verb clauses both with nonquantified andwith quantified direct objects. In particular, both de dictoand de re readings are derived for quantified objects. Theeffects of type-raising or quantifying-in rules in other frameworksjust follow here as linear-logic theorems.While our approach resembles current categorial approaches inimportant ways (Moortgat, 1988, 1992a; Carpenter, 1993; Morrill, 1994)it differs from them in allowing the greater compositional flexibility ofcategorial semantics (van Benthem, 1991)while maintaining a precise connection to syntax. As a result, we areable to provide derivations for certain readings of sentences withintensional verbs and complex direct objects whose derivation inpurely categorial accounts of the syntax-semantics interface appearsto require otherwise unnecessary semantic decompositions of lexicalentries.
11145016
Niching techniques: a study on the cluster geometry optimization problem
The cluster geometry optimization is one of these problems. The same cluster structure can be encoded in innumerable ways. A single translation or rotation performed in the cluster can lead to different genotypes for similar structures. A reliable similarity function can be computationally prohibitive or even impossible to define. We analyze the behavior of an alternative technique free of distance measures, the Spatially-Dispersed Genetic Algorithm [1] (sdGA), and its application on the cluster geometry optimization.
10585259
Three-phase immiscible displacement in heterogeneous petroleum reservoirs
We describe a fractional-step numerical procedure for the simulation of immiscible three-phase flow in heterogeneous porous media that takes into account capillary pressure and apply it to indicate the existence of a so-called "transitional" wave in at least some multi-dimensional flows, thereby extending theoretical results for one-dimensional flows. The step procedure combines a second-order, conservative central difference scheme for a pertinent system of conservation laws modeling the convective transport of the fluid phases with locally conservative mixed finite elements for the associated parabolic and elliptic problems.