A framework for intelligent systems based on vector annotated logic programs

Author

Nakamatsu, K. ; Hasegawa, Y. ; Abe, J. Minoro ; Suzuki, A.

Author_Institution

Sch. of Humanity of Environ. Policy & Technol., Himeji Inst. of Technol., Hyogo, Japan

Volume

1

fYear

1999

fDate

36342

Firstpage

695

Abstract

This paper presents a framework of intelligent reasoning systems. It is based on a logic programming system called VALPSN (vector annotated logic program with strong negation) and its stable model computing system. We introduce an overview of the framework and describe the three kinds of nonmonotonic theories-default theory, defeasible theory, and default fuzzy theory-that can be translated into VALPSNs. We also show that these three kinds of nonmonotonic reasoning can be achieved by computing the stable models of the VALPSNs

Keywords

fuzzy logic; fuzzy systems; logic programming; nonmonotonic reasoning; VALPSN; default fuzzy theory; default theory; defeasible theory; fuzzy reasoning; intelligent systems; nonmonotonic reasoning; strong negation; vector annotated logic programming; Computational modeling; Engines; Fuzzy logic; Fuzzy reasoning; Informatics; Intelligent systems; Lattices; Logic programming; Multivalued logic; Ontologies;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Processing and Manufacturing of Materials, 1999. IPMM '99. Proceedings of the Second International Conference on

Conference_Location

Honolulu, HI

Print_ISBN

0-7803-5489-3

Type

conf

DOI

10.1109/IPMM.1999.792582

Filename

792582