Cognitive Agents Toolbox. to create sysbrains . . .

Creating knowledge based intelligent machines

1. Heterogeneous knowledge representation and inherent knowledge sharing between humans and agents.
2. sEnglish based Jason+ programming with enhanced features.
3. Eclipse based front end that integrates 5 systems:
3.1 sEnglish Publisher for executable papers
3.2 Agent Executive Toolbox (AET) for MATLAB
3.3 Jason+ / Java Editor to shape the reasoning of your agents
3.4 LaTex Agent Documents Editor (manual equals program)
3.5 MCMAS model checker for formal verification of agent systems

CAT Manual/Demos available upon request (Please send email to support(AT)sysbrain)

CAT is a software integration system to bring your intelligent modules on vision, planning and control work together with the aid of goal oriented reasoning capability.

Have you ever had the feeling that AI research is fragmanted? ...in that case this is the software you have been missing.

Agent Executive Toolbox (AET) for MATLAB

AET is a MATLAB Toolbox comprising a set of Simulink blocks, m-functions and inter-process communication routines that enable the integration of rational agents with signal processing of perception and feedback based control action.

Manual of sEnglish Publisher

See "sEnglish for Executable Papers" box below for a video

Videos on sEnglish Publisher

1. Creating and reading executable papers

2. General Introduction

3. Ontology Editing

4. Sentences Editing

5. Contents Editing

1. sEnglish Publisher brochure

2. Intelligent Rover brochure

3. Cognitive Agent Toolbox brochure

Manual (PDF)

1. Intelligent Rover paper (PDF)

2. Theoretical paper (PDF)

IEEE Interview (PDF)

Joint paper with Michael Fisher et al. (PDF)

NTNU Norway talk (PDF)

Why sEnglish for publications....
(PDF) ... apart from the fact that future intelligent machines will be able to read you paper?

Why sEnglish for agent programming? (PDF)

How does an agent readable executable journal paper look like in PDF? (PDF paper)

">sEnglish offers a unique way to create algorithmic sections in a PDF or HTML paper or article that the reader can verify: the essence of the algorithm can be written down in English sentences by the author that the reader of the paper can execute on sEnglish Publisher. Hence sEnglish Publisher has too main functionality: it functions as an authoring tool and also as an extraction/execution tool of demos from publications.

Introductory video with piano

Links to the Semantic Web: ARON (read presentation)