DocumentCode
3065052
Title
Interpretation of Probabilistic Algorithmic Logic in Nondeterministic Algorithmic Logic
Author
Makarec, Agnieszka
Author_Institution
Bialystok Tech. Univ., Bialystok
fYear
2007
fDate
28-30 June 2007
Firstpage
81
Lastpage
86
Abstract
In this paper probabilistic and nondeterministic programs are considered on the ground of logic of programs. The formal semantics of probabilistic and nondeterministic computations of a program are the starting point for the comparing properties of these programs. We are interested in dependencies, especially in similarities between nondeterministic and probabilistic interpretation of a program.
Keywords
logic programming; probabilistic logic; formal semantics; nondeterministic algorithmic logic; probabilistic algorithmic logic; program probabilistic interpretation; Algorithm design and analysis; Computer languages; Computer science; Concurrent computing; Cost accounting; Iterative algorithms; Management information systems; Probabilistic logic; Probability distribution; Security;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Information Systems and Industrial Management Applications, 2007. CISIM '07. 6th International Conference on
Conference_Location
Minneapolis, MN
Print_ISBN
0-7695-2894-5
Type
conf
DOI
10.1109/CISIM.2007.42
Filename
4273500
Link To Document