Publications

Langford, NK & Harris, D 1998, 'The Coolest Physics in the Universe', Australasian Science (incorporating Search), vol. 19, no. 4, pp. 25-28.

Lu, RQ & Ying, MS 1998, 'A model of reasoning about knowledge', SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, vol. 41, no. 5, pp. 527-534.
View/Download from: Publisher's site
View description>>

A modal logical language and its Kripke semantics and Aumann semantics are introduced. A complete for mal deduction system is established to describe reasoning about knowledge in multi-agent systems involving different languages, and an institution of lo

Ying, MS 1998, 'Compactness in fuzzy logic', CHINESE SCIENCE BULLETIN, vol. 43, no. 14, pp. 1166-1171.
View/Download from: Publisher's site
View description>>

Compactness in Pavelka's fuzzy logic for some compact lattices of truth values is shown, and the concept of gradual compactness is introduced to establish some corresponding results in a more general setting.

Ying, MS & Bouchon-Meunier, B 1998, 'Approximate reasoning with linguistic modifiers', INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, vol. 13, no. 5, pp. 403-418.
View description>>

We analyze the influence of some usual linguistic modifiers, such as scalar product, normalization, Bouchon-Meunier modifiers, perturbation, and (weakening and reinforcement) power, in the process of approximate reasoning and clarify the difference betwe