Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

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).
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0