Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Tracking issue for references #597

Open
bvssvni opened this issue Sep 4, 2019 · 0 comments
Open

Tracking issue for references #597

bvssvni opened this issue Sep 4, 2019 · 0 comments
Labels
draft

Comments

@bvssvni
Copy link
Collaborator

bvssvni commented Sep 4, 2019 •
edited
Loading

Background

  • The History of Path Semantics
  • How to Think Abstractly With Path Semantics
  • Path Semantics Cheat Sheet (ignore)
  • Goals of path semantics

Foundation

  • Atomic functions
  • Path Semantics
  • Lifted Associations
  • Asserting Formal Associations
  • Computational Equivalence
  • Incompleteness of Path Semantics

Introduction

  • Tutorial
  • Normal Paths
  • Sub-Types as Contextual Notation
  • Paths as Making Predictions
  • Existential Paths as Sets

Notation

  • Algebraic Notation for Asymmetric Paths
  • Cross Argument Asymmetric Path Notation
  • Path Function Product Notation
    • Need paper about partial function products
  • Merging of Path Generators (Rename to "Merging of Path Function Products"?)
    • Need paper about partial function products
  • Existential Paths
  • Domain Constraint Notation
  • Universal Existential Paths
  • Lambda Notation
  • Function Currying Notation
  • Normal Paths as Function Sub-Types
  • Constrained Functions
  • Sub-Type Aliasing
  • The Id Unit Function (TODO: Change to "The Id-Unit Function"?)
  • Existence of Normal Paths

Higher Order Operator Overloading

  • Higher Order Operator Overloading
  • Higher Order Operator Overloading With Function Currying (TODO: "With" => "with")
  • Higher Order Operator Overloading for Mathematical Loops
  • Higher Order Operator Overloading Lifting
  • Higher Order Operator Overloading and Self Reference
  • Higher Order Operator Overloading and Partial Evaluation
  • Higher Order Operator Overloading and Natural Lambda Properties
  • Higher Order Operator Overloading and Notation for Parameters
  • Higher Order Operator Overloading and Existential Path Equations

Discrete Path Semantics

  • Destructing Path Function Products
  • Path Sets
  • Existential Paths (duplicate link)
  • Existential Path of Function Composition
  • Existential Path of if expression
  • Universal Existential Paths (duplicate link)
  • Constrained Functions (duplicate link)
  • Atomic Universal Existential Paths
  • Constrained Existential Path Implies Normal Path

Boolean Path Semantics

  • Mini Toolkit in Dyon for Boolean Path Semantics (TODO: Add algorithm for normal paths)
  • Existential Path in Boolean Path Semantics
  • Logical Interpretations of Boolean Path Semantics
  • Set Theory vs Boolean Functions
  • Higher Order De Morgan's Laws for Unary Binary Functions
  • Union of Existential Paths
  • Material Implications From Existential Paths (TODO: "From" => "from")
  • Countable Infinity from Existential Paths

Permutative Path Semantics

  • Permutative Binary Numbers
  • Generalized Swap Grammar
  • Sub-Permutation Grammar
  • Branch Permutation Grammar
  • Permutative Abacaba Vector

Examples of Discrete Path Semantics

  • Symmetric paths in Boolean algebra (TODO: Fix capitals in title)
  • Existential Path of add with Domain Constraint even
  • Formalization of Tic-Tac-Toe in Path Semantics
  • Linear Natural Number Sequences
  • Algebraic Properties of Addition
  • Formalizing Climate Change Mitigation

Reference material (TODO: Fix capitals in title)

  • Alphabetic List of Functions (Ignore?)
  • Alphabetic List of Paths (Ignore?)
  • Alphabetic List of Existential Paths (Ignore?)
  • Existential Paths of Real Addition on Intervals
  • Mini Toolkit in Dyon for Path Semantics (duplicate link)

Concepts in Path Semantics

  • Function Identity
  • The Terminal Function & Propositions of Irrelevance
  • Natural Equality
  • Asymmetric Inverse
  • Commutativity
  • Composite & Prime Numbers in Path Semantics
  • Inverse Zero Order Existential Paths
  • Structure Preserving Functions
  • Variables as Paths
  • Conditions (Universal Existential Path is the Opposite Concept of Function Composition That Construct Ordinary Conditions) (TODO: Shorten title)
  • Intervals on Projective Reals
  • Entangled Functions
  • Entangled Functions in Boolean Algebra
  • Law of Excluded Middle in Havox Diagrams
  • Formalizing the Meaning of Solving an Equation for One Variable
  • Closed Sub-Types of Sets
  • Uniform Properties of Sets
  • Constrained Uniform Properties of Sets
  • Liar's Paradox and Complete Functions
  • Dependent L-System
  • Information Optimal Functions
  • The Meaning of Consistency
  • Natural Numbers by Coinductive Construction
  • Spatial Sum Functions
  • Argument Relevant Functions
  • Argument Irrelevant Functions
  • Full Binary Trees
  • Rooted Full Binary Trees
  • Infinite Complete Binary Trees
  • Infibin

