Filters








19 Hits in 5.5 sec

SD2: a sound and complete diagrammatic reasoning system

J. Howse, F. Molina, J. Taylor
Proceeding 2000 IEEE International Symposium on Visual Languages  
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships.  ...  We discuss the soundness of the system and develop a proof strategy for completeness simpler than that adopted by Shin.  ...  and proved the soundness and completeness of the system.  ... 
doi:10.1109/vl.2000.874376 dblp:conf/vl/HowseMT00 fatcat:j5tq4pcxijh6xnku6et3b6poji

On the Completeness and Expressiveness of Spider Diagram Systems [chapter]

John Howse, Fernando Molina, John Taylor
2000 Lecture Notes in Computer Science  
A set of reasoning rules for a spider diagram system is shown to be sound and complete.  ...  Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles.  ...  Our longer term aim is to prove similar results for constraint diagrams, and to provide the necessary mathematical underpinning for the development of software tools to aid the diagrammatic reasoning process  ... 
doi:10.1007/3-540-44590-0_8 fatcat:4wji7m6flfggzdl75nu7aebm5i

A Survey of Reasoning Systems Based on Euler Diagrams

Gem Stapleton
2005 Electronical Notes in Theoretical Computer Science  
Recently much research has been conducted to develop formal, diagrammatic reasoning systems based on Euler diagrams.  ...  Most of these systems extend Euler diagrams by adding further syntax to increase expressiveness. In this paper we survey such systems and draw comparisons between them.  ...  Whilst the Venn-II system is not particularly expressive, Shin does show that diagrammatic notations can be formalized and given sound and complete reasoning rules.  ... 
doi:10.1016/j.entcs.2005.02.022 fatcat:mnf4zv54hvchpkranod5stucdq

Spider Diagrams

John Howse, Gem Stapleton, John Taylor
2005 LMS Journal of Computation and Mathematics  
A number of simple diagrammatic transformation rules are given, and the resulting reasoning system is shown to be sound and complete.  ...  This paper develops a purely diagrammatic reasoning system of "spider diagrams" that builds on Euler, Venn and Peirce diagrams.  ...  In [37] , Sun-Joo Shin gives a cogent summary of this long-standing 'prejudice' against diagrammatic reasoning, before developing two (sound and complete) reasoning systems of Venn diagrams.  ... 
doi:10.1112/s1461157000000942 fatcat:62irnhbq2rfovcsomj7ihyvnd4

A Diagrammatic Inference System with Euler Circles

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
2012 Journal of Logic, Language and Information  
We prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. We also investigate structure of diagrammatic proofs and prove a normalization theorem.  ...  We formalize the unification rule, which plays a central role in Euler diagrammatic reasoning, in a style of natural deduction.  ...  semantics and inference systems are given, and basic logical properties such as soundness, completeness, and decidability are shown.  ... 
doi:10.1007/s10849-012-9160-6 fatcat:dtcmmkqxcvg77f2a7z7ormojsa

Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design [chapter]

Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura
Lecture Notes in Computer Science  
Accordingly, in order to fill this gap, we formalize an Euler diagrammatic inference system and prove the soundness and completeness theorems with respect to a formal set-theoretical semantics.  ...  We further consider, from a proof-theoretical viewpoint, the structure of diagrammatic proofs and manners of their construction. 1 Throughout this paper, we mean by a circle a simple closed curve.  ...  Furthermore, in Based on Venn's and Peirce's work, Sun-Joo Shin [1994] formalized a diagrammatic reasoning system called the Venn-II system.  ... 
doi:10.1007/978-3-540-87730-1_19 fatcat:7md3rkrnkfed5lybyylb2u5usi

Australian Social Policy 2005

Peter Butterworth, Timothy Crosier, Robert V. Breunig, Deborah A. Cobb-Clark, Nancy Marshall, Peter Murphy, Ian Burnley, Graeme Hugo, Habtemariam Tesfaghiorghis, Anne Davies, Carolynne Taylor, Bob Griffiths
2010 Social Science Research Network  
The authors also appreciate the support received from colleagues in the completion of this paper, including the assistance provided by Emily Bell and Rachel Atherden at FaHCSIA and Emma George and Megan  ...  Acknowledgements The authors are grateful for the helpful comments and advice received from Professor Doug Willms at the University of New Brunswick, Canada, and Andrew Whitecross, Helen Moyle and Rob  ...  and thus provides a sound data source that can be used to examine the two indicators of education and early independence.  ... 
doi:10.2139/ssrn.1728996 fatcat:aum3yiezpfamdpw6i76hnitzsa

Managing Assurance Cases in Model Based Software Systems

Sahar Kokaly
2017 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)  
However, as systems undergo evolution for a variety of reasons, including fixing bugs, adding functionality or improving system quality, maintaining assurance cases multiplies the effort.  ...  For companies, compliance is a complex and costly goal to achieve and is often accomplished by producing socalled assurance cases, which demonstrate that the system indeed satisfies the property imposed  ...  The goal would be to develop sound ways to model this interplay and reason about it as systems evolve.  ... 
doi:10.1109/icse-c.2017.44 dblp:conf/icse/Kokaly17 fatcat:bwtpzkmqrzhzpc4jm3lupevgmq

