A logic framework with algebraic extension

Cheng, X; Ouyang, D; Zhang, C

A logic framework with algebraic extension

Cheng, X Ouyang, D Zhang, C

Permalink

Publication Type:: Conference Proceeding
Citation:: Proceedings of the International Conference on Information Technology Interfaces, ITI, 2003, pp. 633 - 638
Issue Date:: 2003-01-01

Closed Access

	Filename	Description	Size
	2003001845.pdf		391.77 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Cheng, X	en_US
dc.contributor.author	Ouyang, D	en_US
dc.contributor.author	Zhang, C https://orcid.org/0000-0001-5715-7154	en_US
dc.date.issued	2003-01-01	en_US
dc.identifier.citation	Proceedings of the International Conference on Information Technology Interfaces, ITI, 2003, pp. 633 - 638	en_US
dc.identifier.isbn	9539676967	en_US
dc.identifier.isbn	9789539676962	en_US
dc.identifier.issn	1330-1012	en_US
dc.identifier.uri	http://hdl.handle.net/10453/2434
dc.description.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. © 2003 SRCE University Computing Centre.	en_US
dc.relation.ispartof	Proceedings of the International Conference on Information Technology Interfaces, ITI	en_US
dc.relation.isbasedon	10.1109/ITI.2003.1225414	en_US
dc.title	A logic framework with algebraic extension	en_US
dc.type	Conference Proceeding
utslib.for	080101 Adaptive Agents and Intelligent Robotics	en_US
utslib.for	080109 Pattern Recognition and Data Mining	en_US
dc.location.activity	Cavtat, Croatia	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/DVC (International)
pubs.organisational-group	/University of Technology Sydney/Strength - ACRI - Australia China Relations Institute
pubs.organisational-group	/University of Technology Sydney/Strength - CAI - Centre for Artificial Intelligence
utslib.copyright.status	closed_access
pubs.publication-status	Published	en_US

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. © 2003 SRCE University Computing Centre.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/2434