ALPS: a logic for program synthesis (motivated by fuzzy logic)

Cooke, Daniel E.; Крейнович, Владик; Starks, Scott A.

doi:10.1109/fuzzy.1998.687589

Cited by 2 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [3], it was shown that such examples can be handled if we replace the original Boolean logic with a more complex fuzzy-type logic.…”

Section: (From Cosine Theorem)mentioning

confidence: 99%

From program synthesis to optimal program synthesis

Reyna

2011

2011 Annual Meeting of the North American Fuzzy Information Processing Society

View full text Add to dashboard Cite

Abstract-In many practical situations, we know the values of some quantities x1, . . . , xn, we know the relations between these quantities, the desired quantity y, and maybe some auxiliary quantities, and we want to estimate y. There exist automatic tools for such estimations -called program synthesis tools.A program synthesis tool usually generates a program for computing y. In many cases, however, several such programs are possible, and it is desirable to generate the optimal (e.g., the fastest) program. In this paper, we describe algorithms aimed at such optimal program synthesis.The problem can be interpreted in logical terms, as assigning fuzzy-style degrees to rules describing relations between variables.

show abstract

“…In [3], it was shown that such examples can be handled if we replace the original Boolean logic with a more complex fuzzy-type logic.…”

Section: (From Cosine Theorem)mentioning

confidence: 99%

From program synthesis to optimal program synthesis

Reyna

2011

2011 Annual Meeting of the North American Fuzzy Information Processing Society

View full text Add to dashboard Cite

show abstract

“…As presented in [7][8][9][10][11], program synthesis tries to solve problems of the following general form:…”

Section: Program Synthesismentioning

confidence: 99%

Program synthesis from Workflow-Driven Ontologies

Salayandia

Roach

Gates

2008

NAFIPS 2008 - 2008 Annual Meeting of the North American Fuzzy Information Processing Society

View full text Add to dashboard Cite

-An approach that results in the development of Workflow-Driven Ontologies (WDO) (called the WDO approach) allows domain scientists to capture process knowledge in the form of concepts as well as relations between concepts. Program synthesis techniques can be employed to generate algorithmic solutions by transforming the process knowledge expressed in the WDO as concepts and relations to variables and functions and computing unknown variables from known ones based on the process knowledge documented by the domain scientist. Furthermore, the algorithmic solutions that are generated by program synthesis potentially can support the composition of services, which result in the creation of executable scientific workflows.The ultimate goal of this work is to provide an end-to-end solution for scientists beginning with modeling the processes for creating work products in terminology from the scientist's own domains and ending with component-based applications that can be used to automate processes that can advance their scientific endeavors. These applications can exploit distributed components that are supported by current cyber-infrastructure efforts. This paper discusses extensions to the WDO approach that support program synthesis. To elucidate this scenario, an example related to earth sciences is presented.

show abstract

ALPS: a logic for program synthesis (motivated by fuzzy logic)

Cited by 2 publications

References 13 publications

From program synthesis to optimal program synthesis

From program synthesis to optimal program synthesis

Program synthesis from Workflow-Driven Ontologies

Contact Info

Product

Resources

About