Search Results for author: Ben Goertzel

Found 26 papers, 4 papers with code

Generative AI vs. AGI: The Cognitive Strengths and Weaknesses of Modern LLMs

no code implementations19 Sep 2023 Ben Goertzel

A moderately detailed consideration of interactive LLMs as cognitive systems is given, focusing on LLMs circa mid-2023 such as ChatGPT, GPT-4, Bard, Llama, etc.. Cognitive strengths of these systems are reviewed, and then careful attention is paid to the substantial differences between the sort of cognitive system these LLMs are, and the sort of cognitive systems human beings are.

Misinformation

An Evaluation of GPT-4 on the ETHICS Dataset

no code implementations19 Sep 2023 Sergey Rodionov, Zarathustra Amadeus Goertzel, Ben Goertzel

This report summarizes a short study of the performance of GPT-4 on the ETHICS dataset.

Ethics

A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems

no code implementations30 Mar 2022 Jonathan Warrell, Alexey Potapov, Adam Vandervorst, Ben Goertzel

We introduce a formal meta-language for probabilistic programming, capable of expressing both programs and the type systems in which they are embedded.

Probabilistic Programming Vocal Bursts Type Prediction

Architecture of Automated Crypto-Finance Agent

no code implementations16 Jul 2021 Ali Raheman, Anton Kolonin, Ben Goertzel, Gergely Hegykozi, Ikram Ansari

We present the cognitive architecture of an autonomous agent for active portfolio management in decentralized finance, involving activities such as asset selection, portfolio balancing, liquidity provision, and trading.

Management

The General Theory of General Intelligence: A Pragmatic Patternist Perspective

no code implementations28 Mar 2021 Ben Goertzel

A multi-decade exploration into the theoretical foundations of artificial and natural general intelligence, which has been expressed in a series of books and papers and used to guide a series of practical and research-prototype software systems, is reviewed at a moderate level of detail.

Clustering Ethics +2

Patterns of Cognition: Cognitive Algorithms as Galois Connections Fulfilled by Chronomorphisms On Probabilistically Typed Metagraphs

no code implementations21 Feb 2021 Ben Goertzel

It is argued that a broad class of AGI-relevant algorithms can be expressed in a common formal framework, via specifying Galois connections linking search and optimization processes on directed metagraphs whose edge targets are labeled with probabilistic dependent types, and then showing these connections are fulfilled by processes involving metagraph chronomorphisms.

Clustering

Info-Evo: Using Information Geometry to Guide Evolutionary Program Learning

no code implementations20 Feb 2021 Ben Goertzel

A novel optimization strategy, Info-Evo, is described, in which natural gradient search using nonparametric Fisher information is used to provide ongoing guidance to an evolutionary learning algorithm, so that the evolutionary process preferentially moves in the directions identified as "shortest paths" according to the natural gradient.

Paraconsistent Foundations for Quantum Probability

no code implementations19 Jan 2021 Ben Goertzel

It is argued that a fuzzy version of 4-truth-valued paraconsistent logic (with truth values corresponding to True, False, Both and Neither) can be approximately isomorphically mapped into the complex-number algebra of quantum probabilities.

Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation

no code implementations28 Dec 2020 Ben Goertzel

It is argued that 4-valued paraconsistent truth values (called here "p-bits") can serve as a conceptual, mathematical and practical foundation for highly AI-relevant forms of probabilistic logic and probabilistic programming and concept formation.

Probabilistic Programming

Folding and Unfolding on Metagraphs

no code implementations3 Dec 2020 Ben Goertzel

Typed metagraphs are defined as hypergraphs with types assigned to hyperedges and their targets, and the potential to have targets of hyperedges connect to whole links as well as targets.

Uncertain Linear Logic via Fibring of Probabilistic and Fuzzy Logic

no code implementations28 Sep 2020 Ben Goertzel

Beginning with a simple semantics for propositions, based on counting observations, it is shown that probabilistic and fuzzy logic correspond to two different heuristic assumptions regarding the combination of propositions whose evidence bases are not currently available.

Embedding Vector Differences Can Be Aligned With Uncertain Intensional Logic Differences

1 code implementation26 May 2020 Ben Goertzel, Mike Duncan, Debbie Duong, Nil Geisweiller, Hedra Seid, Abdulrahman Semrie, Man Hin Leung, Matthew Ikle'

