Skip to main content
SpringerLink
Log in

A note on information systems associated to termal algebras

  • Non Monotonic Reasoning
  • Conference paper
  • First Online:
IPMU '92—Advanced Methods in Artificial Intelligence (IPMU 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 682))

  • 175 Accesses

Abstract

Termal algebras have been proposed by W. Bartol as general algebraic models for systems of inference rules over incomplete data. As a step towards such interpretation, in this note we associate two different information systems (in the sense of D. Scott) to a termal algebra, in such a way that the elements of the domains generated by them turn out to have clear counterparts in the knowledge systems setting.

Partially supported by by the DGCIyT grant PB91-0334

Partially supported also by the UPC grant PR9014

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bartol, W.; Termal algebras—an approach to inference on incomplete data, in Universal and Applied Algebra, Proc. V Univ. Alg. Symp., Turawa 1988 (H. Halkowska, B. Stawski eds.). World Scientific (1989) pp. 1–12.

    Google Scholar 

  2. Bartol, W.; Information systems of termal algebras, manuscript (1989).

    Google Scholar 

  3. Bartol, W.-Rosselló, F.; Termal Algebras: a guided tour, Tech. Rep. UIB-DMI-B-004 (1991).

    Google Scholar 

  4. Burmeister, P.; A model-theoretic approach to partial algebras, Akademie-Verlag (1986).

    Google Scholar 

  5. Schmidt, J. A.; A general existence theorem on partial algebras and its special cases, Coll. Math. 14 (1966), pp. 73–87.

    Google Scholar 

  6. Scott, D. S.; Domains for denotational semantics, in: Proc. ICALP'82 (M. Nielsen, E. M. Schmidt eds.). Lect. Notes in Comp. Sc. 140 (1982), pp. 577–613.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. Ciències Matemàtiques i Informàtica, Universitat de les Illes Balears, 07071, Palma de Mallorca, Spain

    Miquel Monserrat, Francesc Rosselló & Joan Torrens

Authors
  1. Miquel Monserrat
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesc Rosselló
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Joan Torrens
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bernadette Bouchon-Meunier Llorenç Valverde Ronald R. Yager

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag

About this paper

Cite this paper

Monserrat, M., Rosselló, F., Torrens, J. (1993). A note on information systems associated to termal algebras. In: Bouchon-Meunier, B., Valverde, L., Yager, R.R. (eds) IPMU '92—Advanced Methods in Artificial Intelligence. IPMU 1992. Lecture Notes in Computer Science, vol 682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56735-6_44

Download citation

  • DOI: https://doi.org/10.1007/3-540-56735-6_44

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56735-6

  • Online ISBN: 978-3-540-47643-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation