Structure Formation in Large Theories

05/07/2015
by   Serge Autexier, et al.
0

Structuring theories is one of the main approaches to reduce the combinatorial explosion associated with reasoning and exploring large theories. In the past we developed the notion of development graphs as a means to represent and maintain structured theories. In this paper we present a methodology and a resulting implementation to reveal the hidden structure of flat theories by transforming them into detailed development graphs. We review our approach using plain TSTP-representations of MIZAR articles obtaining more structured and also more concise theories.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

03/25/2019

Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support

The area of formal ethics is experiencing a shift from a unique or stand...
06/30/2020

Algebraic models of simple type theories: a polynomial approach

We develop algebraic models of simple type theories, laying out a framew...
05/07/2014

Structured Learning Modulo Theories

Modelling problems containing a mixture of Boolean and numerical variabl...
11/12/2017

On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories

In manufacturing, the increasing involvement of autonomous robots in pro...
10/08/2017

Annotating High-Level Structures of Short Stories and Personal Anecdotes

Stories are a vital form of communication in human culture; they are emp...
07/08/2021

Degrees of riskiness, falsifiability, and truthlikeness. A neo-Popperian account applicable to probabilistic theories

In this paper, we take a fresh look at three Popperian concepts: riskine...
06/15/2017

On the enumeration of sentences by compactness

Presented is a Julia meta-program that discovers compact theories from d...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.