Autoepistemic logic
http://dbpedia.org/resource/Autoepistemic_logic
The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts. The stable model semantics, which is used to give a semantics to logic programming with negation as failure, can be seen as a simplified form of autoepistemic logic.
rdf:langString
自己認識論理（英: Autoepistemic logic）とは、知識に関する知識を表現したり推論したりするために定式化された形式論理である。命題論理は事実しか表現できないが、自己認識論理は知識やある事実に関する知識がないことを表現できる。 は、自己認識論理を単純化したものと見ることができる。安定モデル意味論は失敗による否定のある論理プログラミングの意味論として使われている。
rdf:langString
A lógica autoepistêmica é uma lógica formal para a representação e raciocínio do conhecimento sobre o conhecimento. Enquanto a lógica proposicional pode apenas expressar fatos, a lógica autoepistêmica pode exprimir conhecimento e falta de conhecimento sobre fatos. A semântica de modelo estável, que é usada para dar semântica à programação lógica com negação por falha, pode ser vista como uma forma simplificada da lógica autoepistêmica.
rdf:langString
自动认识逻辑是致力于形式化关于知识的表示和推理的形式逻辑。命题逻辑只能表达事实，而自动认识逻辑可以表达关于事实的知识和知识的缺乏。
rdf:langString
rdf:langString
Autoepistemic logic
rdf:langString
自己認識論理
rdf:langString
Lógica autoepistêmica
rdf:langString
自动认识逻辑
xsd:integer
2738697
xsd:integer
1015501398
rdf:langString
The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts. The stable model semantics, which is used to give a semantics to logic programming with negation as failure, can be seen as a simplified form of autoepistemic logic.
rdf:langString
自己認識論理（英: Autoepistemic logic）とは、知識に関する知識を表現したり推論したりするために定式化された形式論理である。命題論理は事実しか表現できないが、自己認識論理は知識やある事実に関する知識がないことを表現できる。 は、自己認識論理を単純化したものと見ることができる。安定モデル意味論は失敗による否定のある論理プログラミングの意味論として使われている。
rdf:langString
A lógica autoepistêmica é uma lógica formal para a representação e raciocínio do conhecimento sobre o conhecimento. Enquanto a lógica proposicional pode apenas expressar fatos, a lógica autoepistêmica pode exprimir conhecimento e falta de conhecimento sobre fatos. A semântica de modelo estável, que é usada para dar semântica à programação lógica com negação por falha, pode ser vista como uma forma simplificada da lógica autoepistêmica.
rdf:langString
自动认识逻辑是致力于形式化关于知识的表示和推理的形式逻辑。命题逻辑只能表达事实，而自动认识逻辑可以表达关于事实的知识和知识的缺乏。
xsd:nonNegativeInteger
7042