Skip to main content

2003 | OriginalPaper | Buchkapitel

A Formulation for Language Independent Prelogical Deductive Inference

verfasst von : Josep Miró

Erschienen in: Computer Aided Systems Theory - EUROCAST 2003

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Metadaten
Titel
A Formulation for Language Independent Prelogical Deductive Inference
verfasst von
Josep Miró
Copyright-Jahr
2003
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-540-45210-2_8

    Marktübersichten

    Die im Laufe eines Jahres in der „adhäsion“ veröffentlichten Marktübersichten helfen Anwendern verschiedenster Branchen, sich einen gezielten Überblick über Lieferantenangebote zu verschaffen.