Schematizing Proofs Based on Flow of Truth Values in Logic

2016

ijarai

Self Cite

Abstract-In logic, representation of a domain (e.g., physical reality) comprises the things its expressions (formulas) refer to and their relationships. Recent research has examined the realm of nonsymbolic representations, especially diagrams. It is claimed that, in general, diagrams have advantages over linguistic descriptions. Current diagrammatic representations of logic formulas do not completely depict their underlying semantics, and they lack a basic static structure that incorporates elementary dynamic features, creating a conceptual gap that can lead to misinterpretation. This paper demonstrates a methodology for mapping the sense of a logic formula and producing diagrams that integrate linguistic conception, truthvalues, and meaning and can be used in teaching, communication, and understanding, especially with students specializing in logic representation and reasoning.

Section: Fm As a Logic Languagementioning

confidence: 99%

Flowcharting the Meaning of Logic Formulas

2016

ijarai

Self Cite

“…Creating the filled cup and releasing it trigger waiting time (9) to pick up the cup and display that (10). If the person takes out the filled cup (11), this triggers displaying -ready‖ and triggers (12) the flow of coffee to the person (13).…”

Section:  Triggering the Time Counter (4)mentioning

confidence: 99%

“…A great deal of attention has focused on this, such as interest in the unified modeling language with its graphical notation, which is used for documentation, communication, and requirement capture, as well as being an abstraction base for implementation details. This paper explores the potential of the flow-based modeling [7][8][9][10][11][12] in expressing design requirements in real-time systems that include time constraints and synchronization. This paper focuses on the representation of timing constraints.…”

Section: Introductionmentioning

confidence: 99%

Flow-Based Specification of Time Design Requirements

2015

ijacsa

Self Cite

Abstract-This paper focuses on design requirements in realtime systems where information is processed to produce a response within a specified time. Nowadays, computer control applications embedded in chips have grown in significance in many aspects of human life. These systems need a high level of reliability to gain the trust of users. Ensuring correctness in the early stages of the design process is especially a major challenge in these systems. Faulty requirements lead to errors in the final product that have to be fixed later, often at a high cost. A crucial step in this process is modeling the intended system. This paper explores the potential of flow-based modeling in expressing design requirements in real-time systems that include time constraints and synchronization. The main emphasized problem is how to represent time. The objective is to assist real-time system requirement engineers, in an early state of the development, to express the timing behavior of the developed system. Several known examples are modeled and the results point to the viability of the flow-based representation in comparison with such time specifications as state-based and linebased modeling.

“…The description can provide illustrations and models that might help in facilitating understanding of the MP-based reasoning process. The approach utilizes a diagrammatic apparatus called the Flowthing Model that, for the sake of completeness, will be briefly described in the next section [11][12][13][14][15].…”

Section: Background Of Modus Ponensmentioning

confidence: 99%

Diagrammatic Representation as a Tool for Clarifying Logical Arguments

2015

ijarai

Self Cite

Abstract-Knowledge representation of reasoning processes is a central notion in the field of artificial intelligence, especially for knowledge-based agents, because such representation facilitates knowledge of action outcomes necessary for optimum performance by problem-solving agents in complex situations. Logic is the primary vehicle by which knowledge is represented in knowledge-based agents. It involves logical inference that produces answers from what is known based on this inference mechanism. Modus Ponens is the best-known rule of inference that is sound. Recently, a dispute has arisen regarding attempts to show that modus ponens is not a valid form of inference. Part of the cause of the controversy is miscommunication of the involved problem. This paper proposes a diagrammatic representation of modus ponens with the hope that such a representation will serve to clarify the issue. The advantage of this diagrammatic representation is a better understanding of the reasoning process behind this inference rule.