Uncertainty Treatment Using Paraconsistent Logic

In the past, control systems for automation and robotics and the expert systems employed in artificial intelligence were generally based on classical, or Boolean, logic. However, this proved to be inadequate by virtue of its binary nature, for portraying the uncertainties and inconsistencies of the...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Filho, João Inácio da Silva, Lambert-Torres, Germano, Abe, Jair Minoro
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: IOS Press 2013
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35714
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
id oai:scholar.dlu.edu.vn:DLU123456789-35714
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-357142014-01-19T23:35:59Z Uncertainty Treatment Using Paraconsistent Logic Filho, João Inácio da Silva Lambert-Torres, Germano Abe, Jair Minoro In the past, control systems for automation and robotics and the expert systems employed in artificial intelligence were generally based on classical, or Boolean, logic. However, this proved to be inadequate by virtue of its binary nature, for portraying the uncertainties and inconsistencies of the ‘real’ world, and so from the late 1990s, research has been ongoing into the application of paraconsistent, or non-classical logics in these fields. This book aggregates much of this research, from 1999 up to the present. Organized to facilitate an understanding of the theory and the development of the applied methods, "Uncertainty Treatment Using Praconsistent Logic" presents the material in a sequential fashion and is divided into three parts. Notions of Paraconsistent Annotated Logic (PAL) summarizes the basic theory and fundamentals of the subject. The second part, Paraconsistent Analysis Networks (PANets), describes the utilization of paraconsistent logic in constructing networks which can deal with representative data from uncertain information. The final section, Paraconsistent Artificial Neural Networks (PANNets), is composed of six chapters which chart the applications of PAL, from a comparison between Paraconsistent Analysis Nodes (PANs) and the action of the human brain through to complex PANNet architecture capable of processing signals inspired by human brain function. This invaluable state-of-the-art overview will be of interest to all those involved with the development of robotics or artificial intelligence and will serve as reference for future application of paraconsistent logics in all computer and electronic systems. 2013-10-04T01:35:00Z 2013-10-04T01:35:00Z 2010 Book 978-1-60750-558-7 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35714 en application/pdf IOS Press
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
description In the past, control systems for automation and robotics and the expert systems employed in artificial intelligence were generally based on classical, or Boolean, logic. However, this proved to be inadequate by virtue of its binary nature, for portraying the uncertainties and inconsistencies of the ‘real’ world, and so from the late 1990s, research has been ongoing into the application of paraconsistent, or non-classical logics in these fields. This book aggregates much of this research, from 1999 up to the present. Organized to facilitate an understanding of the theory and the development of the applied methods, "Uncertainty Treatment Using Praconsistent Logic" presents the material in a sequential fashion and is divided into three parts. Notions of Paraconsistent Annotated Logic (PAL) summarizes the basic theory and fundamentals of the subject. The second part, Paraconsistent Analysis Networks (PANets), describes the utilization of paraconsistent logic in constructing networks which can deal with representative data from uncertain information. The final section, Paraconsistent Artificial Neural Networks (PANNets), is composed of six chapters which chart the applications of PAL, from a comparison between Paraconsistent Analysis Nodes (PANs) and the action of the human brain through to complex PANNet architecture capable of processing signals inspired by human brain function. This invaluable state-of-the-art overview will be of interest to all those involved with the development of robotics or artificial intelligence and will serve as reference for future application of paraconsistent logics in all computer and electronic systems.
format Book
author Filho, João Inácio da Silva
Lambert-Torres, Germano
Abe, Jair Minoro
spellingShingle Filho, João Inácio da Silva
Lambert-Torres, Germano
Abe, Jair Minoro
Uncertainty Treatment Using Paraconsistent Logic
author_facet Filho, João Inácio da Silva
Lambert-Torres, Germano
Abe, Jair Minoro
author_sort Filho, João Inácio da Silva
title Uncertainty Treatment Using Paraconsistent Logic
title_short Uncertainty Treatment Using Paraconsistent Logic
title_full Uncertainty Treatment Using Paraconsistent Logic
title_fullStr Uncertainty Treatment Using Paraconsistent Logic
title_full_unstemmed Uncertainty Treatment Using Paraconsistent Logic
title_sort uncertainty treatment using paraconsistent logic
publisher IOS Press
publishDate 2013
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35714
_version_ 1757677603899047936