scholarly journals Use of Logical Models for Proving Operational Termination in General Logics

2016 ◽  
pp. 26-46 ◽  
Author(s):  
Salvador Lucas
Keyword(s):  
Logical Models ◽  
Operational Termination

Text as tautology: an exploration in inference, transitivity, and logical compression

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Andrew Potter
Keyword(s):  
Knowledge Representation ◽  
Propositional Logic ◽  
Research Literature ◽  
Transitive Inference ◽  
Structure Theory ◽  
Rhetorical Structure ◽  
Logical Models ◽  
Logical Operations ◽  
Selection Of

Abstract Rhetorical structure theory (RST) and relational propositions have been shown useful in analyzing texts as expressions in propositional logic. Because these expressions are systematically derived, they may be expected to model discursive reasoning as articulated in the text. If this is the case, it would follow that logical operations performed on the expressions would be reflected in the texts. In this paper the logic of relational propositions is used to demonstrate the applicability of transitive inference to discourse. Starting with a selection of RST analyses from the research literature, analyses of the logic of relational propositions are performed to identify their corresponding logical expressions and within each expression to identify the inference path implicit within the text. By eliminating intermediary relational propositions, transitivity is then used to progressively compress the expression. The resulting compressions are applied to the corresponding texts and their compressed RST analyses. The application of transitive inference to logical expressions results in abridged texts that are intuitively coherent and logically compatible with their originals. This indicates an underlying isomorphism between the inferential structure of logical expressions and discursive coherence, and it confirms that these expressions function as logical models of the text. Potential areas for application include knowledge representation, logic and argumentation, and RST validation.

scholarly journals Identification of Biologically Essential Nodes via Determinative Power in Logical Models of Cellular Processes

2018 ◽  
Vol 9 ◽  
Author(s):  
Trevor Pentzien ◽  
Bhanwar L. Puniya ◽  
Tomáš Helikar ◽  
Mihaela T. Matache
Keyword(s):  
Logical Models ◽  
Cellular Processes

The Use of Logical Models in Legal Problem Solving

Ratio Juris ◽  
1990 ◽  
Vol 3 (2) ◽  
pp. 201-218 ◽  
Author(s):  
ROBERT KOWALSKI ◽  
MAREK SERGOT
Keyword(s):  
Problem Solving ◽  
Legal Problem ◽  
Logical Models

scholarly journals Audit of Program and Target Management Efficiency of Regional Development on the Basis of Fuzzy Logical Models

2018 ◽  
Vol 9 (4) ◽  
pp. 050-062
Author(s):  
Natalia V. Bryukhanova ◽  
◽  
Vasiliy Y. Boev ◽  
Mikhail A. Kerapyan ◽  
◽  
...  
Keyword(s):  
Regional Development ◽  
Logical Models ◽  
Management Efficiency ◽  
Target Management ◽  
Fuzzy Logical

scholarly journals Estimating Attractor Reachability in Asynchronous Logical Models

2018 ◽  
Vol 9 ◽  
Author(s):  
Nuno D. Mendes ◽  
Rui Henriques ◽  
Elisabeth Remy ◽  
Jorge Carneiro ◽  
Pedro T. Monteiro ◽  
...  
Keyword(s):  
Logical Models

Quality Evaluation for Evolving Conceptual Database Design

2018 ◽  
pp. 2020-2030
Author(s):  
Elvira Immacolata Locuratolo
Keyword(s):  
Quality Evaluation ◽  
Database Design ◽  
Logical Object ◽  
New Approach ◽  
Computational Costs ◽  
Logical Models ◽  
Object Database ◽  
Conceptual Graph

The article is concerned with the proposal of a new approach of conceptual database design, called evolving conceptual database design, which exploits the structure for the preservation of database classes/concepts within the design. In order to discuss the opportunity to take into consideration this approach, the structure is constructed starting from a database conceptual graph. The leaves of the structure are mapped to a logical/object database graph. Horizontal steps of constructive logical database design extend the model. The computational costs required to design the structure for the preservation of database classes/concepts, as well as the qualitative/conceptual costs of the logical models resulting from the constructive design, are discussed.

Sign in / Sign up

Export Citation Format

Share Document