Title :
A logic framework with algebraic extension
Author :
Cheng, Xiaochun ; Ouyang, Dantong ; Zhang, Chengqi
Author_Institution :
Dept. of Comput. Sci., Reading Univ., UK
Abstract :
We propose a many-sorted general framework to incorporate algebraic computation with logical reasoning, which equally encompasses following systems as special cases: lattice-valued fuzzy logic, operator fuzzy logic, operator fuzzy logic for belief, operator fuzzy logic for argumentation, fuzzy logic, probabilistic logic, annotated logic, language of signed formulas, autoepistemic logic.
Keywords :
formal languages; fuzzy logic; inference mechanisms; probabilistic logic; process algebra; algebraic computation; annotated logic; autoepistemic logic; lattice-valued fuzzy logic; logical reasoning; operator fuzzy logic; probabilistic logic; signed formula language; Algebra; Australia Council; Computer science; Fuzzy logic; Fuzzy sets; Information analysis; Information technology; Lattices; Logic functions; Probabilistic logic;
Conference_Titel :
Information Technology Interfaces, 2003. ITI 2003. Proceedings of the 25th International Conference on
Print_ISBN :
953-96769-6-7
DOI :
10.1109/ITI.2003.1225414