The Practical Challenge for Computational Logic
| |
Computation of logic and logic of computation
Theoretical constraints: logical incompleteness and semi-decidabililty
Practical constraints: complexity and intractability
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
| |
Support Structure for a Pragmatic Logic
| |
Translation and theorem proving: embedding intelligence in a compiler for a logical knowledge-representation language
Closed worlds, negation as failure and constructive formal proofs
Natural deduction and (semi-)automatic logic
Theorem proving as simulation
Consistency/verification and correspondence/validation in modeling
Formal logic vs. approximate methods, heuristics and sufficient solutions, neural networks and learning and theory formation: defining a man-machine interface extensible with virtual intelligence
Proving program correctness vs. program testing: declarativism vs. proceduralism revisited
Interpreting proofs as programs: semantics and application-code generation
Program transformation and optimization: efficient implementation of logic within distributed, pervasively networked application environments
The free-software movement and the right of and responsibility for intellectual expression
| |
A Tool Kit for Practicing Computational Logic
|
(Semi-)automatic formal logic to assist creative learning
Rapid prototyping through knowledge-based simulation with validation by reports over data warehouses
(Semi-)automatic operational and tactical application generation
Austere user and enriched end-user interfacing
Sufficient optimization of portable code
Licensing to liberate intellectual being from intellectual property: 'You can copy the original but you can't copy originality.'
| |