Semantics of non-deterministic possibility computation

DOI10.1016/j.fss.2012.01.022zbMath1253.68217MaRDI QIDQ1759727

Hengyang Wu, Yi-Xiang Chen

Publication date: 22 November 2012

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2012.01.022

zbMATH Keywords

formal semantics; Sugeno integral; domain theory; possibility measure; Hoare powerdomain; possibility computation

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

Related Items

Lattice-valued Scott topology on dcpos

Uses Software

• HALO

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Retracted: Semantic domains for combining probability and non-determinism
• Domain semantics of possibility computations
• Multidimensional generalized fuzzy integral
• Default reasoning and possibility theory
• L.P.L. A fuzzy programming language. I: Syntactic aspects
• L.P.L. - A fuzzy programming language. II: Semantic aspects
• Fuzzy sets and systems. Theory and applications
• HALO --- a fuzzy programming language
• Power domains
• A family of fuzzy programming languages
• Quantitative semantics, topology, and possibility measures
• Possibility measures, integration and fuzzy possibility measures
• Probabilistic models for the guarded command language
• Reasoning about probabilistic sequential programs in a probabilistic logic
• A fuzzy language.
• On Sugeno integral as an aggregation function
• Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices
• A Powerdomain Construction
• Some Properties of Predicate Transformers
• Programming as a Discipline of Mathematical Nature
• Continuous Lattices and Domains
• Fuzzy sets
• Possibility measures and possibility integrals defined on a complete lattice
• Partial correctness for probabilistic demonic programs