Get JoBot™ Now

JoBot™ is a neuro-symbolic AI system that combines rule-based methodologies with large language models (LLMs) to deliver safe, explainable, and professional chatbot responses. It is both a product (software and rulesets) and a methodology (biasing framework for AI).

In clinical and health contexts, psychologists, clinics, and hospitals benefit from JoBot™’s ability to structure interviews, support risk assessments, and assist in report writing. By embedding professional rules into its operation, JoBot™ helps clinicians maintain consistency and compliance while saving time in their daily practice.

JoBot™ also speaks directly to the needs of AI safety and research organisations. For these groups, it serves as an applied example of a rule-based alignment layer for large language models, ensuring that responses are not only accurate but also ethically constrained. This makes JoBot™ a valuable tool for AI labs, governance bodies, and think tanks that are working to design and deploy safer artificial intelligence systems.

Beyond healthcare and safety, JoBot™ is relevant to developers, universities, and enterprises in regulated industries. Developers and startups can use JoBot™ as a toolkit for guiding chatbot behaviour, while academic institutions can adopt it as a teaching resource for neuro-symbolic AI and explainability. Enterprises such as banks, insurers, and public sector organisations can integrate JoBot™ as a white-label compliance safeguard, reducing liability and ensuring governance in sensitive environments

Pricing Strategy

Please see our Disclaimer for JoBot™ and the Privacy Policy/Terms of Use of the Psychology Network Pty Ltd. Currently, the following fees apply.

1. Clinics/Health professionals: AUD 300–500 per month per seat.

2. Research/Universities: Institutional licences, AUD 5k–20k per year.

3. Enterprise/Regulated industries: Negotiated contracts (AUD 100k+ annually).

4. Developer toolkit: Free tier + Pro version (~AUD 50–100/month).

Get a free sample version of JoBot™

Have a look at JoBot™'s symbolic layer and get a free copy of JoBot™'s rules for crisis management in mental health (please note the Disclaimer for JoBot™ and the Privacy Policy/Terms of Use of the Psychology Network Pty Ltd). The rules are in first-order predicate logic and are available in two formats:

TFF (Typed First-Order Form) is a dialect of the TPTP language used to encode typed first-order logic problems for automated theorem provers. A .tff file declares sorts (types), symbols (functions/predicates with their type signatures), and formulas (axioms, lemmas, conjectures) in a clean, machine-readable syntax that many provers understand (e.g., Vampire, E). It’s ideal when you want to reason in classical first-order logic and still keep a lightweight type discipline so your encodings are unambiguous and tool-friendly. (If you meant TIFF: that’s the Tagged Image File Format, a raster image format—unrelated to logic encodings.)

SMT-LIB2 is the standard input language for SMT (Satisfiability Modulo Theories) solvers like Z3 and cvc5. An .smt2 file uses S-expressions to declare sorts and symbols, assert constraints, and issue commands such as check-sat and get-model. Beyond pure first-order reasoning, SMT-LIB2 lets you work with built-in theories (e.g., arithmetic, arrays, bit-vectors), making it a go-to format for verification, model finding, constraint solving, and many practical program-analysis tasks.

Please email us at jobot@jobot.ai for your free copy of JoBot™.