Matches in SemOpenAlex for { <https://semopenalex.org/work/W1958781517> ?p ?o ?g. }
- W1958781517 abstract "Because contemporary large software systems are pervasively inconsistent, it is not safe to reason about them using classical logic. The goal of Direct Logic is to be a minimal fix to classical mathematical logic that meets the requirements of large-scale Internet applications (including sense making for natural language) by addressing the following issues: inconsistency robustness, contrapositive inference bug, and direct argumentation. Direct Logic makes the following contributions over previous work: * Direct Inference (no contrapositive bug for inference) * Direct Argumentation (inference directly expressed) * Inconsistency-robust deduction without artifices such as indices (labels) on propositions or restrictions on reiteration * Intuitive inferences hold including the following: * Boolean Equivalences * Reasoning by splitting for disjunctive cases * Soundness * Inconsistency-robust Proof by Contradiction Since the global state model of computation (first formalized by Turing) is inadequate to the needs of modern large-scale Internet applications the Actor Model was developed to meet this need. Using, the Actor Model, this paper proves that Logic Programming is not computationally universal in that there are computations that cannot be implemented using logical inference. Consequently the Logic Programming paradigm is strictly less general than the Procedural Embedding of Knowledge paradigm." @default.
- W1958781517 created "2016-06-24" @default.
- W1958781517 creator A5070305275 @default.
- W1958781517 date "2008-12-28" @default.
- W1958781517 modified "2023-09-24" @default.
- W1958781517 title "Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model" @default.
- W1958781517 cites W1492833693 @default.
- W1958781517 cites W1506247181 @default.
- W1958781517 cites W1509271294 @default.
- W1958781517 cites W1519565561 @default.
- W1958781517 cites W1522654931 @default.
- W1958781517 cites W1525482321 @default.
- W1958781517 cites W1542835181 @default.
- W1958781517 cites W1547562281 @default.
- W1958781517 cites W1554288449 @default.
- W1958781517 cites W1557853716 @default.
- W1958781517 cites W1561267729 @default.
- W1958781517 cites W1572995012 @default.
- W1958781517 cites W1578088218 @default.
- W1958781517 cites W1578229911 @default.
- W1958781517 cites W1578807507 @default.
- W1958781517 cites W1587086601 @default.
- W1958781517 cites W1588811107 @default.
- W1958781517 cites W1593617641 @default.
- W1958781517 cites W1594912681 @default.
- W1958781517 cites W1604471835 @default.
- W1958781517 cites W1705210632 @default.
- W1958781517 cites W176031233 @default.
- W1958781517 cites W1825555684 @default.
- W1958781517 cites W1963587374 @default.
- W1958781517 cites W1965622519 @default.
- W1958781517 cites W1967944368 @default.
- W1958781517 cites W1973311427 @default.
- W1958781517 cites W1974909295 @default.
- W1958781517 cites W1975810242 @default.
- W1958781517 cites W1980589711 @default.
- W1958781517 cites W1983057232 @default.
- W1958781517 cites W1988456198 @default.
- W1958781517 cites W1991570511 @default.
- W1958781517 cites W2003851453 @default.
- W1958781517 cites W2007014159 @default.
- W1958781517 cites W2010405422 @default.
- W1958781517 cites W2014042400 @default.
- W1958781517 cites W2014775952 @default.
- W1958781517 cites W2024028559 @default.
- W1958781517 cites W2024102269 @default.
- W1958781517 cites W2025624633 @default.
- W1958781517 cites W2028227692 @default.
- W1958781517 cites W2028783879 @default.
- W1958781517 cites W2028949512 @default.
- W1958781517 cites W2033639474 @default.
- W1958781517 cites W2038809129 @default.
- W1958781517 cites W2046780264 @default.
- W1958781517 cites W2050608833 @default.
- W1958781517 cites W2053384008 @default.
- W1958781517 cites W2060878518 @default.
- W1958781517 cites W2061744175 @default.
- W1958781517 cites W2062024564 @default.
- W1958781517 cites W2069663570 @default.
- W1958781517 cites W2075458778 @default.
- W1958781517 cites W2078380593 @default.
- W1958781517 cites W2081025957 @default.
- W1958781517 cites W2082549492 @default.
- W1958781517 cites W2089189663 @default.
- W1958781517 cites W2089674328 @default.
- W1958781517 cites W2092293513 @default.
- W1958781517 cites W2093541252 @default.
- W1958781517 cites W2096391838 @default.
- W1958781517 cites W2102097307 @default.
- W1958781517 cites W2103953153 @default.
- W1958781517 cites W2107219179 @default.
- W1958781517 cites W2107611133 @default.
- W1958781517 cites W2121397369 @default.
- W1958781517 cites W2126160338 @default.
- W1958781517 cites W2132453167 @default.
- W1958781517 cites W2140058271 @default.
- W1958781517 cites W2140353799 @default.
- W1958781517 cites W2144776393 @default.
- W1958781517 cites W2147072697 @default.
- W1958781517 cites W2148132004 @default.
- W1958781517 cites W2149744265 @default.
- W1958781517 cites W2155322595 @default.
- W1958781517 cites W2156092566 @default.
- W1958781517 cites W2157598146 @default.
- W1958781517 cites W2159080219 @default.
- W1958781517 cites W2159080528 @default.
- W1958781517 cites W2161712551 @default.
- W1958781517 cites W2163568292 @default.
- W1958781517 cites W2166230870 @default.
- W1958781517 cites W2249101577 @default.
- W1958781517 cites W2275166338 @default.
- W1958781517 cites W227617707 @default.
- W1958781517 cites W2281492102 @default.
- W1958781517 cites W2295268496 @default.
- W1958781517 cites W2323071706 @default.
- W1958781517 cites W2323777246 @default.
- W1958781517 cites W2624176206 @default.
- W1958781517 cites W2753533763 @default.
- W1958781517 cites W2754695292 @default.
- W1958781517 cites W2795740397 @default.