Modular session types for objects

Simon Gay, Nils Gesbert, António Ravara, Vasco Vasconcelos, Davide Sangiorgi
2015 Logical Methods in Computer Science  
We define syntax, operational se-mantics, a sound type system, and a sound and complete type checking algorithm for a small distributed class-based object-oriented language with structural subtyping.  ...  The result is an elegant unification of communication channels and their session types, distributed object-oriented programming, and a form of typestate supporting non-uniform objects, i.e. objects that  ...  Ravara was partially supported the Portuguese Fundação para a Ciência e a Tecnologia FCT (SFRH/BSAB/757/2007), and by the UK EPSRC (EP/F037368/1).  ... 
doi:10.2168/lmcs-11(4:12)2015 fatcat:b7blc53r6fcq3anuu5q33eaa4a

Statistics in Psychology and Education

Henry E. Garrett
1947 American Journal of Psychology  
Let us first represent the positions of the five subgroups diagrammatically on a normal curve as shown in Figure 33 .  ...  (base of the Napierian system of logarithms).  ...  Let Xl be a criterion and X 2 and X3 be two other tests.  ... 
doi:10.2307/1417743 fatcat:ycmehdnwv5aozbsoru5oibj7we

Facilitating computer supported cooperative work with socio-technical self-descriptions

Gabriele Kunau, Technische Universität Dortmund, Technische Universität Dortmund
2006
How can the concept of self-description from newer systems theory be used for improving the co-evolvement of software engineering and organizational change in CSCW-projects?  ...  studies is analyzed; fourth, a finalized methodological concept is derived.  ...  Knowledge representation and reasoning are known to be used for expert systems in a single-user environment (e.g. systems like the historical MYCIN).  ... 
doi:10.17877/de290r-8096 fatcat:44snj3o6onastmbt2jkf7gduua

Foundations of Algebraic Theories and Higher Dimensional Categories [article]

Soichiro Fujii
2019 arXiv   pre-print
A general structure-semantics adjointness result and a double categorical universal property of categories of models are also shown.  ...  We show that the notion of extensive category plays a central role in Batanin and Leinster's definition.  ...  Equational logic is known to be both sound and complete, in the following sense. 1. (Soundness) Let t ≈ n s ∈ T (Σ)×T (Σ). If Σ | E ⊢ t ≈ n s then Σ | E t ≈ n s. 2.  ... 
arXiv:1903.07030v1 fatcat:zsfocnds7zbpvj4fxirq2cfv6u

Re-architecture:lifespan rehabilitation of built heritage - scapus [article]

Pereira Roders, AR (Ana), Post, JM (Jouke), Aguiar, JM (José), Erkelens, PA (Peter)
2007
The design will be based on a complete graphical and photographic observation, also interpreted under metric aspects, of the regulating traces and the proportional systems and it will comprehend a careful  ...  A "diagrammatic layout" 162 might be a good possibility to represent such relation survey.  ... 
doi:10.6100/ir751758 fatcat:3pgc4utzi5davkqhqnsmopcx7e

Management of perceptions of fitness for purpose in the education of mental health nurses

Francis Edward Mitchell
2004
The findings related to knowledge, skills and attributes matched fairly closely with the published literature on the topic, but were of a much more specific and very basic nature.  ...  The findings of the study showed that there exists a specific set of knowledge, skills and attributes which are regarded and agreed by all of the stakeholder groups as being vital to mental health nurses  ...  The recordings were transferred to the computer, and upon playing them back through the computer's sound system, 2 out of 3 of them were very Page -62 clear.  ... 
doi:10.21954/ou.ro.0000fa00 fatcat:4adyltnyvncdbmtqfovglmeahm

ScholarWorks at UMass Boston Graduate Doctoral Dissertations Doctoral Dissertations and Masters Theses Management of Land Use Land Cover Through the Application of Remote Sensing, Geographic Information Systems and Simulation MANAGEMENT OF LAND USE LAND COVER THROUGH THE APPLICATION OF REMOTE SENSING, GEOGRAPHIC INFORMATION SYSTEMS AND SIMULATION A Dissertation Presented

Praveen Jha, Praveen Jha, Michael, Shiaris, Praveen Jha
unpublished
The annual rate of loss of forests (0.41% in MTR and 1.20% in RNP) and loss of water (1.79% in MTR and 1.69% in RNP) during 1990-2004 is a matter of serious concern.  ...  There were 2 broad objectives of the study: the technological objective pertained to the development of state-of-art programs that could serve as Decision Support Systems while finalizing plans and policy  ...  Till the time optimization is reached, the modified sd2 is iteratively used as input, along with sd1 and LULC map 1, to produce the next modified sd2.  ... 
fatcat:wq355wlaazfxbclk6yzv4cik5a
« Previous Showing results 1 — 15 out of 19 results