Logic of agreement: Foundations, semantic system and proof theory

DOI10.1016/S0888-613X(00)88943-4MaRDI QIDQ1818006zbMATH OpenOpenAlexFDO

Authors Luis M. M. Custódio, Carlos Pinto-Ferreira

Publication date 13 June 2000

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0888-613x(00)88943-4

zbMATH Keywords

agreement among agentsapproximate reasoningcommonsense knowledgefuzzy logiclogic of agreementmulti-valued propositional logicsemanticsuncertaintyvagueness

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Multiple agent possibilistic logic
• Approximate reasoning in several logic systems
• Multi-agent fuzzy probability belief logic
• scientific article; zbMATH DE number 475533
• The concept of grade of membership

Cites work

• A model for belief revision
• Fuzzy sets
• Fuzzy sets and systems. Theory and applications
• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• scientific article; zbMATH DE number 1865733 (Why is no real title available?)
• scientific article; zbMATH DE number 3254863 (Why is no real title available?)
• scientific article; zbMATH DE number 3076631 (Why is no real title available?)
• Knowledge in flux. Modeling the dynamics of epistemic states
• Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
• Weighted minimum and maximum operations in fuzzy set theory

Cited in

(4)

• Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
• Self-enforcing Agreements and Forward Induction Reasoning
• Formal semantics for mutual belief
• Agreement theorems in dynamic-epistemic logic

This page was built for publication: Logic of agreement: Foundations, semantic system and proof theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1818006)