Perslis
Site map
Every page on perslis.com, nested by section. 106 pages
The Fail-Safe Model 4 pages
Symbolic AI 6 pages
- What Is Symbolic AI? Definition, How It Works, Examples
- The History of Symbolic AI: From Dartmouth to Neuro-Symbolic
- What Is Neuro-Symbolic AI? Hybrid AI Explained
- What Is a Symbolic System? Symbols, Rules and Reasoning
- What Are Symbolic Flows? Deterministic Pipelines for AI
- Symbolic AI — how Perslis verifies instead of trusting
Symbolic AI techniques 11 pages
- Symbolic AI Techniques: Every Major Method, 1956–Today
- Logic Programming, Prolog and Theorem Proving Explained
- Formal Verification and Program Synthesis Explained
- Search Algorithms in AI: A*, Minimax, Alpha–Beta, MCTS
- AI Planning: STRIPS, HTN, PDDL and Graphplan Explained
- Knowledge Representation in AI: Frames, Ontologies, OWL
- Nonmonotonic Reasoning and Commonsense Reasoning in AI
- Expert Systems: Production Rules, Rete, MYCIN and XCON
- Cognitive Architectures: Soar, ACT-R, Blackboards
- Constraint Satisfaction, SAT Solvers and SMT Solvers
- Symbolic Machine Learning: Decision Trees, ILP and More
Science · Peel 16 pages
- Peel — The Fail-Safe Model for science
- Airtight — your research stays on your machine
- Inference Placement — where ML earns a seat in Peel
- Peel Pilot Program — for scientists & labs
- Peel for bioscience — A foundation for research
- go solve lymphoma
- Lois research floor demo — live lab snapshot
- Peel evidence — Public artifacts and verification
- Lois — your AI lab partner
- trial success predictor
- Peel accounts — privacy notice
- Reasoning — the symbolic core inside Lois
- The science runtime — Source-pinned bioinformatics tools with hands
- The Peel system — Knowledge, reasoning, and runtime
- WetHands: bounded actuation and evidence-gated re-entry for the lab
- WetHands — one runtime for every tool in your lab
Science · the instrument wall 20 pages
- Tools — 44 bioinformatics research instruments on one console
- AlphaFold DB integration — predicted structures with pLDDT confidence
- arXiv search integration — quantitative-biology preprints for AI research
- bioRxiv & medRxiv integration — preprint feeds pinned to DOI
- ChEMBL integration — measured bioactivities against targets, pinned to source
- ClinVar integration — clinical significance reported verbatim, never re-graded
- dbSNP integration — rsID records pinned to location and alleles
- Ensembl integration — genes, coordinates and sequence pinned to source
- InterPro integration — protein families and domains, honest zeros
- KEGG integration — pathways, compounds, enzymes and drugs pinned to ID
- NCBI sequence integration — nucleotide and protein records pinned to accession
- OpenAlex integration — open scholarly metadata for AI research
- RCSB PDB integration — experimental protein structures pinned to source
- PubMed Central full-text integration — open-access papers by PMCID
- PubChem integration — compound identity pinned to CID and InChIKey
- PubMed integration for AI agents — source-pinned literature search
- Reactome integration — curated pathways and reactions with stable IDs
- Semantic Scholar integration — the forward citation graph for AI research
- UniProt integration for AI agents — source-pinned protein data
- Ensembl VEP integration — predicted variant consequences for research
Motion 10 pages
- Perslis Motion — intelligence proposes motion, the floor decides what can move
- Drive Floor — a runtime safety shield for autonomous vehicles
- The Perslis Motion engine — reachability, invariants, admission
- Flight Demo: the Floor at the Controls of a Drone
- Flight Floor — a runtime safety shield for drones and UAVs
- How the harness works — every step from proposal to actuation
- Perslis Motion for investors — the safety runtime under every autonomous system
- drive-floor · runtime safety shield
- Receipts — auditable, certifiable autonomy
- Robot Floor — a runtime safety shield for robots and cobots
Defense 8 pages
Research library 6 pages
- Research and white papers
- The cost of a failure is not a property of the action — arcade floor v1 and v2
- Watch a floor refuse — Space Invaders, no weights
- The floor vs the classifier — why a confidence score is not a check
- Solve a cube — the symbolic floor, stage by stage
- Ask once. Own the answer. — Perslis Symbolic Floor
Perslis · the runtime and products 19 pages
- Perslis — the AI operational runtime for your existing systems
- AirTight — the offline loop where nothing leaves your machine
- SYMBOLIC FLOOR — FIELD MANUAL (Rev. 2026.09)
- Benchmarks — how Perslis measures a body, not a head
- Verified COBOL Synthesis — a no-bake, self-extending system (preprint)
- Perslis Pitch Deck
- Evolution — how no two Perslises end up alike
- Jira Monkey — a ticket, a model, a second look
- Legacy — reconstructing dead software and running it natively
- Liberate — legacy data recovery: verified bundles from the files nobody can open
- The Loop — how Perslis researches, decides, and builds
- Models — every one, on purpose: the curated roster Perslis drives
- Perslis Floor — exact answers from your own data, no model in the loop
- Perslis Software Preservation — run and preserve legacy Windows/DOS software
- Tools — the 70+ Perslis ships with, and the live dashboard
- White paper — Perslis: the body that makes any model useful, proven from the binary
- Win95 USB Lab — why we built it, what we learned, and the full white paper
- Windows and USB
- YOLO mode — full autonomy, fail-closed