scientific article; zbMATH DE number 19156
[For the entire collection see Zbl 0734.00013.] This paper is a survey of the results in perception logic, which is a special kind of approximation logic. Its idea is to describe the situation when agents may have various and incomplete information about some facts. Perception logic of the type \({\mathbf T}=(T,\leq)\) is formulated in the language of first-order predicate logic extended by special perception connectives \(d_ t\). Interpretation of this language is suitably modified depending on the ordering relation \(\leq\) in the set of cooperating agents \(T\). Perception logic is well formally established. A Gentzen style mechanical proof system for tautologies is developed and a part of the completeness theorem of this system is presented. Furthermore, a resolution theorem proving system is also developed. Section 4 deals with logic for reasoning about knowledge. This means that the above language is extended by knowledge operators and an indiscernibility relation \(\text{ind}_ t\) is introduced, where \(\text{ind}_ t(u_ 1,y_ 2)\) means that \(u_ 1\) and \(u_ 2\) are not distinguishable by an agent \(t\in T\). The satisfiability of a formula is introduced and a completeness theorem for such a system is presented. The last section is devoted to the relation between perception and fuzzy logics. A special kind of the latter, called \(LT\)-fuzzy logic, is introduced and the equivalence between this logic and perception logic of type \((T,\leq)\) is presented. The paper is finished by the completeness theorem for \(LT\)-fuzzy logic. All theorems are presented without proofs that can be found in the cited literature.
- Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
- Axiomatization and completeness of uncountably valued approximation logic
- Heyting algebras with Boolean operators for rough sets and information retrieval applications
- Approximations of modal logics: K and beyond
- Multiple granulation rough set approach to ordered information systems
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
- scientific article; zbMATH DE number 3871315 (Why is no real title available?)
- Towards Approximate BGI Systems
- scientific article; zbMATH DE number 4047069 (Why is no real title available?)
- scientific article; zbMATH DE number 1523418 (Why is no real title available?)
- Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3976584)
