DocumentCode
1955775
Title
A logic framework with algebraic extension
Author
Cheng, Xiaochun ; Ouyang, Dantong ; Zhang, Chengqi
Author_Institution
Dept. of Comput. Sci., Reading Univ., UK
fYear
2003
fDate
16-19 June 2003
Firstpage
633
Lastpage
638
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology Interfaces, 2003. ITI 2003. Proceedings of the 25th International Conference on
ISSN
1330-1012
Print_ISBN
953-96769-6-7
Type
conf
DOI
10.1109/ITI.2003.1225414
Filename
1225414
Link To Document