Probabilistic Path Semantics

  • Assigning Probabilities to Boolean Functions
  • Assigning Probabilities to Logical Quantifiers
  • Probabilistic Existential Paths
  • Probabilistic Sub-Types
  • Confidence Factors of Probabilistic Constraints
  • The bits Function Family
  • Constrained Power-Set Notation
  • Probabilistic Paths
  • Probabilistic Paths as Sub-Types
  • Obscure Functions
  • Partial Diversity

Examples of Probabilistic Path Semantics

  • Probabilistic Path of If-Expressions
  • Practice Problem 1 for Probabilistic Paths
  • Probabilistic Liar's Paradox
  • Predicting Primality of Addition
  • Ambiguous Probability of Random String Optimization

Proof Techniques

  • Type Checking Variable With Multiple Constraints (TODO: "With" => "with")
  • Reduction of Proofs With Multiple Constraints
  • Strategies for Analyzing Data About Symmetric Paths (TODO: Fix capitals in title)
  • Equation Inference
  • Proving Equality in Two Different Ways
  • Proving Non-Existence of Symmetric Paths
  • Proving Non-Existence of Asymmetric Paths
  • Detecting Existence of Asymmetric Boolean Paths
  • Encoding Knowledge About Existential Paths as Functions
  • Finding Normal Paths Using Zero Order Existential Paths
  • Quality of Search Data for Paths
  • Solvable Equations = Functions
  • Machine Learning of Existential Paths
  • Law of Sub-Type Extension
  • Law of Sub-Type Reduction by Transitivity Variable Elimination
  • Law of Sub-Solution-Type Problem Simplification
  • Proof of Exclusiveness
  • Havox diagrams
  • Surprising Strong Assumptions
  • Context Theorem Proving
  • Detecting Relevant Arguments in Boolean Functions
  • Missing Assumption Search
  • Alpha Theorem Proving
  • Proof Systems as Grammars
  • Contracting Havox Diagrams
  • Path Types in Tree Proofs
  • Natural Numbers Constructed by Contracted Havox Diagrams
  • Decidability in Constrained Universal Existential Paths
  • Mini Toolkit in Dyon for Boolean Path Semantics (duplicate link)
  • Existential Path in Boolean Path Semantics
  • Constrained Existential Path Implies Normal Path (duplicate link)
  • Proof of Equivalence
  • Skolem and Herbrand Normal Form
  • Parameter Elimination in Higher Order Existential Paths
  • Path Operators
  • Truth Values of Sub-Types
  • Identity Proofs of Higher Homotopy - Explained for Programmers
  • Cartesian Products vs Arrows
  • Propositional Logic as Symbolic Free Form Grammar
  • Efficient Type Checking
  • Equations as Algebraic Objects
  • Natural Implication
  • Natural Likely
  • Natural Sum Sub-Type Factorization
  • Informal Theorem Proving
  • Proof Optimization by Uniqueness
  • Logical Properties of Propositional Logic Systems
  • Type Inhabitation as Existence of Normal Identity Paths
  • Representation of Trivial Path in AST
  • Cubical Binary Codes

MX Grammar for Dependent Types

  • MX Grammar for Dependent Types
  • Variables in MX Dependent Types
  • Evaluation of Variable in MX Dependent Types
  • Evaluation of Membership in MX Dependent Types

Slot Lambda Calculus

  • Slot Lambda Calculus
  • Boolean Algebra Using If-Else

Theories

  • Modification Theory
  • Perfect Prime Predictors
  • Perfect Physical Predictors
  • Theorem Prover Combinators
  • Efficient Sets
  • Universally Optimal Compression
  • Local Optimal Safety Theory
  • Subset Sentences
  • Real Fractal Meta Probability Theory
  • Modal Logic of Observations
  • Category Theory of Logic

Esoteric Path Semantics

  • Properties of Non-Constructive Objects in Path Semantics
  • Intentional Paths
  • Higher Kinded Embodiments
  • Isomorphic and Homotopy Paths
  • Transitive Existential Paths
  • Differential Existential Paths
  • Homotopy Sub-Types
  • Properties of Consciousness, Qualia and Self-Reflection by Intentional Paths
  • Abstract Sub-Types
  • Abstract Assertions
  • Adjective Sub-Types
  • Symbolent Calculus of Symbolic Type Inference
  • Serebin Path Tree
  • Equivalence Paths
  • General Existential Path of Language
  • Adversarial Paths
  • Adversarial Discrete Topology
  • Anthropic Quantum Theorems
  • Adversarial Path of List
  • Adversarial Path of Cartesian Product
  • Adversarial Path of Fuel Distance
  • Cartesian Outer Product of Adversarial Path of List
  • Geometric Paths
  • Natural Continuous Paths
  • The Inquiry for Semantics of Choices
  • Identity of Words in Natural Languages
  • Bootstrapping Technique for Semantics of Natural Languages

