40,601 research outputs found

    Modeling argumentation with labeled deduction: formalization and theoretical considerations

    Get PDF
    In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a Ā°exible methodology to formalize such a kind of complex logical systems. During the last decade defeasible argumentation has proven to be a conĀ°uence point for many approaches to formalizing commonsense reasoning. DiĀ®erent formalisms have been developed, many of them sharing common features. This paper summarizes the most relevant features of LDSar, a logical framework for defeasible argumentation based on LDS. We present a syntactic characterization of the framework, and discuss some emerging properties. We also show how diĀ®erent existing argumentation frameworks are subsumed in LDSarEje: InformĆ”tica teĆ³ricaRed de Universidades con Carreras en InformĆ”tica (RedUNCI

    The role of labelled deductive systems in a formal system for defeasible argumentation

    Get PDF
    There has been an increasing demand of a variety of logical systems, prompted by applications of logic in Al, logic prograrnming and other related areas. Labelled Deductive Systems (LDS) [Gab96] were developed as a flexible methodology to formalize such a kind of complex logical systems. In the last decade, defeasible argumentation [SL92, PV99, Ver96, BDKT97] has proven to be a confluence point for many approaches to formalizing commonsense reasoning. Different formalisms have been developed, many of them sharing cornmon fe atures. This paper outlines an argumentative LDS, in which the main issues concerning defeasible argumentation are captured within a unified logical framework. The proposed framework is defined in two stages. First, defeasible inference will be formalized by characterizing a defeasible LDS. That system wiU be then extended in order to obtain an argumentative LDS.Eje: Aspectos teĆ³ricos de la inteligencia artificialRed de Universidades con Carreras en InformĆ”tica (RedUNCI

    Modeling argumentation with labeled deduction: formalization and theoretical considerations

    Get PDF
    In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a Ā°exible methodology to formalize such a kind of complex logical systems. During the last decade defeasible argumentation has proven to be a conĀ°uence point for many approaches to formalizing commonsense reasoning. DiĀ®erent formalisms have been developed, many of them sharing common features. This paper summarizes the most relevant features of LDSar, a logical framework for defeasible argumentation based on LDS. We present a syntactic characterization of the framework, and discuss some emerging properties. We also show how diĀ®erent existing argumentation frameworks are subsumed in LDSarEje: InformĆ”tica teĆ³ricaRed de Universidades con Carreras en InformĆ”tica (RedUNCI

    The role of labelled deductive systems in a formal system for defeasible argumentation

    Get PDF
    There has been an increasing demand of a variety of logical systems, prompted by applications of logic in Al, logic prograrnming and other related areas. Labelled Deductive Systems (LDS) [Gab96] were developed as a flexible methodology to formalize such a kind of complex logical systems. In the last decade, defeasible argumentation [SL92, PV99, Ver96, BDKT97] has proven to be a confluence point for many approaches to formalizing commonsense reasoning. Different formalisms have been developed, many of them sharing cornmon fe atures. This paper outlines an argumentative LDS, in which the main issues concerning defeasible argumentation are captured within a unified logical framework. The proposed framework is defined in two stages. First, defeasible inference will be formalized by characterizing a defeasible LDS. That system wiU be then extended in order to obtain an argumentative LDS.Eje: Aspectos teĆ³ricos de la inteligencia artificialRed de Universidades con Carreras en InformĆ”tica (RedUNCI

    A Framework for Combining Defeasible Argumentation with Labeled Deduction

    Full text link
    In the last years, there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI and other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical systems. Defeasible argumentation has proven to be a successful approach to formalizing commonsense reasoning, encompassing many other alternative formalisms for defeasible reasoning. Argument-based frameworks share some common notions (such as the concept of argument, defeater, etc.) along with a number of particular features which make it difficult to compare them with each other from a logical viewpoint. This paper introduces LDSar, a LDS for defeasible argumentation in which many important issues concerning defeasible argumentation are captured within a unified logical framework. We also discuss some logical properties and extensions that emerge from the proposed framework.Comment: 15 pages, presented at CMSRA Workshop 2003. Buenos Aires, Argentin

    A QBF-based Formalization of Abstract Argumentation Semantics

    Get PDF
    Supported by the National Research Fund, Luxembourg (LAAMI project) and by the Engineering and Physical Sciences Research Council (EPSRC, UK), grant ref. EP/J012084/1 (SAsSY project).Peer reviewedPostprin

    Many-valued logics. A mathematical and computational introduction.

    Get PDF
    2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logicā€”as well as other non-classical logicsā€”is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerizeā€”which also means automateā€”decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics
    • ā€¦
    corecore