Scientific Programs Imply Uncertainty. Results Expected and Unexpected

by   Sergey Andreyev, et al.

Science and engineering have requests for a wide variety of programs, but I think that all of them can be divided between two groups. Programs of the first group deal with the well known situations and, by using well known equations, give results for any combination of input parameters. Such programs are specialized very powerful calculators. Another group of programs is needed to analyse the situations with different levels of uncertainty. Programs are developed at the best level of their authors, but scientists need to look at the situations beyond the area of current knowledge, and they need programs to do analysis in the areas of uncertainty. Is it possible do design programs which allow to analyse the situations beyond the knowledge of developers?



There are no comments yet.


page 2

page 3


Programs as Polypeptides

We describe a visual programming language for defining behaviors manifes...

The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty

Many real world domains require the representation of a measure of uncer...

Training design fostering the emergence of new meanings toward unprecedented and critical events

Our research is part of a technological research program in adult educat...

Programming for All: Understanding the Nature of Programs

Computer programs are part of our daily life, we use them, we provide th...

Analysis of co-authorship networks among Brazilian graduate programs in computer science

The growth and popularization of platforms on scientific production have...

Implementing backjumping by throw/1 and catch/3 of Prolog

We discuss how to implement backjumping (or intelligent backtracking) in...

User driven applications - new design paradigm

Programs for complicated engineering and scientific tasks always have to...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.