Access over 20 million homework & study documents

Expressivity vs cognitive complexity

Content type
User Generated
Type
Note
Rating
Showing Page:
1/2
Expressivity vs Cognitive complexity
Expressivity of a formula denotes the level power of expression of a formula.
Formula with low power expressivity is weak to express the world precisely
and do not allow inference from available formulae.
On the other hand formula with high expressivity can represent the world
precisely and allow generalization or quantification and inference to create new
formulas from existing formula.
Although the expressive power of language is required it is also desirable it to
be decidable and axiomatic. Too much expressive power makes the logic
formula too complex and practically unusable.
To express the facts, object, properties and the relations among them
Propositional Logic is not sufficient because of its low expressiveness. Unlike
the Propositional Logic, because of increased expressive power First Order
Logic can represent the world with precise information and includes richer
Ontology for clear and compact conceptual modelling.
First Order Logic (FOL) derived from adding expressive power to the
propositional logic (PL) and reducing expressive power from Type Theory [1]
(type theory refer to ‘type systems’ used in high level programming language to
avoid bugs) to maintain a balance between expressiveness and Cognitive
complexity.
Increasing the expressivity of formalism allow logic to present the world
precisely expressing the relationship among object, properties and functions,
and infer third logic from previous logics. It also allows to include variable to
generalize the formula.
Examples:
English PL FOL (predicate logic)
Low expressivity Increased expressivity
Mammals are Animals M → A x(M(x) → A(x))
Increasing expressivity of formalism must have a degree to which it can be
pushed to avoid the situation when formula creates pointless variance. The
Terminological Logic comes in this point.
Example:
English Prop Logic Predicate Logic A Term Logic
(PL) (FO Logic) (RDFS)

Sign up to view the full document!

lock_open Sign Up
Showing Page:
2/2

Sign up to view the full document!

lock_open Sign Up
Unformatted Attachment Preview
Expressivity vs Cognitive complexity Expressivity of a formula denotes the level power of expression of a formula. Formula with low power expressivity is weak to express the world precisely and do not allow inference from available formulae. On the other hand formula with high expressivity can represent the world precisely and allow generalization or quantification and inference to create new formulas from existing formula. Although the expressive power of language is required it is also desirable it to be decidable and axiomatic. Too much expressive power makes the logic formula too compl ...
Purchase document to see full attachment
User generated content is uploaded by users for the purposes of learning and should be used following Studypool's honor code & terms of service.

Anonymous
Just what I needed. Studypool is a lifesaver!

Studypool
4.7
Trustpilot
4.5
Sitejabber
4.4

Similar Documents