CYC: a large-scale investment in knowledge infrastructure
Communications of the ACM
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Tractatus Logico Philosophicus (Routledge Classics) (Routledge Classics)
Tractatus Logico Philosophicus (Routledge Classics) (Routledge Classics)
Representation as a Fluent: An AI Challenge for the Next Half Century
IEEE Intelligent Systems
PERSONAF: framework for personalised ontological reasoning in pervasive computing
User Modeling and User-Adapted Interaction
Knowledge Bases Over Algebraic Models: Some Notes About Informational Equivalence
International Journal of Knowledge Management
Hi-index | 0.00 |
Natural languages are easy to learn by infants, they can express any thought that any adult might ever conceive, and they accommodate the limitations of human breathing rates and short-term memory. The first property implies a finite vocabulary, the second implies infinite extensibility, and the third implies a small upper bound on the length of phrases. Together, they imply that most words in a natural language will have an open-ended number of senses ---ambiguity is inevitable. Peirce and Wittgenstein are two philosophers who understood that vagueness and ambiguity are not defects in language, but essential properties that enable it to accommodate anything that people need to say. In analyzing the ambiguities, Wittgenstein developed his theory of language games, which allow words to have different senses in different contexts, applications, or modes of use. Recent developments in lexical semantics, which are remarkably compatible with the views of Peirce and Wittgenstein, are based on the recognition that words have an open-ended number of dynamically changing and context-dependent microsenses. The resulting flexibility enables natural languages to adapt to any possible subject from any perspective for any humanly conceivable purpose. To achieve a comparable level of flexibility with formal ontologies, this paper proposes an organization with a dynamically evolving collection of formal theories, systematic mappings to formal concept types and informal lexicons of natural language terms, and a modularity that allows independent distributed development and extension of all resources, formal and informal.