Tuesday, 24 July 2018

Pros ans cons propositional logic

Propositional logic is declarative

Propositional logic allows partial/disjunctive/negated information
 - (unlike most data structure and database)

Propositional logic is compositional:
 - meaning of B1,1 ^ P1,2 is derived from meaning of B1,1 and of P1,2

Meaning in propositional logic is context-independent
 - (unlike natural language, where meaning depends on context)

Propositional logic has very limited expressive power
 - (unlike natural language)
 - E.g., cannot say "pits cause breezes in adjacent squares"
        * except by writing one sentence for each squar 

No comments:

Post a Comment

Popular Posts