Domains as Models for Semantic Information

• Autorzy: Muravitsky A. Y.

Identyfikatory

DOI

10.3233/FI-2015-1208

• Języki publikacji: EN

Abstrakty

EN

We propose a framework in terms of domain theory for semantic informationmodels. We show how an artificial agent (the computer) can operate within such a model in a multiple attitude environment (fuzziness) where information is conveyed. We illustrate our approach by two examples — taking as the set of the degrees of reliability Kleene’s 3-valued strong logic and Belnap-Dunn’s 4-valued logic.

Słowa kluczowe

EN

semantic information; complete semilattice; domain; upper power domain; Scott continuous; function

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2015
• Tom: Vol. 138, nr 1/2
• Strony: 207--225
• Opis fizyczny: Bibliogr. 20 poz.

Twórcy

autor

Muravitsky A. Y.

• Louisiana Scholars’ College, Northwestern State University Natchitoches, LA 71497, USA

Bibliografia

• [1] Abramsky, S., Jung, A.: Domain theory, in: Handbook of Logic in Computer Science, vol. 3 (S. Abramsky, D. M. Gabbay, T. Maibaum, Eds.) Oxford University Press, New York, 1994, 1–168.
• [2] Anderson, A. R., Belnap, N. D., Dunn, J. M.: Entailment. The Logic of Relevance and Necessity. vol. II, Princeton University Press, 1992.
• [3] Bar-Hillel, Y.: Language and Information. Selected Essays on Their Theory and Application, Addison-Wesley Publishing Co., Inc., 1964.
• [4] Bar-Hillel, Y., Carnap, R.: Semantic information, The British Journal for the Philosophy Science 4 (14), 1953, 147–157.
• [5] Belnap, N. D.: How a computer should think, in: Contemporary Aspects of Philosophy (G. Ryle, Ed.), Oriel Press, 1977; reprinted as §81 of [2].
• [6] Belnap, N. D.: A useful four-valued logic, in: Modern Uses of Multiple-Valued Logic (Fifth Internat. Sympos., Indiana Univ., Bloomington, Ind., 1975), Reidel, vol. 2, 1977, 5–37.
• [7] Carnap, R., Bar-Hillel, Y.: An outline of a theory of semantic information, Technical Report 247, Massachusetts Institute of Technology, Research Laboratory of Electronics, October 1952.
• [8] Davey, B. A., Priestley, H. A.: Introduction to Lattices and Order, second ed., Cambridge University Press, 2002.
• [9] Dunn, J. M.: Intuitive semantics for first-degree entailments and ‘coupled trees’, Philosophical Studies, 29 (3), 1976, 149–168.
• [10] Floridi, L.: The Philosophy of Information, Oxford University Press, 2011.
• [11] Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., Scott, D. S.: Continuous Lattices and Domains, Encyclopedia of Mathematics and its Applications, vol. 93, Cambridge University Press, 2003.
• [12] Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., Scott, D. S.: A Compendium of Continuous Lattices, Springer-Verlag, 1980.
• [13] Gunter, C. A., Scott, D. S.: Semantic domains, in: Handbook of Theoretical Computer Science, vol. B, Formal Models and Semantics (J. van Leeuwen, Ed.) Elsevier, 1990, 633–674.
• [14] Kaluzhny, Y., Muravitsky, A. Y.: A knowledge representation based on the Belnap four-valued logic, Journl of Applied Non-Classical Logics 3 (2), 1993, 189–203.
• [15] Kleene, S. C.: Introduction to Metamathematics, D. Van Nostrand Co., Inc., 1952.
• [16] Muravitsky, A. Y.: A framework for knowledge-based systems, Journl of Applied Non-Classical Logics 6 (3), 1996, 263–286.
• [17] Rescher, N.: Many-Valued Logic, McGraw-Hill, 1969.
• [18] Scott, D.: Continuous lattices, in: Toposes, Algebraic Geometry and Logic (Conf., Dalhousie Univ., Halifax, N. S., 1971), Lecture Notes in Mathematics, vol. 274, Springer, 1972, 97–136.
• [19] Scott, D.: Does many-valued logic have any use?, in: Philosophy of Logic (S. K¨orner, Ed.) University of California Press, 1976, 64–74.
• [20] Smyth, M. B.: Effectively given domains, Theoretical Computer Science, 5 (3), 1977, 257–274