A modification of the certainty measure to handle subnormal distributions
Fuzzy Sets and Systems
An alternative approach to the handling of subnormal possibility distributions
Fuzzy Sets and Systems
A probabilistic powerdomain of evaluations
Proceedings of the Fourth Annual Symposium on Logic in computer science
Notions of computation and monads
Information and Computation
Bisimulation through probabilistic testing
Information and Computation
Probabilistic non-determinism
Paracompactness on L-fuzzy topological spaces
Fuzzy Sets and Systems
A type-theoretical alternative to ISWIM, CUCH, OWHY
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
On compactness of induced I(L)-fuzzy topological spaces
Fuzzy Sets and Systems
Probabilistic models for the guarded command language
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Domains and lambda-calculi
Fuzzy sets as a basis for a theory of possibility
Fuzzy Sets and Systems
On the logic foundation of fuzzy reasoning
Information Sciences: an International Journal
On Sugeno integral as an aggregation function
Fuzzy Sets and Systems
A Discipline of Programming
A Powerdomain for Countable Non-Determinism (Extended Abstract)
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Power Domains and Predicate Transformers: A Topological View
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Dijkstras Predicate Transformers & Smyth's Power Domaine
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Formalized theory of general fuzzy reasoning
Information Sciences—Informatics and Computer Science: An International Journal
Domain theory, testing and simulation for labelled Markov processes
Theoretical Computer Science - Foundations of software science and computation structures
Stochastic Relations
A logical approach to stable domains
Theoretical Computer Science
Fuzzy measures and integrals in evaluation of strategies
Information Sciences: an International Journal
Unified full implication algorithms of fuzzy reasoning
Information Sciences: an International Journal
Maximality and totality of stable functions in the category of stable bifinite domains
Computers & Mathematics with Applications
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Fuzzy Sets and Systems
A Duality Theorem for Quantitative Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Sciences: an International Journal
Semantics of non-deterministic possibility computation
Fuzzy Sets and Systems
| Hi-index | 0.07 |
The purpose of this paper is to introduce a kind of computational model, called possibility computation, to deal with non-determinism. Both its denotational and logical semantics in the framework of domain theory are established and their equivalence is verified. In this approach, the denotational semantics will be set up by assigning to programs possibility state transformers, i.e., Scott-continuous functions from the domain of input states to the possibility powerdomain of the codomain of final states. This possibility powerdomain of a dcpo will consist of all possibility valuations, ordered pointwise, of this dcpo. The logical semantics will be given by fuzzy predicate transformers introduced by the first author and Jung following Dijkstra's predicate transformers. Two semantics equivalence will be verified in terms of the integration of fuzzy predicates with respect to possibility valuations. The categorical monad of the possibility powerdomain will be investigated.