-
GeoGen: Geometry-Aware Generative Modeling via Signed Distance Functions
Authors:
Salvatore Esposito,
Qingshan Xu,
Kacper Kania,
Charlie Hewitt,
Octave Mariotti,
Lohit Petikam,
Julien Valentin,
Arno Onken,
Oisin Mac Aodha
Abstract:
We introduce a new generative approach for synthesizing 3D geometry and images from single-view collections. Most existing approaches predict volumetric density to render multi-view consistent images. By employing volumetric rendering using neural radiance fields, they inherit a key limitation: the generated geometry is noisy and unconstrained, limiting the quality and utility of the output meshes…
▽ More
We introduce a new generative approach for synthesizing 3D geometry and images from single-view collections. Most existing approaches predict volumetric density to render multi-view consistent images. By employing volumetric rendering using neural radiance fields, they inherit a key limitation: the generated geometry is noisy and unconstrained, limiting the quality and utility of the output meshes. To address this issue, we propose GeoGen, a new SDF-based 3D generative model trained in an end-to-end manner. Initially, we reinterpret the volumetric density as a Signed Distance Function (SDF). This allows us to introduce useful priors to generate valid meshes. However, those priors prevent the generative model from learning details, limiting the applicability of the method to real-world scenarios. To alleviate that problem, we make the transformation learnable and constrain the rendered depth map to be consistent with the zero-level set of the SDF. Through the lens of adversarial training, we encourage the network to produce higher fidelity details on the output meshes. For evaluation, we introduce a synthetic dataset of human avatars captured from 360-degree camera angles, to overcome the challenges presented by real-world datasets, which often lack 3D consistency and do not cover all camera angles. Our experiments on multiple datasets show that GeoGen produces visually and quantitatively better geometry than the previous generative models based on neural radiance fields.
△ Less
Submitted 14 June, 2024; v1 submitted 6 June, 2024;
originally announced June 2024.
-
SimpleEgo: Predicting Probabilistic Body Pose from Egocentric Cameras
Authors:
Hanz Cuevas-Velasquez,
Charlie Hewitt,
Sadegh Aliakbarian,
Tadas Baltrušaitis
Abstract:
Our work addresses the problem of egocentric human pose estimation from downwards-facing cameras on head-mounted devices (HMD). This presents a challenging scenario, as parts of the body often fall outside of the image or are occluded. Previous solutions minimize this problem by using fish-eye camera lenses to capture a wider view, but these can present hardware design issues. They also predict 2D…
▽ More
Our work addresses the problem of egocentric human pose estimation from downwards-facing cameras on head-mounted devices (HMD). This presents a challenging scenario, as parts of the body often fall outside of the image or are occluded. Previous solutions minimize this problem by using fish-eye camera lenses to capture a wider view, but these can present hardware design issues. They also predict 2D heat-maps per joint and lift them to 3D space to deal with self-occlusions, but this requires large network architectures which are impractical to deploy on resource-constrained HMDs. We predict pose from images captured with conventional rectilinear camera lenses. This resolves hardware design issues, but means body parts are often out of frame. As such, we directly regress probabilistic joint rotations represented as matrix Fisher distributions for a parameterized body model. This allows us to quantify pose uncertainties and explain out-of-frame or occluded joints. This also removes the need to compute 2D heat-maps and allows for simplified DNN architectures which require less compute. Given the lack of egocentric datasets using rectilinear camera lenses, we introduce the SynthEgo dataset, a synthetic dataset with 60K stereo images containing high diversity of pose, shape, clothing and skin tone. Our approach achieves state-of-the-art results for this challenging configuration, reducing mean per-joint position error by 23% overall and 58% for the lower body. Our architecture also has eight times fewer parameters and runs twice as fast as the current state-of-the-art. Experiments show that training on our synthetic dataset leads to good generalization to real world images without fine-tuning.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
Procedural Humans for Computer Vision
Authors:
Charlie Hewitt,
Tadas Baltrušaitis,
Erroll Wood,
Lohit Petikam,
Louis Florentin,
Hanz Cuevas Velasquez
Abstract:
Recent work has shown the benefits of synthetic data for use in computer vision, with applications ranging from autonomous driving to face landmark detection and reconstruction. There are a number of benefits of using synthetic data from privacy preservation and bias elimination to quality and feasibility of annotation. Generating human-centered synthetic data is a particular challenge in terms of…
▽ More
Recent work has shown the benefits of synthetic data for use in computer vision, with applications ranging from autonomous driving to face landmark detection and reconstruction. There are a number of benefits of using synthetic data from privacy preservation and bias elimination to quality and feasibility of annotation. Generating human-centered synthetic data is a particular challenge in terms of realism and domain-gap, though recent work has shown that effective machine learning models can be trained using synthetic face data alone. We show that this can be extended to include the full body by building on the pipeline of Wood et al. to generate synthetic images of humans in their entirety, with ground-truth annotations for computer vision applications.
In this report we describe how we construct a parametric model of the face and body, including articulated hands; our rendering pipeline to generate realistic images of humans based on this body model; an approach for training DNNs to regress a dense set of landmarks covering the entire body; and a method for fitting our body model to dense landmarks predicted from multiple views.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
Mesh-Tension Driven Expression-Based Wrinkles for Synthetic Faces
Authors:
Chirag Raman,
Charlie Hewitt,
Erroll Wood,
Tadas Baltrusaitis
Abstract:
Recent advances in synthesizing realistic faces have shown that synthetic training data can replace real data for various face-related computer vision tasks. A question arises: how important is realism? Is the pursuit of photorealism excessive? In this work, we show otherwise. We boost the realism of our synthetic faces by introducing dynamic skin wrinkles in response to facial expressions and obs…
▽ More
Recent advances in synthesizing realistic faces have shown that synthetic training data can replace real data for various face-related computer vision tasks. A question arises: how important is realism? Is the pursuit of photorealism excessive? In this work, we show otherwise. We boost the realism of our synthetic faces by introducing dynamic skin wrinkles in response to facial expressions and observe significant performance improvements in downstream computer vision tasks. Previous approaches for producing such wrinkles either required prohibitive artist effort to scale across identities and expressions or were not capable of reconstructing high-frequency skin details with sufficient fidelity. Our key contribution is an approach that produces realistic wrinkles across a large and diverse population of digital humans. Concretely, we formalize the concept of mesh-tension and use it to aggregate possible wrinkles from high-quality expression scans into albedo and displacement texture maps. At synthesis, we use these maps to produce wrinkles even for expressions not represented in the source scans. Additionally, to provide a more nuanced indicator of model performance under deformations resulting from compressed expressions, we introduce the 300W-winks evaluation subset and the Pexels dataset of closed eyes and winks.
△ Less
Submitted 11 October, 2022; v1 submitted 5 October, 2022;
originally announced October 2022.
-
DigiFace-1M: 1 Million Digital Face Images for Face Recognition
Authors:
Gwangbin Bae,
Martin de La Gorce,
Tadas Baltrusaitis,
Charlie Hewitt,
Dong Chen,
Julien Valentin,
Roberto Cipolla,
**g**g Shen
Abstract:
State-of-the-art face recognition models show impressive accuracy, achieving over 99.8% on Labeled Faces in the Wild (LFW) dataset. Such models are trained on large-scale datasets that contain millions of real human face images collected from the internet. Web-crawled face images are severely biased (in terms of race, lighting, make-up, etc) and often contain label noise. More importantly, the fac…
▽ More
State-of-the-art face recognition models show impressive accuracy, achieving over 99.8% on Labeled Faces in the Wild (LFW) dataset. Such models are trained on large-scale datasets that contain millions of real human face images collected from the internet. Web-crawled face images are severely biased (in terms of race, lighting, make-up, etc) and often contain label noise. More importantly, the face images are collected without explicit consent, raising ethical concerns. To avoid such problems, we introduce a large-scale synthetic dataset for face recognition, obtained by rendering digital faces using a computer graphics pipeline. We first demonstrate that aggressive data augmentation can significantly reduce the synthetic-to-real domain gap. Having full control over the rendering pipeline, we also study how each attribute (e.g., variation in facial pose, accessories and textures) affects the accuracy. Compared to SynFace, a recent method trained on GAN-generated synthetic faces, we reduce the error rate on LFW by 52.5% (accuracy from 91.93% to 96.17%). By fine-tuning the network on a smaller number of real face images that could reasonably be obtained with consent, we achieve accuracy that is comparable to the methods trained on millions of real face images.
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
3D face reconstruction with dense landmarks
Authors:
Erroll Wood,
Tadas Baltrusaitis,
Charlie Hewitt,
Matthew Johnson,
**g**g Shen,
Nikola Milosavljevic,
Daniel Wilde,
Stephan Garbin,
Chirag Raman,
Jamie Shotton,
Toby Sharp,
Ivan Stojiljkovic,
Tom Cashman,
Julien Valentin
Abstract:
Landmarks often play a key role in face analysis, but many aspects of identity or expression cannot be represented by sparse landmarks alone. Thus, in order to reconstruct faces more accurately, landmarks are often combined with additional signals like depth images or techniques like differentiable rendering. Can we keep things simple by just using more landmarks? In answer, we present the first m…
▽ More
Landmarks often play a key role in face analysis, but many aspects of identity or expression cannot be represented by sparse landmarks alone. Thus, in order to reconstruct faces more accurately, landmarks are often combined with additional signals like depth images or techniques like differentiable rendering. Can we keep things simple by just using more landmarks? In answer, we present the first method that accurately predicts 10x as many landmarks as usual, covering the whole head, including the eyes and teeth. This is accomplished using synthetic training data, which guarantees perfect landmark annotations. By fitting a morphable model to these dense landmarks, we achieve state-of-the-art results for monocular 3D face reconstruction in the wild. We show that dense landmarks are an ideal signal for integrating face shape information across frames by demonstrating accurate and expressive facial performance capture in both monocular and multi-view scenarios. This approach is also highly efficient: we can predict dense landmarks and fit our 3D face model at over 150FPS on a single CPU thread. Please see our website: https://microsoft.github.io/DenseLandmarks/.
△ Less
Submitted 20 July, 2022; v1 submitted 6 April, 2022;
originally announced April 2022.
-
Fake It Till You Make It: Face analysis in the wild using synthetic data alone
Authors:
Erroll Wood,
Tadas Baltrušaitis,
Charlie Hewitt,
Sebastian Dziadzio,
Matthew Johnson,
Virginia Estellers,
Thomas J. Cashman,
Jamie Shotton
Abstract:
We demonstrate that it is possible to perform face-related computer vision in the wild using synthetic data alone. The community has long enjoyed the benefits of synthesizing training data with graphics, but the domain gap between real and synthetic data has remained a problem, especially for human faces. Researchers have tried to bridge this gap with data mixing, domain adaptation, and domain-adv…
▽ More
We demonstrate that it is possible to perform face-related computer vision in the wild using synthetic data alone. The community has long enjoyed the benefits of synthesizing training data with graphics, but the domain gap between real and synthetic data has remained a problem, especially for human faces. Researchers have tried to bridge this gap with data mixing, domain adaptation, and domain-adversarial training, but we show that it is possible to synthesize data with minimal domain gap, so that models trained on synthetic data generalize to real in-the-wild datasets. We describe how to combine a procedurally-generated parametric 3D face model with a comprehensive library of hand-crafted assets to render training images with unprecedented realism and diversity. We train machine learning systems for face-related tasks such as landmark localization and face parsing, showing that synthetic data can both match real data in accuracy as well as open up new approaches where manual labelling would be impossible.
△ Less
Submitted 5 October, 2021; v1 submitted 30 September, 2021;
originally announced September 2021.
-
A high fidelity synthetic face framework for computer vision
Authors:
Tadas Baltrusaitis,
Erroll Wood,
Virginia Estellers,
Charlie Hewitt,
Sebastian Dziadzio,
Marek Kowalski,
Matthew Johnson,
Thomas J. Cashman,
Jamie Shotton
Abstract:
Analysis of faces is one of the core applications of computer vision, with tasks ranging from landmark alignment, head pose estimation, expression recognition, and face recognition among others. However, building reliable methods requires time-consuming data collection and often even more time-consuming manual annotation, which can be unreliable. In our work we propose synthesizing such facial dat…
▽ More
Analysis of faces is one of the core applications of computer vision, with tasks ranging from landmark alignment, head pose estimation, expression recognition, and face recognition among others. However, building reliable methods requires time-consuming data collection and often even more time-consuming manual annotation, which can be unreliable. In our work we propose synthesizing such facial data, including ground truth annotations that would be almost impossible to acquire through manual annotation at the consistency and scale possible through use of synthetic data. We use a parametric face model together with hand crafted assets which enable us to generate training data with unprecedented quality and diversity (varying shape, texture, expression, pose, lighting, and hair).
△ Less
Submitted 16 July, 2020;
originally announced July 2020.
-
Shape-only Features for Plant Leaf Identification
Authors:
Charlie Hewitt,
Marwa Mahmoud
Abstract:
This paper presents a novel feature set for shape-only leaf identification motivated by real-world, mobile deployment. The feature set includes basic shape features, as well as signal features extracted from local area integral invariants (LAIIs), similar to curvature maps, at multiple scales. The proposed methodology is evaluated on a number of publicly available leaf datasets with comparable res…
▽ More
This paper presents a novel feature set for shape-only leaf identification motivated by real-world, mobile deployment. The feature set includes basic shape features, as well as signal features extracted from local area integral invariants (LAIIs), similar to curvature maps, at multiple scales. The proposed methodology is evaluated on a number of publicly available leaf datasets with comparable results to existing methods which make use of colour and texture features in addition to shape. Over 90% classification accuracy is achieved on most datasets, with top-four accuracy for these datasets reaching over 98%. Rotation and scale invariance of the proposed features are demonstrated, along with an evaluation of the generalisability of the approach for generic shape matching.
△ Less
Submitted 20 November, 2018;
originally announced November 2018.
-
CNN-based Facial Affect Analysis on Mobile Devices
Authors:
Charlie Hewitt,
Hatice Gunes
Abstract:
This paper focuses on the design, deployment and evaluation of Convolutional Neural Network (CNN) architectures for facial affect analysis on mobile devices. Unlike traditional CNN approaches, models deployed to mobile devices must minimise storage requirements while retaining high performance. We therefore propose three variants of established CNN architectures and comparatively evaluate them on…
▽ More
This paper focuses on the design, deployment and evaluation of Convolutional Neural Network (CNN) architectures for facial affect analysis on mobile devices. Unlike traditional CNN approaches, models deployed to mobile devices must minimise storage requirements while retaining high performance. We therefore propose three variants of established CNN architectures and comparatively evaluate them on a large, in-the-wild benchmark dataset of facial images. Our results show that the proposed architectures retain similar performance to the dataset baseline while minimising storage requirements: achieving 58% accuracy for eight-class emotion classification and average RMSE of 0.39 for valence/arousal prediction. To demonstrate the feasibility of deploying these models for real-world applications, we implement a music recommendation interface based on predicted user affect. Although the CNN models were not trained in the context of music recommendation, our case study shows that: (i) the trained models achieve similar prediction performance to the benchmark dataset, and (ii) users tend to positively rate the song recommendations provided by the interface. Average runtime of the deployed models on an iPhone 6S equates to ~45 fps, suggesting that the proposed architectures are also well suited for real-time deployment on video streams.
△ Less
Submitted 23 July, 2018;
originally announced July 2018.
-
ActorScript(TM) extension of C sharp (TM), Java(TM), and Objective C(TM): iAdaptive(TM) concurrency for antiCloud(TM) privacy and security
Authors:
Carl Hewitt
Abstract:
ActorScript(TM) is a general purpose programming language for implementing discretionary, adaptive concurrency that manages resources and demand.
It is differentiated from previous languages by the following:
- Universality
*** Ability to specify what Actors can do
*** Specify interface between hardware and software
*** Everything in the language is accomplished using message passing inc…
▽ More
ActorScript(TM) is a general purpose programming language for implementing discretionary, adaptive concurrency that manages resources and demand.
It is differentiated from previous languages by the following:
- Universality
*** Ability to specify what Actors can do
*** Specify interface between hardware and software
*** Everything in the language is accomplished using message passing including the very definition of ActorScript itself
*** Functional, Imperative, Logic, and Concurrent programming are integrated.
*** Concurrency dynamically adapts to resources available and current load.
*** Programs do not expose low-level implementation mechanisms such as threads, tasks, locks, cores, etc.
*** Messages can be directly communicated without requiring indirection through brokers, channels, class hierarchies, mailboxes, pipes, ports, queues etc.
*** Variable races are eliminated.
*** Binary XML and JSON are data types.
*** Application binary interfaces are afforded so that no identifier symbol need be looked up at runtime.
- Safety and Security
*** Programs are extension invariant, i.e., extending a program does not change its meaning.
*** Applications cannot directly harm each other.
- Performance
*** Impose no overhead on implementation of Actor systems
*** Message passing has essentially same overhead as procedure calling and loo**.
*** Allow execution to be dynamically adjusted for system load and capacity (e.g. cores)
*** Locality because execution is not bound by a sequential global memory model
*** Inherent concurrency because execution is not bound by communicating sequential processes
*** Minimize latency along critical paths
△ Less
Submitted 4 March, 2015; v1 submitted 16 August, 2010;
originally announced August 2010.
-
Actor Model of Computation: Scalable Robust Information Systems
Authors:
Carl Hewitt
Abstract:
The Actor model is a mathematical theory that treats "Actors" as the universal primitives of concurrent digital computation. The model has been used both as a framework for a theoretical understanding of concurrency, and as the theoretical basis for several practical implementations of concurrent systems. Unlike previous models of computation, the Actor model was inspired by physical laws. It was…
▽ More
The Actor model is a mathematical theory that treats "Actors" as the universal primitives of concurrent digital computation. The model has been used both as a framework for a theoretical understanding of concurrency, and as the theoretical basis for several practical implementations of concurrent systems. Unlike previous models of computation, the Actor model was inspired by physical laws. It was also influenced by the programming languages Lisp, Simula 67 and Smalltalk-72, as well as ideas for Petri Nets, capability-based systems and packet switching. The advent of massive concurrency through client-cloud computing and many-core computer architectures has galvanized interest in the Actor model.
Actor technology will see significant application for integrating all kinds of digital information for individuals, groups, and organizations so their information usefully links together. Information integration needs to make use of the following information system principles:
* Persistence. Information is collected and indexed.
* Concurrency: Work proceeds interactively and concurrently, overlap** in time.
* Quasi-commutativity: Information can be used regardless of whether it initiates new work or become relevant to ongoing work.
* Sponsorship: Sponsors provide resources for computation, i.e., processing, storage, and communications.
* Pluralism: Information is heterogeneous, overlap** and often inconsistent.
* Provenance: The provenance of information is carefully tracked and recorded
The Actor Model is intended to provide a foundation for inconsistency robust information integration
△ Less
Submitted 21 January, 2015; v1 submitted 9 August, 2010;
originally announced August 2010.
-
Inconsistency Robustness in Foundations: Mathematics self proves its own Consistency and Other Matters
Authors:
Carl Hewitt
Abstract:
Inconsistency Robustness is performance of information systems with pervasively inconsistent information. Inconsistency Robustness of the community of professional mathematicians is their performance repeatedly repairing contradictions over the centuries. In the Inconsistency Robustness paradigm, deriving contradictions have been a progressive development and not "game stoppers." Contradictions ca…
▽ More
Inconsistency Robustness is performance of information systems with pervasively inconsistent information. Inconsistency Robustness of the community of professional mathematicians is their performance repeatedly repairing contradictions over the centuries. In the Inconsistency Robustness paradigm, deriving contradictions have been a progressive development and not "game stoppers." Contradictions can be helpful instead of being something to be "swept under the rug" by denying their existence, which has been repeatedly attempted by Establishment Philosophers (beginning with some Pythagoreans). Such denial has delayed mathematical development. This article reports how considerations of Inconsistency Robustness have recently influenced the foundations of mathematics for Computer Science continuing a tradition develo** the sociological basis for foundations.
The current common understanding is that Gödel proved "Mathematics cannot prove its own consistency, if it is consistent." However, the consistency of mathematics is proved by a simple argument in this article. Consequently, the current common understanding that Gödel proved "Mathematics cannot prove its own consistency, if it is consistent" is inaccurate.
Wittgenstein long ago showed that contradiction in mathematics results from the kind of "self-referential" sentence that Gödel used in his argument that mathematics cannot prove its own consistency. However, using a typed grammar for mathematical sentences, it can be proved that the kind "self-referential" sentence that Gödel used in his argument cannot be constructed because required the fixed point that Gödel used to the construct the "self-referential" sentence does not exist. In this way, consistency of mathematics is preserved without giving up power.
△ Less
Submitted 17 February, 2015; v1 submitted 19 July, 2009;
originally announced July 2009.
-
Norms and Commitment for iOrgs(TM) Information Systems: Direct Logic(TM) and Participatory Grounding Checking
Authors:
Carl Hewitt
Abstract:
The fundamental assumption of the Event Calculus is overly simplistic when it comes to organizations in which time-varying properties have to be actively maintained and managed in order to continue to hold and termination by another action is not required for a property to no longer hold. I.e., if active measures are not taken then things will go haywire by default. Similarly extension and revisio…
▽ More
The fundamental assumption of the Event Calculus is overly simplistic when it comes to organizations in which time-varying properties have to be actively maintained and managed in order to continue to hold and termination by another action is not required for a property to no longer hold. I.e., if active measures are not taken then things will go haywire by default. Similarly extension and revision is required for Grounding Checking properties of systems based on a set of ground inferences. Previously Model Checking as been performed using the model of nondeterministic automata based on states determined by time-points. These nondeterministic automata are not suitable for iOrgs, which are highly structured and operate asynchronously with only loosely bounded nondeterminism. iOrgs Information Systems have been developed as a technology in which organizations have people that are tightly integrated with information technology that enables them to function organizationally. iOrgs formalize existing practices to provide a framework for addressing issues of authority, accountability, scalability, and robustness using methods that are analogous to human organizations. In general
-iOrgs are a natural extension Web Services, which are the standard for distributed computing and software application interoperability in large-scale Organizational Computing.
-iOrgs are structured by Organizational Commitment that is a special case of Physical Commitment that is defined to be information pledged.
iOrgs norms are used to illustrate the following:
-Even a very simple microtheory for normative reasoning can engender inconsistency In practice, it is impossible to verify the consistency of a theory for a practical domain. -Improved Safety in Reasoning. It is not safe to use classical logic and probability theory in practical reasoning.
△ Less
Submitted 6 November, 2010; v1 submitted 15 June, 2009;
originally announced June 2009.
-
Inconsistency Robustness in Logic Programs
Authors:
Carl Hewitt
Abstract:
Inconsistency robustness is "information system performance in the face of continually pervasive inconsistencies." A fundamental principle of Inconsistency Robustness is to make contradictions explicit so that arguments for and against propositions can be formalized. This paper explores the role of Inconsistency Robustness in the history and theory of Logic Programs.
Robert Kowalski put forward…
▽ More
Inconsistency robustness is "information system performance in the face of continually pervasive inconsistencies." A fundamental principle of Inconsistency Robustness is to make contradictions explicit so that arguments for and against propositions can be formalized. This paper explores the role of Inconsistency Robustness in the history and theory of Logic Programs.
Robert Kowalski put forward a bold thesis: "Looking back on our early discoveries, I value most the discovery that computation could be subsumed by deduction." However, mathematical logic cannot always infer computational steps because computational systems make use of arbitration for determining which message is processed next by a recipient that is sent multiple messages concurrently. Since reception orders are in general indeterminate, they cannot be inferred from prior information by mathematical logic alone. Therefore mathematical logic cannot in general implement computation.
Over the course of history, the term "Functional Program" has grown more precise and technical as the field has matured. "Logic Program" should be on a similar trajectory. Accordingly, "Logic Program" should have a general precise characterization. In the fall of 1972, different characterizations of Logic Programs that have continued to this day:
* A Logic Program uses Horn-Clause syntax for forward and backward chaining
* Each computational step (according to Actor Model) of a Logic Program is deductively inferred (e.g. in Direct Logic).
The above examples are illustrative of how issues of inconsistency robustness have repeatedly arisen in Logic Programs.
△ Less
Submitted 2 March, 2015; v1 submitted 20 April, 2009;
originally announced April 2009.
-
A historical perspective on develo** foundations iInfo(TM) information systems: iConsult(TM) and iEntertain(TM) apps using iDescribers(TM) information integration for iOrgs(TM) information systems
Authors:
Carl Hewitt
Abstract:
Technology now at hand can integrate all kinds of digital information for individuals, groups, and organizations so their information usefully links together. iInfo(TM) information integration works by making connections including examples like the following:
- A statistical connection between "being in a traffic jam" and "driving in downtown Trenton between 5PM and 6PM on a weekday."
- A term…
▽ More
Technology now at hand can integrate all kinds of digital information for individuals, groups, and organizations so their information usefully links together. iInfo(TM) information integration works by making connections including examples like the following:
- A statistical connection between "being in a traffic jam" and "driving in downtown Trenton between 5PM and 6PM on a weekday."
- A terminological connection between "MSR" and "Microsoft Research."
- A causal connection between "joining a group" and "being a member of the group."
- A syntactic connection between "a pin dropped" and "a dropped pin."
- A biological connection between "a dolphin" and "a mammal".
- A demographic connection between "undocumented residents of California" and "7% of the population of California."
- A geographical connection between "Leeds" and "England."
- A temporal connection between "turning on a computer" and "joining an on-line discussion."
By making these connections, iInfo offers tremendous value for individuals, families, groups, and organizations in making more effective use of information technology.
In practice, integrated information is invariably pervasively inconsistent. Therefore iInfo must be able to make connections even in the face of inconsistency. The business of iInfo is not to make difficult decisions like deciding the ultimate truth or probability of propositions. Instead it provides means for processing information and carefully recording its provenance including arguments (including arguments about arguments) for and against propositions that is used by iConsult(TM) and iEntertain(TM) apps in iOrgs(TM) Information Systems.
A historical perspective on the above questions is highly pertinent to the current quest to develop foundations for privacy-friendly client-cloud computing.
△ Less
Submitted 4 October, 2010; v1 submitted 30 January, 2009;
originally announced January 2009.
-
Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model
Authors:
Carl Hewitt
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…
▽ More
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.
△ Less
Submitted 2 March, 2015; v1 submitted 28 December, 2008;
originally announced December 2008.
