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 |