The DeepWalk algorithm is used to assign embedding vectors to nodes in the Atomspace weighted, labeled hypergraph that is used to represent knowledge in the OpenCog AGI system, in the context of an application to probabilistic inference regarding the causes of longevity based on data from biological ontologies and genomic analyses.

Guiding Symbolic Natural Language Grammar Induction via Transformer-Based Sequence Probabilities

no code implementations26 May 2020 Ben Goertzel, Andres Suarez Madrigal, Gino Yu

A novel approach to automated learning of syntactic rules governing natural languages is proposed, based on using probabilities assigned to sentences (and potentially longer word sequences) by transformer neural network language models to guide symbolic learning processes like clustering and rule induction.

Clustering

Maximal Algorithmic Caliber and Algorithmic Causal Network Inference: General Principles of Real-World General Intelligence?

no code implementations10 May 2020 Ben Goertzel

Ideas and formalisms from far-from-equilibrium thermodynamics are ported to the context of stochastic computational processes, via following and extending Tadaki's algorithmic thermodynamics.

What Kind of Programming Language Best Suits Integrative AGI?

1 code implementation11 Apr 2020 Ben Goertzel

This framework should support concurrent rewriting of the metagraph according to rules that are labeled with various sorts of uncertainty-quantifications, and that are labeled with various sorts of types associated with various type systems.

Grounding Occam's Razor in a Formal Theory of Simplicity

no code implementations11 Apr 2020 Ben Goertzel

CoSMs and CoSMOS are then used as a foundation for a theory of pattern and multipattern, and a theory of hierarchy and heterarchy in systems of patterns.

Combinatorial Decision Dags: A Natural Computational Model for General Intelligence

no code implementations11 Apr 2020 Ben Goertzel

A novel computational model (CoDD) utilizing combinatory logic to create higher-order decision trees is presented.

Distinction Graphs and Graphtropy: A Formalized Phenomenological Layer Underlying Classical and Quantum Entropy, Observational Semantics and Cognitive Computation

no code implementations2 Feb 2019 Ben Goertzel

A new conceptual foundation for the notion of "information" is proposed, based on the concept of a "distinction graph": a graph in which two nodes are connected iff they cannot be distinguished by a particular observer.

A Reputation System for Artificial Societies

1 code implementation19 Jun 2018 Anton Kolonin, Ben Goertzel, Deborah Duong, Matt Ikle

One approach to achieving artificial general intelligence (AGI) is through the emergence of complex structures and dynamic properties arising from decentralized networks of interacting artificial intelligence (AI) agents.

Humanoid Robots as Agents of Human Consciousness Expansion

no code implementations22 Sep 2017 Ben Goertzel, Julia Mossbridge, Eddie Monroe, David Hanson, Gino Yu

The "Loving AI" project involves developing software enabling humanoid robots to interact with people in loving and compassionate ways, and to promote people' self-understanding and self-transcendence.

Metalearning for Feature Selection

no code implementations20 Mar 2017 Ben Goertzel, Nil Geisweiller, Chris Poulin

A general formulation of optimization problems in which various candidate solutions may use different feature-sets is presented, encompassing supervised classification, automated program learning and other cases.

feature selection General Classification +2

Cost-Based Intuitionist Probabilities on Spaces of Graphs, Hypergraphs and Theorems

no code implementations13 Mar 2017 Ben Goertzel

A novel partial order is defined on the space of digraphs or hypergraphs, based on assessing the cost of producing a graph via a sequence of elementary transformations.

Symbol Grounding via Chaining of Morphisms

no code implementations13 Mar 2017 Ruiting Lian, Ben Goertzel, Linas Vepstas, David Hanson, Changle Zhou

A new model of symbol grounding is presented, in which the structures of natural language, logical semantics, perception and action are represented categorically, and symbol grounding is modeled via the composition of morphisms between the relevant categories.

Common Sense Reasoning

Toward a Formal Model of Cognitive Synergy

no code implementations13 Mar 2017 Ben Goertzel

"Cognitive synergy" refers to a dynamic in which multiple cognitive processes, cooperating to control the same cognitive system, assist each other in overcoming bottlenecks encountered during their internal processing.

Specificity

Learning Language from a Large (Unannotated) Corpus

1 code implementation14 Jan 2014 Linas Vepstas, Ben Goertzel

A novel approach to the fully automated, unsupervised extraction of dependency grammars and associated syntax-to-semantic-relationship mappings from large text corpora is described.

Cannot find the paper you are looking for? You can Submit a new open access paper.