Różnice między wybraną wersją a wersją aktualną.
|
pl:miw:piw08_hekateonto:partial_logic [2017/07/17 10:08] |
pl:miw:piw08_hekateonto:partial_logic [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| + | ==== 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). | ||
