Can I read Measuring Semantic Informativity in Deductions on EtoBox?
Measuring Semantic Informativity in Deductions by Alejandra Figueroa is a document available to read on EtoBox.
What is Measuring Semantic Informativity in Deductions about?
The document presents a quantitative approach to measuring the semantic informativity of deductions. It introduces the concept of a database as a pair consisting of a finite first-order structure and a correct theory about that structure. Structural operations of insertion and deletion are defined to modify databases. Semantic informativity is conceived as a dynamic phenomenon based on these operations, involving both informational complexity, defined as the number of operations to make propositions true, a
- Author
- Alejandra Figueroa
- Language
- EN