Book Chapter10.1007/978-3-030-31136-0_4
How a Computer Should Think
Nuel D. Belnap
- 01 Jan 2019
- pp 35-53
382
TL;DR: In this article, a four-valued logic should sometimes be used, and it is to be understood that I use "logic" in a narrow sense, the old sense: a logic as an organon, a tool, a canon of inference.
read more
Abstract: I propose that a certain four-valued logic should sometimes be used. It is to be understood that I use “logic” in a narrow sense, the old sense: a logic as an organon, a tool, a canon of inference. And it is also to be understood that I use “should” in a straightforward normative sense.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Multivalued logics: a uniform approach to reasoning in artificial intelligence
Matthew L. Ginsberg
- 01 Sep 1988
TL;DR: This paper describes a uniform formalization of much of the current work in artificial intelligence on inference systems, showing that many of these systems, including first‐order theorem provers, assumption‐based truth maintenance systems, and unimplemented formal systems such as default logic or circumscription, can be subsumed under a single general framework.
609
Reasoning with logical bilattices
Ofer Arieli,Arnon Avron +1 more
TL;DR: This paper develops proof systems, which correspond to bilattice in an essential way, and introduces the notion of logical bilattices, which can be used for efficient inferences from possibly inconsistent data.
301
A logic for reasoning with inconsistency
TL;DR: This work presents a logic, called APC (annotated predicate calculus), that treats any set of clauses, either consistent or not, in a uniform way, and claims that a logical theory is an adequate model of human perception of inconsistency, is actually backed by rigorous arguments.
187
Nothing but the Truth
Andreas Pietz,Umberto Rivieccio +1 more
TL;DR: This paper investigates the resulting logic, which it seems prima facie more plausible to have only one of the four values designated, namely T (exactly true), and calls it Exactly True Logic.
138
New directions in the analysis and interactive elicitation of personal construct systems
TL;DR: The overall objective of the work described is to develop man-computer symbiotic systems in which the computer is a truly dialectical partner to the person in forming theories and making decisions.
References
A Useful Four-Valued Logic
Nuel D. Belnap
- 01 Jan 1977
TL;DR: It is argued that a sophisticated question-answering machine that has the capability of making inferences from its data base should employ a certain four-valued logic, the motivating consideration being that minor inconsistencies in its data should not be allowed to lead to irrelevant conclusions.
1.6K
•Book
Entailment : the logic of relevance and necessity
Alan Ross Anderson,Nuel D. Belnap,J. Michael Dunn +2 more
- 01 Jan 1975
TL;DR: The Description for this book, Entailment: The Logic of Relevance and Necessity, will be forthcoming.
1.5K
Semantical analysis of modal logic i. normal propositional calculi
TL;DR: In this article, a semantical analysis of modal logic ii and non-normal modal propositional calculi is presented, and the tableaux that leads to a decision procedure for the propositional calculus is considered.
1.3K
•Book
Outline of a Mathematical Theory of Computation
Dana Scott
- 01 Nov 1970
TL;DR: However, Scott does realize that the approach argued for above is simply an argument for an approach that accomodates human understanding of computation and that the operational approach must not be ignored because the machines that the programs of study run on are not capable of dealing with such an abstract level of understanding.
800
Intuitive semantics for first-degree entailments and ‘coupled trees’
TL;DR: In this paper, the authors propose a tableau-based approach to show that an argument A may entail B because of some feature of A alone, irrespective of B, and vice versa.
596
Related Papers (5)
Nuel D. Belnap
- 01 Jan 1977
[...]
Alan Ross Anderson,Nuel D. Belnap,J. Michael Dunn +2 more
- 01 Jan 1975