Inherent Limitations of Digital Computers
April 11, 2019.
Read more about that meeting here.
Capabilities & Limitations of Artificial Intelligence
May 9, 2019
This meeting examines the current and potential capabilities of artificial intelligence (AI) and the inherent limitations of statistically based methods. The presentation is intended for anyone with general knowledge of science and technology. It addresses the purpose and intent, the inherent limitations, and causes of failures in AI applications. It helps explain why mundane products claim AI and why AI receives enormous investment despite its dramatic failures. It distinguishes between problems for which AI is appropriate and for which it is inherently incapable.
The Capabilities and Limitations of Traditional Logical Methods
June 13, 2019
Property based types (PBT) is a theory of reasoning in the human mind that overcomes known limitations of digital computing, artificial intelligence, and formal logic. This session points out capabilities and limitations of classical logic which is the logic everyone is taught in school. This presentation will review major features of classical logic together with several aspects that are not widely known in the general public. The primary purpose of this presentation is to provide motivation and background for the July 11th meeting which will be the first to discuss details of property based types.
The Logic of Property Based Types
July 11, 2019
This lecture discusses the key aspects that distinguish formal logics from the deductive reasoning processes of the human mind. It shows a series of insights and innovations that enable a logic of property based types (PBT) that emulates processes of the mind (as opposed to the brain). The PBT logic includes sound reasoning about incomplete domains, distinguishes between things and their references, answers non-binary questions, and has the ability to understand and explain. PBT was developed from 1983 to 2019 with a 20 year hiatus beginning in 1991. (Note: PBT neither uses the methods nor solves the same problems as AI.)
Natural Language Processing using Property Based Types
August 8 , 2019
Property Based Types (PBT) is a general theory of deductive reasoning in the human mind, primarily from a philosophical and logical perspective. The resulting system represents meaning independent of any external interpreter, surface grammar, or vocabulary. PBT structures are analogous to concepts of the mind and provide a simple uniform deep structure that can validly characterize any real or imagined domain. This lecture explains how PBT provides a foundation for natural language processing (NLP), how it accommodates vocabulary and grammar, and how its proof methods can perform linguistic generation and analysis. Any NLP system built on PBT will be driven by the deep structure semantics and will likely incorporate elements of phrase structure, transformational and categorical grammars. PBT enables new NLP methods by emulating abilities of the mind not available in classical logic, current computers or artificial intelligence.
Introduction to the Omega Language
September 12, 2019
Omega is a general purpose application development language that shares few characteristics in common with traditional programming languages (TPL). It computes only with property based types (PBT) which are incomplete, but accurate, characterizations of things, while TPL compute with complete, but inaccurate, models of things. Consequently, Omega extends the range of valid applications of automated systems to include infinite structures and domains, Gödel incomplete domains, and social and physical world applications. Omega is illustrated with several small applications that are impossible with TPL. Omega is possible because PBT provides mathematical foundation that is sound, more comprehensive, and more expressive than that of TPL.