Nonmonotonic Logics and Semantics

Title: Nonmonotonic Logics and Semantics

Research Question: How can we generalize monotonic logics and semantics to create a framework for nonmonotonic reasoning?

Methodology: The research paper proposes a new semantics for nonmonotonic reasoning that is more general than Shoham's semantics. It uses concepts from the Social Choice community and develops a framework that allows for the definition of preferential operations. This framework is used to study connectives and their introduction-elimination rules, which are common in monotonic logics.

Results: The paper presents a semantics for nonmonotonic reasoning that is closely related to, but generalizes, concepts developed by the Social Choice community. It defines a family of preferential operations and shows that classical propositional connectives can be characterized by natural introduction-elimination rules in a nonmonotonic setting.

Implications: The research has implications for the field of Knowledge Representation and Artificial Intelligence. It provides a new framework for nonmonotonic reasoning that is more general than existing methods. This could lead to advancements in the development of artificial intelligence systems and the understanding of human reasoning processes.

Link to Article: https://arxiv.org/abs/0202018v2 Authors: arXiv ID: 0202018v2