Abstract
Partiality is a key challenge for computational approaches to artificial intelligence in general and natural language in particular. Various extensions of classical two-valued logic to many-valued logics have been investigated in order to meet this challenge. We use the proof assistant Isabelle to formalize the syntax and semantics of many-valued logics with determinate as well as indeterminate truth values. The formalization allows for a concise presentation and makes automated verification possible.
| Original language | English |
|---|---|
| Title of host publication | Partiality and Underspecification in Information, Languages, and Knowledge |
| Editors | Henning Christiansen, M. Dolores Jiménez-López, Roussanka Loukanova, Lawrence S. Moss |
| Publisher | Cambridge Scholars Press |
| Publication date | 2017 |
| Pages | 219-256 |
| ISBN (Print) | 978-1-4438-7947-7 |
| Publication status | Published - 2017 |