Różnice
Różnice między wybraną wersją a wersją aktualną.
|
|
— |
pl:miw:piw08_hekateonto:partial_logic [2019/06/27 15:50] (aktualna) |
| ==== A few words about Partial Logic ==== |
| === Categories of properties and classes in Partial Logic === |
| In Partial Logic relating [[pl:miw:piw08_hekateonto:weak and strong negation]] at the interpretation level allows to distinguish 4 categories of properties and classes: |
| * partial properties - properties p that may have truth-value gaps and truth-value clashes (p is possibly neither true nor false, or both true and false) |
| * total properties - properties p that satisfy totalness (p is true or false but possibly both) |
| * coherent properties - properties p that satisfy coherence (p cannot be both true and false) |
| * classical properties - properties that are total and coherent properties |
| |
| === CWA and OWA === |
| Partial Logic supports bot open-world reasoning (OWA - Open World Assumption) and close-world reasoning (CWA - Close World Assumption). |