Epistemological Problems of Artificial Intelligence

@inproceedings{McCarthy1977EpistemologicalPO,
  title={Epistemological Problems of Artificial Intelligence},
  author={John McCarthy},
  booktitle={IJCAI},
  year={1977}
}
  • J. McCarthy
  • Published in IJCAI 1 October 1987
  • Mathematics, Computer Science
Publisher Summary Artificial intelligence (AI) problem has been divided into two parts—an epistemological part and a heuristic part. This chapter further explains this division, explains some of the epistemological problems, and presents some new results and approaches. The epistemological part of AI studies what kinds of facts about the world are available to an observer with given opportunities to observe, how these facts can be represented in the memory of a computer, and what rules permit… 
ARTIFICIAL INTELLIGENCE: ENGINEERING, SCIENCE,
TLDR
This paper presents the view that artificial intelligence is primarily concerned with propositional languages for representing knowledge and with techniques for manipulating these representations, and argues against including the peripheral processes.
Epistemological and heuristic adequacy revisited
In what has become a landmark paper, McCarthy and Hayes [1969] observed that an effective AI program must deal with both epistemological and heuristic difficulties. The epistemological problems arise
Artificial Intelligence: Engineering, Science, or Slogan?
  • N. Nilsson
  • Computer Science, Engineering
    AI Mag.
  • 1981
TLDR
The view that artificial intelligence is primarily concerned with propositional languages for representing knowledge and with techniques for manipulating these representations is presented, and it is argued against including the peripheral processes.
CONCEPTS OF LOGICAL AI
Logical AI involves representing knowledge of an agent’s world, its goals and the current situation by sentences in logic. The agent decides what to do by inferring that a certain action or course of
Artificial Intelligence, Logic and Formalizing Common Sense
TLDR
The position advocated is that philosophy can contribute to AI if it treats some of its traditional subject matter in more detail and that this will advance the philosophical goals also.
A mathematical investigation of reasoning about actions
Reasoning about actions is a central area of research in artificial intelligence, related to the study of common sense and nonmonotonic reasoning, knowledge representation, planning and theorem
Essentials of Artificial Intelligence
TLDR
Based on the author's course at Stanford University, Essentials of Artificial Intelligence is an integrated, cohesive introduction to the field that combines clear presentations with humor and AI anecdotes.
Artificial intelligence and the future
  • W. Clocksin
  • Mathematics, Biology
    Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences
  • 2003
TLDR
The new approach argues that the intelligent agent is shaped by the meaning ascribed to experience, by its situation in the social matrix, and by practices of self and of relationship into which intelligent life is recruited.
Readings in Artificial Intelligence
Readings in Artificial Intelligence focuses on the principles, methodologies, advancements, and approaches involved in artificial intelligence. The selection first elaborates on representations of
Existence Assumptions in Knowledge Representation
TLDR
The philosophical background is reviewed, including Anselm and Kant, and some ontological problems that natural language sentences pose for knowledge representation are exhibited, and a better approach to the representation of nonexistence can be developed within Hobbs' basic formalism.
...
1
2
3
4
5
...

References

SHOWING 1-8 OF 8 REFERENCES
Reasoning About Knowledge and Action
TLDR
The importance of having systems that understand the concept of knowledge, and how knowledge is related to action, and a logic of knowledge based on the idea of possible worlds is presented.
First Order Theories of Individual Concepts and Propositions.
We discuss rst order theories in which individual concepts are admitted as mathematical objects along with the things that reify them. This allows very straightforward formalizations of knowledge,
Ascribing Mental Qualities to Machines
TLDR
Some new definitional tools are proposed: definitions relative to an approximate theory and second order structural definitions for mental qualities to a machine.
First Order Theories of Individual Concepts (to be published)
  • First Order Theories of Individual Concepts (to be published)
  • 1977
Some Philosophical Problems f rom the Standpoint of Art i f ic ia l Intelligence
  • Machine Intelligence
  • 1969
Ascribing Mental Qualities to Machines (to be published)
  • Ascribing Mental Qualities to Machines (to be published)
  • 1977
Minimal Inference -A New Way of Jumping to Conclusions (to be published)
  • Minimal Inference -A New Way of Jumping to Conclusions (to be published)
  • 1977
Some philosophical problems from the standpoint of artificial intelligence Edinburgh
  • Readings in Artificial Intelligence, Tioga Readings in Nonmonotonic Reasoning
  • 1969