Skip to main content
SpringerLink
Log in

A Formulation for Language Independent Prelogical Deductive Inference

  • Conference paper
Computer Aided Systems Theory - EUROCAST 2003 (EUROCAST 2003)

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

Included in the following conference series:

  • 654 Accesses

Abstract

A reality, supposedly described by an Object Attrribute Table, and an unspecified language capable to describe subsets of objects are assumed. The requirements for an statement to be true are investigated, using set theoretical concepts only. The results lead to a sufficient condition for a statement to be deduced from a set of other statements (premises), by means of some algorithmic approach.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Miró-Juliá, M.: A contribution to the study of multivalued systems. Doctoral thesis. Universitat de les illes Balears (2000)

    Google Scholar 

  2. Wille, R.: Restructuring Lattice Theory: an Approach based on Hierarchies of Concepts. Ordered Sets, pp. 445–470. Reidel Publishing Company (1982)

    Google Scholar 

  3. Pavlak, Z.: Information System theoretical Foundation. Information Systems 6, 205–218 (1981)

    Article  Google Scholar 

  4. Fiol, G., Miró, J.: Theoretical Considerations about Subset Descriptions. In: Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1993. LNCS, vol. 763, pp. 54–65. Springer, Heidelberg (1993)

    Google Scholar 

  5. Michalski, R.S.: A Theory and Methodology of Inductive Learning. Artificial Intelligence 20, 111–161 (1983)

    Article  MathSciNet  Google Scholar 

  6. Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning About Data. Kluwer Academic Publishers, Dordrecht (1991)

    MATH  Google Scholar 

  7. Quinlan, J.R.: Induction of Decision Trees. Machine Learning 1, 81–106 (1986)

    Google Scholar 

  8. Miró Nicolau, J.: On defining a Set by a Property (Technical report). Universitat de les Illes balears (1987)

    Google Scholar 

  9. Miró, J., Miró-Julià, M.: Equality of Functions in CAST. In: Albrecht, R., Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1995. LNCS, vol. 1030, pp. 129–136. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departament de Ciències Matemàtiques i Informàtica, Universitat de les Illes Balears, 07122, Palma de Mallorca, SPAIN

    Josep Miró

Authors
  1. Josep Miró
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Cybernetics, Universidad de Las Palmas de Gran Canaria, Spain

    Roberto Moreno-Díaz

  2. Systems Theory, Johannes Kepler University Linz, Altenbergerstrasse 69, A-4040, Linz, Austria

    Franz Pichler

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Miró, J. (2003). A Formulation for Language Independent Prelogical Deductive Inference. In: Moreno-Díaz, R., Pichler, F. (eds) Computer Aided Systems Theory - EUROCAST 2003. EUROCAST 2003. Lecture Notes in Computer Science, vol 2809. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45210-2_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45210-2_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20221-9

  • Online ISBN: 978-3-540-45210-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation