"Navigating between Risk and Return"



 Floating GNU

Valid HTML 4.01!

You can copy the original
       you can't copy originality.

The STALEMATE Knowledge-based System Design Environment (KBSDE) constitutes a CASE tool for agile, virtual agent-assisted, knowledge-based, simulation-directed, model-driven software engineering targeting augmented-reality gaming applications for decision support. The project's objectives include advancement of:

  • computational logic in the sense of:
    • logical formalization of computational processes as in systems and software engineering (logic of computation)
    • use of logic as in logic programming (logic as computation)
    • implementation of logic in applications such as interactive theorem provers and proof assistants (computation of logic)
    • the complementarity of heuristics and computational intelligence with regard to logic as applies to semi- or undecidable, uncertain and ill-structured domains involving hard problems (logic vs. computation)
    • objectifiability of logic by heuristics and computational intelligence when these represent a second-order level (computation as metalogic)
  • embedding logical inference mechanisms in compilers and interpreters to extend syntactic and semantic processing with program proving
  • extension of stochastic analytical toolkit as relating to data-mining methodology, fuzzy logic, neural networks and biomimetic/evolutionary computing
  • GCC, Java and logic programming language under Debian GNU/Linux as instances of viable operating systems and application environments
  • methodological extension of logical specification and design of software to hardware architecture and design automation in the course of hardware/software codesign and continuing progress in VLSI and nanotechnology
  • agent intelligence in virtual user interfacing to enhance assistivity
  • implications for system-development methodology

The fundamental system components consist of:

  • parsing of logical UML-compatible system-design language, ranging from shell-oriented text interpretation to visual recognition and frontending text-to-speech translation
  • logical (deductive) inference mechanisms acting as engines for modeling and simulation using knowledge bases
  • application generation allowing cross-compilation toward logic programming languages such as PROLOG, OKBC-compliant knowledge bases and ontological languages such as RDF or OWL along with speech synthesis from text, while supporting design pattern-/template-oriented implementation in GCC, Java, SQL and XML and furthering Web services/semantics and SaaS

Project versioning is based on iterating through successive unstable, test and stable prototypes in the course of the development cycle. The requirements specification and roadmap are covered in:

Deliverables include:

  • extensions for the Mozilla Firefox and Mobile Mozilla Firefox browsers, utilizing Mozilla's user- and system-interfacing technology to Mozillate the basic KBSDE through the STALEMATE Mozdev Project
  • application for Google's Android OS seeking to integrate an extension of the Mobile Mozilla Firefox browser and a mobile version of the open-source Second Life viewer with Android's functionality to support a distributed, avatar-assisted development environment for augmented-reality applications through the STALEMATE KBSDE Mobile Client Extension Project
  • plug-in for the Eclipse IDE's EMF Project
  • plug-in for IBM WebSphere in conjunction with the Rational process, DB2 Intelligent Miner/Data Warehouse and Informix
  • HP OpenView Smart Plug-in for management of Web services
  • Debian GNU/Linux packaging

STALEMATE KDD Lab acts as a testbed for applications generated through KBSDE, focusing on the research theme "Knowledge Discovery and Data Mining on the World-Wide Web" involving a class of knowledge-base, data-mining and data-warehousing applications targeted at the business-intelligence layer of the horizontal organization in general and at the vertical market for asset and liability management, financial engineering, and risk management in particular.