Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model
作者： Carl Hewitt
DOI:
关键词: Philosophy of logic 、 Computational logic 、 Non-monotonic logic 、 Proof by contradiction 、 Proof calculus 、 Mathematical logic 、 Paraconsistent logic 、 Logic programming 、 Inference 、 Theoretical computer science 、 Programming language 、 Signature (logic) 、 Argumentation theory 、 Description logic 、 Multimodal logic 、 Horn clause 、 Soundness 、 Bunched logic 、 Rule of inference 、 Classical logic 、 Computer science 、 Probabilistic logic network 、 Dynamic logic (modal logic) 、 Autoepistemic logic
摘要: Because contemporary large software systems are pervasively inconsistent, it is not safe to reason about them using classical logic. The goal of Direct Logic be a minimal fix mathematical logic that meets the requirements large-scale Internet applications (including sense making for natural language) by addressing following issues: inconsistency robustness, contrapositive inference bug, and direct argumentation. Direct makes contributions over previous work: * Inference (no bug inference) Argumentation (inference directly expressed) Inconsistency-robust deduction without artifices such as indices (labels) on propositions or restrictions reiteration Intuitive inferences hold including following: Boolean Equivalences Reasoning splitting disjunctive cases Soundness Proof Contradiction Since global state model computation (first formalized Turing) inadequate needs modern Actor Model was developed meet this need. Using, Model, paper proves Programming computationally universal in there computations cannot implemented logical inference. Consequently paradigm strictly less general than Procedural Embedding Knowledge paradigm.
arxiv.org
128.84.21.199
harvard.edu参考文章(110)
Vann McGee, A counterexample to modus ponens The Journal of Philosophy. ,vol. 82, pp. 462- 471 ,(1985) , 10.2307/2026276
Martin Caminada, On the Issue of Contraposition of Defeasible Rules computational models of argument. pp. 109- 115 ,(2008)
Robin Milner, Logic for Computable Functions: description of a machine implementation. Stanford University. ,(1972) , 10.21236/AD0785072
Victor Rodych, WITTGENSTEIN ON GÖDEL: THE NEWLY PUBLISHED REMARKS Erkenntnis. ,vol. 56, pp. 379- 397 ,(2002) , 10.1023/A:1016379820371
Dov M. Gabbay, What is a logical system What is a logical system?. pp. 179- 216 ,(1994)
Akinori Yonezawa, Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics. ,(1977)
Francesco Berto, There's Something About Gödel: The Complete Guide to the Incompleteness Theorem ,(2009)
Eckart Menzler-Trott, Craig Smoryński, Edward Griffor, Logic's Lost Genius: The Life of Gerhard Gentzen ,(2007)
Paul K. Feyerabend, Killing Time: The Autobiography of Paul Feyerabend ,(1994)
Douglas N. Walton, Fundamentals of critical argumentation ,(2005)