Towards Systematic Treatment of Partial Functions in Knowledge Representation KU Leuven
Partial functions are ubiquitous in Knowledge Representation applications, ranging from practical, e.g., business applications, to more abstract, e.g., mathematical and programming applications. Expressing propositions about partial functions may lead to non/denoting terms resulting in undefinedness errors and ambiguity, causing subtle modeling and reasoning problems. In our approach, formulas are well-defined (true or false) and non/ambiguous ...