diff options
Diffstat (limited to '')
| -rw-r--r-- | README.md | 24 |
1 files changed, 17 insertions, 7 deletions
@@ -15,12 +15,15 @@ A persistent, formally verified knowledge base stored as a Git repository of Lea ## Planned Domain Structure -The KB is organised into four top-level sections, each subdivided into domain files that correspond to a specific area of knowledge. The subsections are the natural unit an agent loads — for example, loading only `Physics` or only `MoneyFinance` without pulling in unrelated facts. +The KB is organised into four top-level sections. Each subsection corresponds to one domain file — the natural unit an agent loads for a focused query. For example, an agent answering a chemistry question loads only `Chemistry`; one doing financial calculations loads only `MoneyFinance`. ### Mathematics | Domain file | Coverage | |-------------|----------| +| `LogicSetTheory` | Symbolic logic and foundations: Boolean algebra, set theory, transfinite numbers | +| `Probability` | Quantification of likelihood: games of chance, Bernoulli's trials, probability formulas, probability distributions | +| `AppliedMathematics` | Optimization, numerical analysis, dynamic systems, fractals, game theory, packing and covering objects | | `ElementaryMath` | Arithmetic, fractions, percentages; reasoning about parity and sign of underspecified values | | `Algebra` | Variables, number systems, algebraic operations and symbols | | `Geometry` | Plane, solid, coordinate, transformations, high-dimensional, packing, curves, polyforms, topology, tilings | @@ -35,21 +38,26 @@ The KB is organised into four top-level sections, each subdivided into domain fi | Domain file | Coverage | |-------------|----------| | `Physics` | Mechanics, oscillations & waves, statistical physics, thermodynamics, electricity & magnetism, optics, relativity, nuclear, quantum, particle, astrophysics, constants, principles, effects, fluid mechanics | -| `Chemistry` | Matter from atoms and ions to biomolecules | +| `Chemistry` | Chemical elements, molecules, ions, quantities, reactions, thermodynamics, solutions, cheminformatics, quantum chemistry, functional groups, bonds & orbitals, nuclear chemistry | | `UnitsMeasures` | Conversion and analysis of scientific and everyday measurement systems | | `Engineering` | Aerospace, energy, electrical, control systems, mechanical, civil, fluid mechanics, acoustics, steam tables, measurement devices | +| `HealthMedicine` | Physical exercise, human anatomy, medical codes, blood alcohol content, mortality data, diseases, medical computations, vision, medical tests, nuclear medicine, health-care statistics, drugs & prescriptions, public health | +| `TechnologicalWorld` | Communications, satellites, barcodes, space probes, photography, structures, nuclear power, nuclear explosions, carbon footprint, inventions, web & computer systems | +| `Materials` | Alloys, bulk materials, material hardness, minerals, plastics, woods, material chemistry | | `ComputationalSciences` | Cellular automata, substitution systems, Turing machines, complexity, algebraic codes, fractals, image processing, hashing | -| `EarthSciences` | Geology, geodesy, oceanography, climatology | +| `EarthSciences` | Geology, geodesy & navigation, oceanography, atmospheric sciences, climate | | `LifeSciences` | Human anatomy, animal anatomy, neuroscience, genomics, molecular biology, animals and plants | | `SpaceAstronomy` | Phenomena and technology beyond Earth's atmosphere | +| `FoodScience` | Food composition, nutrition, dietary references & standards, food comparison & combinations, food physics | ### Society & Culture | Domain file | Coverage | |-------------|----------| +| `Education` | International education, universities, school districts, standardized tests, education statistics | | `People` | Biographical and demographic data on notable individuals and public figures | -| `ArtsMedia` | Music, films, comics, sculptures, paintings, and related media | -| `History` | Timelines, monetary value analysis, historical events, inventions, conflicts | +| `ArtsMedia` | Movies, television, video games, notable texts, periodicals, comics, fictional characters, popular curves, mythology, music | +| `History` | Historical numbers, historical periods, genealogy, historical events, historical countries, military conflicts, world leaders, inventions | | `WordsLinguistics` | Word properties, languages, document length, notable texts, transliterations, Morse code, Soundex, encodings, emotions | | `MoneyFinance` | Stock data, mortgages & loans, salaries, bonds, derivative valuation, income tax, sales tax | | `DatesTimes` | Dates, calendars, time systems | @@ -64,6 +72,8 @@ The KB is organised into four top-level sections, each subdivided into domain fi | `PersonalFinance` | Mortgages & loans, stock data, currency conversion, cost of living, gasoline, food, electricity prices | | `Entertainment` | Music, films, artworks, cultural productions | | `HouseholdScience` | Scientific reasoning applied to everyday physical phenomena | +| `DatesAnniversaries` | Calendar information, celebrations, time zone calculations, time math, anniversaries | +| `Travel` | Weather, cost of living, flight data, gasoline prices, points of interest, travel distances | | `HouseholdMath` | Everyday calculations and measurements | | `Programming` | Algorithms, data structures, programming concepts | | `Hobbies` | Recreational activities and personal projects | @@ -149,7 +159,7 @@ Add a batch of declarations, then run `check` once at the end rather than after kb init ./myKB cd myKB -# Base types shared across domains +# Base types in the People domain kb add type Entity in People kb add type Person extends Entity in People kb add type Place extends Entity in People @@ -185,6 +195,6 @@ kb list all of People ## Extensibility -- Domain files from the planned structure are created on first use — no separate setup step. +- Domain files from the planned structure are created on first use — no separate setup step needed. - Definitions (`kb add def`) become permanent reusable shortcuts stored in Lean files. - The KB grows incrementally across sessions — each `kb commit` is a checkpoint in Git history. |