scispace - formally typeset
Search or ask a question
Topic

Paraconsistent logic

About: Paraconsistent logic is a research topic. Over the lifetime, 1610 publications have been published within this topic receiving 28842 citations.


Papers
More filters
Journal Article
TL;DR: The Para-Analyzer algorithm, based on the Paraconsistent Logic, is presented, which provides the analysis of an uncertain and contradictory environment facilitating decision making in public transport using sensors to detect obstacles.
Abstract: Intelligent Transportation Systems make use of communication and information technology with the objective of improving the performance of public transport, reducing time and thus saving resources. Sensors enabled the development of new computational solutions, as well as different algorithms have been studied and applied in this area. A literature review process has also proven to be an appropriate tool to manage and organize the growing number of article and periodical databases, allowing the identification of relevant contributions. A total of 170 articles were selected and categorized in the study of the algorithms applied in the Public Transport System with the Internet of Things. It is presented the Para-Analyzer algorithm, based on the Paraconsistent Logic, which provides the analysis of an uncertain and contradictory environment facilitating decision making. Finally, it is proposed an application of the Para-Analyzer algorithm in public transport using sensors to detect obstacles.

1 citations

Proceedings ArticleDOI
Wei Li1
10 Nov 1991
TL;DR: A formal description is presented of the process learning from experience of a first-order logic in Gentzen style, two concepts of counterexample and refutation by facts, and a hypothesis calculus for modifying a theory to match the human's observation and experiments.
Abstract: A formal description is presented of the process learning from experience. First-order logic is used as a language to denote knowledge. The theory consists of a first-order logic in Gentzen style, two concepts of counterexample and refutation by facts, and a hypothesis calculus for modifying a theory to match the human's observation and experiments. A comparison with nonmonotonic logic is also made. >

1 citations

Journal ArticleDOI
TL;DR: This paper introduces various concepts for argumentation, such as arguments, attack relations, argument justification, preferential criteria of arguments based on social norms, and so on, in a way proper to the four-valued paraconsistent logic.
Abstract: Argumentation is the most representative of intelligent activities of humans. Therefore, it is natural to think that it could have many implications for artificial intelligence and computer science as well. Specifically, argumentation may be considered a most primitive capability for interaction among computational agents. In this paper we present an argumentation framework based on the four-valued paraconsistent logic. Tolerance and acceptance of inconsistency that this logic has as its logical feature allow for arguments on inconsistent knowledge bases with which we are often confronted. We introduce various concepts for argumentation, such as arguments, attack relations, argument justification, preferential criteria of arguments based on social norms, and so on, in a way proper to the four-valued paraconsistent logic. Then, we provide the fixpoint semantics and dialectical proof theory for our argumentation framework. We also give the proofs of the soundness and completeness.

1 citations

Book ChapterDOI
TL;DR: In this article, a planning tool is presented that use paraconsistent belief integration to guide analysts' attention towards actors' relations, beliefs, and group identification modes, which may be important to consider when planning the interaction.
Abstract: Interaction with influential actors is essential during international operations. Currently, however, commanders only have little support, if any, for planning and performing these interactions besides their own understanding of the situation. Since there are inherent conflicts among actors, a planning tool is presented that use paraconsistent belief integration to guide analysts’ attention towards actors’ relations, beliefs, and group identification modes, which may be important to consider when planning the interaction. The planning tool is evaluated in a representative scenario where analysts have to find ways and means to disrupt a drug trade between irregular and criminal actors. The available information enables the analyst to identify likely suspects in the drug trade, identify actors that have interests that are aligned the international force, as well as important considerations for planning the interaction with these actors. Preliminary evaluations show that better planning tools are very desirable for commanders and intelligence officers.

1 citations

Book ChapterDOI
01 Jan 1888

1 citations


Network Information
Related Topics (5)
Axiom
11K papers, 257.9K citations
80% related
Logic programming
11.1K papers, 274.2K citations
79% related
Metaphysics
14.8K papers, 235.4K citations
77% related
Philosophy of science
15.4K papers, 361.5K citations
77% related
Class (set theory)
17.4K papers, 242K citations
76% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202313
202255
202131
202036
201935
201847