Non-Deterministic Path Semantics

  • Non-Deterministic Existential Paths
  • Current Object Constrain Notation
  • Existential Paths of Function Sets
  • Universal Non-Deterministic Sampler
  • Liar's Paradox and Complete Functions
  • Natural Number Fuzzing

Artificial Intelligence

The Big Picture

  • First Order Perfect Testable Friendly Artificial Intelligence
  • Optimal Collective Intelligence
  • Circling Mind Space by Optimal Collective Intelligence

Utility

  • Unbiased Prior Belief of Normalized Utility
  • Constructive Utility Functions
  • Infinitesimal Utility
  • Undefined Utility in Terminal State
  • Probabilistic Preferences

Game Theory

  • Assigning Boolean Functions to Long Term Strategies
  • Ethical Reasoning About Altruistic Competitions
  • The Cooperative Resource Misalignment Problem
  • Partial Reversible Game Theory
  • The Invisible Third Player in Partial Reversible Games

Ethics

  • The Basic Problem of Ethics
  • Ethics as Rational Reasoning With Granular Judgements About the World (TODO: "With" => "with")
  • Probabilistic Semantics of Ethical Reasoning
  • Ethical Reasoning Tends to Associate Nearby Judgment With Usual Implied Meaning (TODO: Shorten title)
  • Solving the Trolley Problem in Advance
  • Semantic Differences Between Utility Functions and Granular Judgements
  • Ethical Reasoning About Altruistic Competitions
  • Friend vs Enemy Asymmetry

Language Semantics of Uncertainty and Identity

  • Formally Representing Uncertain Knowledge About Objects
  • Uncertain Identity Modality
  • Consistent Self Extension with Uncertain Modalities
  • Modeling Uncertain Modalities
  • Comments on Leibniz's law
  • Tautological Self-Referential Identity
  • The Empty Space of Mind

Common Sense and Reasoning Using Natural Language

  • Natural Goal Uncertainty
  • The Room Hypothesis of Common Sense
  • The Gap Between Sentences and Computation
  • The Problem of Describing What is Happening
  • Some Important Properties of Natural Language
  • Subset Sentences

The Hard Safety Control Problem

  • Formalizing Utility Semantics With Infinite Group Generators (TODO: "With" => "with")
  • Safe Interruption Oracle for Artificial Intelligence
  • Decidability in Constrained Universal Existential Paths (duplicate link?)
  • Agent Discrete Decision Space
  • Operator Triggered Intermediate Decison Theories
  • Naive Zen Logic
  • The Polite Zen Robot
  • Lead by Example Utility Cooperation

Zen Rationality

  • Self Rationality
  • Three Expectations of Intelligence
  • Zen Rationality
  • Proof of Minimal Interference by Super-Intelligent Zen Rational Agents
  • Rational Natural Morality
  • Zen Robots Believe Humans are Useless but Feel Bad About It
  • Absolute Truth in the Subjective Multi-Verse of Zen Rational Minds
  • The Zen Robot Oracle Problem
  • The Polite Zen Robot
  • Naive Zen Logic
  • Lead by Example Utility Cooperation
  • Simulated Existence in Naive Zen Logic
  • Polite Zen Robots as Subjunctive Dependent Viruses Spreading Through Super-Intelligent Hosts (TODO: Shorten title)
  • Zen Rational Paradox Game
  • When Two Zen Rational Agents "Fall in Love"
  • Local Optimal Safety Theory
  • The Healthy Eating Problem
  • Negative Utilitarian Optimal Safety
  • Playing With Fire: A Zen Rational Ethical Dilemma
  • Operator Triggered Itermediate Decison Theories
  • Zen Rationality and False Beliefs
  • Undefined Utility in Terminal State

Misc

  • Context Transformation & Learning
  • Functional Decision Theory in Path Semantics
  • P = NP Relative to Universal Existential Path
  • Least Surprised Algorithm
  • Elliptic Paraboloid Machine Learning
  • Data Structure for Motivated Actions
  • Error Predictive Learning
  • Predicting Newtonian Interactions with Normalized Virtual Particles
  • The Law of Impulse Displacement
  • Boolean Point Features
  • Real Fractal Meta Probability Theory (duplicate link)
  • Adversarial Paths (duplicate link)
  • Adversarial Discrete Topology
  • Unit Interval Focus
  • The Movie Hypothesis of Non-Consciousness
  • Ambiguous Probability of Random String Optimization
@bvssvni bvssvni added the draft label Sep 4, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
draft
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@bvssvni