Formal theories of knowledge in AI and robotics
New Generation Computing(1986)
摘要
Although the concept ofknowledge plays a central role in artificial intelligence, the theoretical foundations of knowledge representation currently rest on
a very limited conception of what it means for a machine to know a proposition. In the current view, the machine is regarded
as knowing a fact if its state either explicitly encodes the fact as a sentence of an interpreted formal language or if such
a sentence can be derived from other encoded sentences according to the rules of an appropriate logical system. We contrast
this conception, the interpreted-symbolic-structure approach, with another, the situated-automata approach, which seeks to
analyze knowledge in terms of relations between the state of a machine and the state of its environment over time using logic
as a metalanguage in which the analysis is carried out.
更多查看译文
关键词
formal theory,epistemic logic,knowledge representation,automata theory.,formal language,automata theory,artificial intelligent
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要