"Navigating between Risk and Return"

Computational Logic

Strategic Orientation of Applied Logic


"Virtual reality projects computed consciousness into the physical world;
virtual intelligence populates this externalized inner space
with logical agents."

Challenges for Logic and Computation

The epistemological status of applied logic with respect to computation elicits a series of issues concerning alternative logics, the computation of logical inference, decidability, tractability, the relationship with heuristics, partial or ill-structured data and uncertainty, metalogic, and the technology transfer paradigm.

  • Nature and identity (philosophy) of logic in the face of computation (logic and computation)
  • Closed worlds, negation as failure and (intuitionistic) constructive formal proofs (domain-specificity and alternative logics such as multi-value and fuzzy)
  • Formal logic vs. approximate methods, heuristics and sufficient solutions (logic vs. computation)
  • Natural deduction and (semi-)automatic logic / Logical inference and theorem provers (computation of logic)
  • Theoretical constraints: logical incompleteness and semi-decidabililty (logic of computation)
  • Practical constraints: complexity and intractability
  • Computational intelligence (computation as metalogic)
  • Relevance to problems involving partial data, ill-structuredness and uncertainty
  • From top-down experimental prototyping to bottom-up industrial implementation: a case of technology transfer for computational logic
  • Interdisciplinary Survey of Applied Logic

    Defined through philosophy (epistemology) relative to computation theory, logic is applicable within software engineering to intersect with linguistics, psychology (cognition) and artificial intelligence, communication and data systems, sociology, economics, anthropology, ethics, knowledge management and business intelligence.

  • Translation (language of logic/logic (grammar) of language) and theorem proving: embedding intelligence in a compiler for a logical knowledge-representation language
  • Consistency/verification and correspondence/validation in modeling
  • Proving program correctness vs. program testing: declarativism vs. proceduralism revisited (logic of computation)
  • Interpreting proofs as programs: semantics and application-code generation (logic as computation)
  • Program transformation and optimization: efficient implementation of logic within distributed, pervasively networked application environments
  • Neural networks, fuzzy logic, evolutionary computing and learning and theory formation: defining a system interface for a man-machine interface extensible through virtual intelligence
  • Project and business process management and knowledge/technology transfer
  • The right, freedom, responsibility and economics of intellectual expression
  • Approach to Computational Logic and Intelligence

    A specific approach to computational logic involves merging with computational intelligence within agent-assisted, AR gaming-oriented, collaborative support for adaptive enterprise and traverses a number of considerations.

  • (Semi-)automatic formal logic to assist creative learning
  • Knowledge-based modeling and theorem proving as simulation
  • Rapid prototyping through knowledge-based simulation with validation by reports over data warehouses
  • (Semi-)automatic decision-support application generation
  • Identically enriched designer-user and end-user interfacing: modeling and simulation of virtual worlds within virtual worlds
  • Sufficient optimization of portable code for JIT pervasive implementation
  • Licensing to liberate intellectual assets from being intellectual property: 'You can copy the original but you can't copy originality'
  • Bibliography